// 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!() | |
} | |
} |