Commit Graph

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