src/test/ui/associated-type-bounds/issue-79949.rs

   1 // check-pass
   2
   3 #![allow(incomplete_features)]
   4 #![feature(associated_type_bounds)]
   5
   6 trait MP {
   7     type T<'a>;
   8 }
   9 struct S(String);
  10 impl MP for S {
  11     type T<'a> = &'a str;
  12 }
  13
  14 trait SR: MP {
  15     fn sr<IM>(&self) -> i32
  16     where
  17         for<'a> IM: T<T: U<<Self as MP>::T<'a>>>;
  18 }
  19
  20 trait T {
  21     type T;
  22 }
  23 trait U<X> {}
  24
  25 fn main() {}