Add issue-80956

rust-lang/rust#80956
JohnTitor · Jan 15, 2021 · 8f5d6e9 · 8f5d6e9
1 parent f9f1558
commit 8f5d6e9
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/ices/80956.rs b/ices/80956.rs
@@ -0,0 +1,19 @@
+pub trait Bar {
+    type Type;
+}
+pub struct Foo<'a>(&'a ());
+impl<'a> Bar for Foo<'a> {
+    type Type = ();
+}
+
+pub fn func<'a>(_: <Foo<'a> as Bar>::Type) {}
+pub fn assert_is_func<A>(_: fn(A)) {}
+
+pub fn test()
+where
+    for<'a> <Foo<'a> as Bar>::Type: Sized,
+{
+    assert_is_func(func);
+}
+
+fn main() {}