pug - Scalatra の Jade テンプレートからフラッシュ マップにアクセスする

Question

私は Scalatra を使用してアプリケーションを作成しており、テンプレートには Scalate/Jade を使用しています。アプリケーションにフラッシュ サポートを追加しようとしています。サーブレットに混在し、ヘルパーFlashMapSupportにアクセスできます。flashとにかく、レイアウトから取得しようとすると、次のエラーが表示されます。

[error] /home/ytaras/projects/scala/scalatra-shopping-cart/target/scala-2.10/src_managed/main/scalate/templates/layouts/default_jade.scala:27: not found: value flash
[error]                         flash.get("alert").foreach
[error]                         ^
[error] one error found

これを回避するために私ができる最善の方法は、ダウンキャストを使用してコンテキストをレンダリングすることでした。

  - context.asInstanceOf[org.scalatra.scalate.ScalatraRenderContext].flash.get("alert").foreach
    - alert =>
    .alert
      .button(type="button" class="close" data-dismiss="alert") ×
      = alert

とにかく、それは間違いなく最も美しい解決策ではありません。それを修正するためにできることはありますか、それとも Scalate/Jade コードの問題ですか?