1 files changed, 23 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-15444.rs b/src/test/ui/issues/issue-15444.rs
new file mode 100644
index 000000000..e94afee96
--- /dev/null
+++ b/src/test/ui/issues/issue-15444.rs
@@ -0,0 +1,23 @@
+// run-pass
+// pretty-expanded FIXME #23616
+
+trait MyTrait {
+    fn foo(&self);
+}
+
+impl<A, B, C> MyTrait for fn(A, B) -> C {
+    fn foo(&self) {}
+}
+
+fn bar<T: MyTrait>(t: &T) {
+    t.foo()
+}
+
+fn thing(a: isize, b: isize) -> isize {
+    a + b
+}
+
+fn main() {
+    let thing: fn(isize, isize) -> isize = thing; // coerce to fn type
+    bar(&thing);
+}