Hang: Trait solver hangs indefinitely with nested struct bounds in where clause

I tried this code:

trait Stream {}
struct Repeat();
impl<'a> Stream for &  () {}
struct Map<S, F> {
    stream: S,
    func: F,
}
impl<'a, A, F, T> Stream for & mut Map<A, F>
where
    &'a mut A: Stream,
    F: ,
    &'a mut Map<Map, >: Stream,
{}
trait StreamExt
{
    fn mapx<F>(self, ) -> Map<(), F>
    where
        (): ,
        for<'a> &'a  Map<(), F>: Stream,
    {}
}
impl<T> StreamExt for T{}
fn variant1() {
    let source = Repeat();
     map = source.mapx();
}
fn main() {}

Meta

rustc --version --verbose:

rustc 1.92.0 (ded5c06cf 2025-12-08)
binary: rustc
commit-hash: ded5c06cf21d2b93bffd5d884aa6e96934ee4234
commit-date: 2025-12-08
host: x86_64-unknown-linux-gnu
release: 1.92.0
LLVM version: 21.1.3

Hang