1 // Checks that we properly add implied bounds from unnormalized projections in
2 // inputs when typechecking functions.
6 #![feature(generic_associated_types)]
9 type Assoc<'a, 'b> where 'b: 'a;
10 fn do_sth(arg: Self::Assoc<'_, '_>);
18 type Assoc<'a, 'b> where 'b: 'a = u32;
22 type Assoc<'a, 'b> where 'b: 'a = u32;
23 fn do_sth(_: Self::Assoc<'_, '_>) {}
26 type Assoc<'a, 'b> where 'b: 'a = u32;
27 fn do_sth(_: Self::Assoc<'static, 'static>) {}