Trait bound claims missing requirements despite those bounds being implied by the trait

[CraftSpider]

I tried this code: Playground Link

I expected to see this happen: Only one error: Foo cannot be implemented for Bar, the function should compile.

Instead, this happened: The function complains about missing bounds, despite the fact that those bounds should be implicit by the requirements of the trait.

Zulip Discussion: Zulip

Meta

Using 1.53.0 on the playground, bug still present on latest nightly.

[fee1-dead]

Minified:

trait R { type Assoc; }

// Does not need `for` for the error
trait Foo<'a> where &'a Self: R<Assoc = Self>, Self: 'a {}
trait Foo2 where for<'a> &'a Self: R<Assoc = Self> {}

fn do_thing<'a, T: Foo<'a>, T2: Foo2>(_: (T, T2)) {
    
}

playground

[jonas-schievink]

Looks like a duplicate / special case of #20671