// Regression test for issue #72213
// Tests that we don't ICE when we have projection predicates
// in our initial ParamEnv

pub struct Lines<'a, L>
where
    L: Iterator<Item = &'a ()>,
{
    words: std::iter::Peekable<Words<'a, L>>,
}

pub struct Words<'a, L> {
    _m: std::marker::PhantomData<&'a L>,
}

impl<'a, L> Iterator for Words<'a, L>
where
    L: Iterator<Item = &'a ()>,
{
    type Item = ();

    fn next(&mut self) -> Option<Self::Item> {
        unimplemented!()
    }
}