[rustc.git] / src / test / ui / generic-associated-types / missing_lifetime_args.rs

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

fn bar<'a, 'b, 'c>(_arg: Foo<'a, 'b>) {}
//~^ ERROR this struct takes 3 lifetime arguments but 2 lifetime

fn f<'a>(_arg: Foo<'a>) {}
//~^ ERROR this struct takes 3 lifetime arguments but 1 lifetime

fn main() {}
Commit	Line	Data
17df50a5 XL	1	trait X {
	2	type Y<'a, 'b>;
	3	}
	4
	5	struct Foo<'a, 'b, 'c> {
	6	a: &'a u32,
	7	b: &'b str,
	8	c: &'c str,
	9	}
	10
	11	fn foo<'c, 'd>(_arg: Box<dyn X<Y = (&'c u32, &'d u32)>>) {}
	12	//~^ ERROR missing generics for associated type
	13
	14	fn bar<'a, 'b, 'c>(_arg: Foo<'a, 'b>) {}
	15	//~^ ERROR this struct takes 3 lifetime arguments but 2 lifetime
	16
	17	fn f<'a>(_arg: Foo<'a>) {}
	18	//~^ ERROR this struct takes 3 lifetime arguments but 1 lifetime
	19
	20	fn main() {}