// Regression test of #86483.
//
// Made to pass as part of fixing #98095.
//@ check-pass
pub trait IceIce<T>
where
for<'a> T: 'a,
{
type Ice<'v>: IntoIterator<Item = &'v T>;
}
fn main() {}