[SR-11671] Assoc == Self not treated as an abstract type witness upon conformance

[AnthonyLatsis]

Previous ID	SR-11671
Radar	None
Original Reporter	@AnthonyLatsis
Type	Bug
Status	Resolved
Resolution	Done

Environment

Xcode 11.0 (11A420a)

Additional Detail from JIRA

Votes	0
Component/s	Compiler
Labels	Bug
Assignee	@AnthonyLatsis
Priority	Medium

md5: 3f5cd7c8ef3a042fcb122682d2c81678

relates to:

• SR-10831 Associated type inference doesn't work when type is fully constrained

Issue Description:

protocol P1 {
  associatedtype A
}
protocol P2: P1 where A == Self {}


struct Foo: P2 {} // type 'Foo' does not conform to protocol 'P2'

[AnthonyLatsis]

#32799