2 Commits

Author	SHA1	Message	Date
Slava Pestov	8b59660143	GSB: Don't infer requirements from type constructors in a protocol inheritance clause ... This enabled a gross idiom that should not have been allowed in the first place: typealias G<T> = Any where T : P protocol P {} protocol Q : G<Self> {} // Q inherits from P now! I'd like to ban this, assuming nothing is actually relying on this behavior.	2021-09-06 23:35:19 -04:00
Doug Gregor	2b54380e7d	Add now-passing test for rdar://problem/30965000.	2017-10-03 08:32:13 -07:00