// ensures that we don't ICE when there are too many args supplied to the alias. trait Trait<'a> { type Assoc; } type Alias<'a, T> = >::Assoc; fn bar<'a, T: Trait<'a>>(_: Alias<'a, 'a, T>) {} //~^ error: this type alias takes 1 lifetime argument but 2 lifetime arguments were supplied fn main() {}