mirror of https://github.com/rust-lang/rust
13 lines
316 B
Rust
13 lines
316 B
Rust
// 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() {}
|