1 2 3 4 5 6 7 8 9 10 11
// check-fail trait Foo { type Assoc<'a, 'b>; } impl Foo for () { type Assoc<'a, 'b> = () where 'a: 'b; //~^ impl has stricter requirements than trait } fn main() {}