summaryrefslogtreecommitdiffstats
path: root/src/test/ui/late-bound-lifetimes/mismatched_arg_count.rs
blob: 0b331e2039f25a94134cc41749ec3d415260722a (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: this type alias takes 1 lifetime argument but 2 lifetime arguments were supplied

fn main() {}