Merge pull request #1533 from langston-barrett/109090

Add 109090

Author: Alexendoo

Diff for: ices/109090.rs

@@ -0,0 +1,18 @@
+#![feature(non_lifetime_binders)]
+
+pub trait Bt {
+    type C;
+}
+
+pub struct A;
+
+impl Bt for A {
+    type C = A;
+}
+
+pub fn oopsie<Bt>()
+where
+    for<'a, B> <B::C as Bt<'a>>::Bt: Bt, {}
+
+
+fn main() {}