Add 86719

Issue: rust-lang/rust#86719

Author: fanninpm

ices/86719.rs

@@ -0,0 +1,9 @@
+trait Bar {
+    type E;
+}
+impl<S> Bar for S {
+    type E = impl ;
+    fn foo() -> Self::E {
+        |_| true
+    }
+}