mirror of https://github.com/rust-lang/rust
13 lines
414 B
Rust
13 lines
414 B
Rust
trait X {
|
|
type Y<'x>;
|
|
}
|
|
|
|
fn main() {
|
|
fn _f(arg : Box<dyn for<'a> X<Y<'x> = &'a [u32]>>) {}
|
|
//~^ ERROR: use of undeclared lifetime name `'x`
|
|
//~| ERROR: binding for associated type `Y` references lifetime
|
|
//~| ERROR: binding for associated type `Y` references lifetime
|
|
//~| ERROR: binding for associated type `Y` references lifetime
|
|
//~| ERROR: the trait `X` cannot be made into an object
|
|
}
|