``` type TAIT = impl for<'a> Foo<'a, Assoc = impl Sized>; ^^^^^^^^^^ ``` should be a hard error.