1 error[E0282]: type annotations needed for the closure `fn(Expr<'_, _>) -> Expr<'_, _>`
2 --> $DIR/issue-23046.rs:18:9
4 LL | let_(add(x,x), |y| {
5 | ^^^^ cannot infer type for type parameter `VAR` declared on the function `let_`
7 help: give this closure an explicit return type without `_` placeholders
9 LL | let_(add(x, x), |x|-> Expr<'_, _> { x })})};
12 error: aborting due to previous error
14 For more information about this error, try `rustc --explain E0282`.