Confusing error when referencing associated types inside trait bounds in trait implementations

[basil-cow]

Code

trait A<T> {}

trait B {
    type Type;
}

impl<T> B for T
where
    T: A<Self::Type>,
{
    type Type = bool;
}

Current output

error[E0275]: overflow evaluating the requirement `<T as B>::Type == <T as B>::Type`
 --> src/lib.rs:7:1
  |
7 | / impl<T> B for T
8 | | where
9 | |     T: A<Self::Type>,
  | |_____________________^
  |
note: required for `T` to implement `B`
 --> src/lib.rs:7:9
  |
7 | impl<T> B for T
  |         ^     ^
8 | where
9 |     T: A<Self::Type>,
  |        ------------- unsatisfied trait bound introduced here

For more information about this error, try `rustc --explain E0275`.

Desired output

an explanation that `Self::Type` does not reference `bool` but tries to figure out whether T already implements B

Rationale and extra context

spawned from #116914

Other cases

No response

Anything else?

No response

[estebank]

Working on a PR with the following output:

error[E0275]: overflow evaluating the requirement `<T as B>::Type == <T as B>::Type`
  --> f92.rs:7:1
   |
7  | / impl<T> B for T
8  | | where
9  | |     T: A<Self::Type>,
   | |_____________________^
10 |   {
11 |       type Type = bool;
   |       --------- associated type `<T as B>::Type` is specified here
   |
note: required for `T` to implement `B`
  --> f92.rs:7:9
   |
7  | impl<T> B for T
   |         ^     ^
8  | where
9  |     T: A<Self::Type>,
   |        ------------- unsatisfied trait bound introduced here
help: replace the associated type with the type specified in this `impl`
   |
9  |     T: A<bool>,
   |          ~~~~

error[E0275]: overflow evaluating the requirement `<T as Filter>::ToMatch == <T as Filter>::ToMatch`
 --> f93.rs:5:1
  |
5 | / impl<T> Filter for T
6 | | where
7 | |     T: Fn(Self::ToMatch),
  | |_________________________^
  |
note: required for `T` to implement `Filter`
 --> f93.rs:5:9
  |
5 | impl<T> Filter for T
  |         ^^^^^^     ^
6 | where
7 |     T: Fn(Self::ToMatch),
  |        ----------------- unsatisfied trait bound introduced here
note: associated types for the current trait cannot be restricted in `where` clauses
 --> f93.rs:7:11
  |
7 |     T: Fn(Self::ToMatch),
  |           ^^^^^^^^^^^^^