[rustc.git] / src / test / ui / impl-trait / issues / issue-88236.rs

// this used to cause stack overflows

trait Hrtb<'a> {
    type Assoc;
}

impl<'a> Hrtb<'a> for () {
    type Assoc = ();
}

impl<'a> Hrtb<'a> for &'a () {
    type Assoc = ();
}

fn make_impl() -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> {}
//~^ ERROR higher kinded lifetime bounds on nested opaque types are not supported yet

fn main() {}
Commit	Line	Data
ee023bcb FG	1	// this used to cause stack overflows
	2
	3	trait Hrtb<'a> {
	4	type Assoc;
	5	}
	6
	7	impl<'a> Hrtb<'a> for () {
	8	type Assoc = ();
	9	}
	10
	11	impl<'a> Hrtb<'a> for &'a () {
	12	type Assoc = ();
	13	}
	14
	15	fn make_impl() -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> {}
	16	//~^ ERROR higher kinded lifetime bounds on nested opaque types are not supported yet
	17
	18	fn main() {}