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

#![feature(generic_associated_types)]

trait X {
    type Y<'a>;
}

fn f(x: Box<dyn X<Y<'a> = &'a ()>>) {}
//~^ ERROR: use of undeclared lifetime name `'a`
//~| ERROR: use of undeclared lifetime name `'a`
//~| ERROR: the trait `X` cannot be made into an object [E0038]

fn main() {}
Commit	Line	Data
5869c6ff	1	#![feature(generic_associated_types)]
5869c6ff XL	2
	3	trait X {
	4	type Y<'a>;
	5	}
	6
04454e1e FG	7	fn f(x: Box<dyn X<Y<'a> = &'a ()>>) {}
	8	//~^ ERROR: use of undeclared lifetime name `'a`
	9	//~\| ERROR: use of undeclared lifetime name `'a`
	10	//~\| ERROR: the trait `X` cannot be made into an object [E0038]
5869c6ff XL	11
5869c6ff XL	12	fn main() {}