summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-15444.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/issues/issue-15444.rs')
-rw-r--r--src/test/ui/issues/issue-15444.rs23
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);
+}