src/test/ui/generic-associated-types/bugs/issue-87748.rs

   1 // check-fail
   2 // known-bug: #87748
   3
   4 // This should pass, but unnormalized input args aren't treated as implied.
   5
   6 #![feature(generic_associated_types)]
   7
   8 trait MyTrait {
   9     type Assoc<'a, 'b> where 'b: 'a;
  10     fn do_sth(arg: Self::Assoc<'_, '_>);
  11 }
  12
  13 struct Foo;
  14
  15 impl MyTrait for Foo {
  16     type Assoc<'a, 'b> = u32 where 'b: 'a;
  17
  18     fn do_sth(_: u32) {}
  19     // fn do_sth(_: Self::Assoc<'static, 'static>) {}
  20     // fn do_sth(_: Self::Assoc<'_, '_>) {}
  21 }
  22
  23 fn main() {}