blob: 792563fd82b35e67790e66d44caa381948c77877 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// 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> = <T as Trait<'a>>::Assoc;
fn bar<'a, T: Trait<'a>>(_: Alias<'a, 'a, T>) {}
//~^ error: type alias takes 1 lifetime argument but 2 lifetime arguments were supplied
fn main() {}
|
