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

// Regression test of #86483.
//
// Made to pass as part of fixing #98095.
//
// check-pass

#![feature(generic_associated_types)]

pub trait IceIce<T>
where
    for<'a> T: 'a,
{
    type Ice<'v>: IntoIterator<Item = &'v T>;
}

fn main() {}
Commit	Line	Data
136023e0	1	// Regression test of #86483.
923072b8 FG	2	//
	3	// Made to pass as part of fixing #98095.
	4	//
	5	// check-pass
136023e0 XL	6
	7	#![feature(generic_associated_types)]
	8
923072b8	9	pub trait IceIce<T>
136023e0 XL	10	where
	11	for<'a> T: 'a,
	12	{
	13	type Ice<'v>: IntoIterator<Item = &'v T>;
136023e0 XL	14	}
	15
	16	fn main() {}