Compilation stop when referring to GAT of Self in where clause of trait implementation

[BotAngus]

I tried this code:

trait LendingIterator {
    type Item<'me>
    where
        Self: 'me;
    fn next(&mut self) -> Option<Self::Item<'_>>;
    
    fn find<P>(&mut self, mut predicate: P) -> Option<Self::Item<'_>>
    where
        Self: Sized,
        P: FnMut(&Self::Item<'_>) -> bool,
    {
        todo!()
    }
}

struct Filter<I, P> {
    iter: I,
    predicate: P,
}

impl<I: LendingIterator, P> LendingIterator for Filter<I, P>
where
    P: FnMut(&Self::Item<'_>) -> bool,
{
    type Item<'me> = I::Item<'me>
    where
        Self: 'me;

    fn next(&mut self) -> Option<Self::Item<'_>> {
        self.iter.find(&mut self.predicate)
    }
}

I expect the code to compile or give, but instead the compilation comes to a halt (or gets stuck in an infinite loop) without any errors. This seems to occur in the current stable, beta, and nightly versions of the compiler.

If the P: FnMut(&Self::Item<'_>) -> bool, in the where clause is swapped with P: FnMut(&I::Item<'_>) -> bool, it compiles without any errors.

[fmease]

Duplicate of #108826.

@rustbot label T-compiler F-generic_associated_types I-hang

[fmease]

Fixed by next solver (-Zsolver=next):

**error[E0275]: overflow evaluating the requirement `Filter<I, P>: LendingIterator`
  --> eh.rs:21:49
   |
21 | impl<I: LendingIterator, P> LendingIterator for Filter<I, P>
   |                                                 ^^^^^^^^^^^^
   |
   = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`eh`)

error[E0275]: overflow evaluating the requirement `<Filter<I, P> as LendingIterator>::Item<'_> == _`
  --> eh.rs:29:27
   |
29 |     fn next(&mut self) -> Option<Self::Item<'_>> {
   |                           ^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`eh`)**

@rustbot label fixed-by-next-solver