1 files changed, 7 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-23041.rs b/tests/ui/issues/issue-23041.rs
new file mode 100644
index 000000000..a1371521a
--- /dev/null
+++ b/tests/ui/issues/issue-23041.rs
@@ -0,0 +1,7 @@
+use std::any::Any;
+fn main()
+{
+    fn bar(x:i32) ->i32 { 3*x };
+    let b:Box<dyn Any> = Box::new(bar as fn(_)->_);
+    b.downcast_ref::<fn(_)->_>(); //~ ERROR E0282
+}