Overflowing evaluation in a simple trait

[zommiommy]

I think it could be related to #113818

Code

use core::ops::Range;

pub trait MyTrait {
    type Iter<'a>: Iterator
    where
        <<Self as MyTrait>::Iter<'a> as Iterator>::Item: Clone,
        Self: 'a;
}

pub struct MyStruct;

impl MyTrait for MyStruct {
    type Iter<'a> = Range<usize>;
}

Playground link

Meta

The error is the same in rust 1.73, 1.74, nightly, and beta.

Error output

Compiling playground v0.0.1 (/playground)
error[E0275]: overflow evaluating the requirement `<MyStruct as MyTrait>::Iter<'a> == _`
  --> src/lib.rs:12:21
   |
12 |     type Iter<'a> = Range<usize>;
   |                     ^^^^^^^^^^^^

For more information about this error, try `rustc --explain E0275`.
error: could not compile `playground` (lib) due to previous error

[jieyouxu]

This also overflows with -Z next-solver: https://godbolt.org/z/fMzMGd6e7

error[E0275]: overflow evaluating the requirement `<MyStruct as MyTrait>::Iter<'a>: Iterator`
  --> <source>:13:21
   |
13 |     type Iter<'a> = Range<usize>;
   |                     ^^^^^^^^^^^^
   |
   = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`example`)
note: required by a bound in `MyTrait::Iter`
  --> <source>:4:20
   |
4  |     type Iter<'a>: Iterator
   |                    ^^^^^^^^ required by this bound in `MyTrait::Iter`

error[E0275]: overflow evaluating the requirement `<MyStruct as MyTrait>::Iter<'a>: Sized`
  --> <source>:13:21
   |
13 |     type Iter<'a> = Range<usize>;
   |                     ^^^^^^^^^^^^
   |
   = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`example`)
note: required by a bound in `MyTrait::Iter`
  --> <source>:4:5
   |
4  | /     type Iter<'a>: Iterator
5  | |     where
6  | |         <<Self as MyTrait>::Iter<'a> as Iterator>::Item: Clone,
7  | |         Self: 'a;
   | |_________________^ required by this bound in `MyTrait::Iter`
help: consider relaxing the implicit `Sized` restriction
   |
4  |     type Iter<'a>: Iterator + ?Sized
   |                             ++++++++

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0275`.
Compiler returned: 1

[zommiommy]

with -Z next-solver on nightly seems to work now