Asymmetric "overflow evaluating the requirement" error with associated type constraint

[tavianator]

This code gives an error:

trait Foo {
    type Bar;
}

trait Baz<T: ?Sized + Foo>: Foo<Bar = T::Bar> {}

trait Qux: Baz<Self> {}

error[E0275]: overflow evaluating the requirement `<Self as Foo>::Bar`
 --> foo.rs:7:1
  |
7 | trait Qux: Baz<Self> {}
  | ^^^^^^^^^^^^^^^^^^^^^^^

Yet, moving the constraint to T instead of Self works fine:

trait Baz<T: ?Sized + Foo<Bar = <Self as Foo>::Bar>>: Foo {}

Since T = Self in the context of Qux, it's surprising this makes a difference.

Meta

rustc --version --verbose:

rustc 1.45.0-nightly (7ebd87a7a 2020-05-08)

[tavianator]

It seems like this worked in Rust 1.3.0, but has been broken since 1.4.0

[tavianator]

@rustbot modify labels: +regression-from-stable-to-stable

[camelid]

Assigning P-medium and removing I-prioritize as discussed in the prioritization working group.