src/test/ui/issues/issue-23046.stderr

   1 error[E0282]: type annotations needed for `Expr<'_, VAR>`
   2   --> $DIR/issue-23046.rs:17:15
   3    |
   4 LL |     let ex = |x| {
   5    |               ^
   6    |
   7 help: consider giving this closure parameter an explicit type, where the type for type parameter `VAR` is specified
   8    |
   9 LL |     let ex = |x: Expr<'_, VAR>| {
  10    |                +++++++++++++++
  11
  12 error: aborting due to previous error
  13
  14 For more information about this error, try `rustc --explain E0282`.