1 files changed, 14 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-23046.stderr b/src/test/ui/issues/issue-23046.stderr
new file mode 100644
index 000000000..1403ecbd9
--- /dev/null
+++ b/src/test/ui/issues/issue-23046.stderr
@@ -0,0 +1,14 @@
+error[E0282]: type annotations needed for `Expr<'_, VAR>`
+  --> $DIR/issue-23046.rs:17:15
+   |
+LL |     let ex = |x| {
+   |               ^
+   |
+help: consider giving this closure parameter an explicit type, where the type for type parameter `VAR` is specified
+   |
+LL |     let ex = |x: Expr<'_, VAR>| {
+   |                +++++++++++++++
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0282`.