mirror of https://github.com/rust-lang/rust
24 lines
572 B
Rust
24 lines
572 B
Rust
trait X {
|
|
type Y<'a, 'b>;
|
|
}
|
|
|
|
struct Foo<'a, 'b, 'c> {
|
|
a: &'a u32,
|
|
b: &'b str,
|
|
c: &'c str,
|
|
}
|
|
|
|
fn foo<'c, 'd>(_arg: Box<dyn X<Y = (&'c u32, &'d u32)>>) {}
|
|
//~^ ERROR missing generics for associated type
|
|
//~| ERROR missing generics for associated type
|
|
//~| ERROR missing generics for associated type
|
|
//~| ERROR the trait `X` cannot be made into an object
|
|
|
|
fn bar<'a, 'b, 'c>(_arg: Foo<'a, 'b>) {}
|
|
//~^ ERROR struct takes 3 lifetime arguments but 2 lifetime
|
|
|
|
fn f<'a>(_arg: Foo<'a>) {}
|
|
//~^ ERROR struct takes 3 lifetime arguments but 1 lifetime
|
|
|
|
fn main() {}
|