Commit Graph

3 Commits

Author SHA1 Message Date
Kavon Farvardin
ec4a125f3e NCGenerics: ext's might not infer invertible req's
If the extension adds conformance to an invertible protocol, it's
confusing for people to also infer conditional requirements on the
generic parameters for those invertible protocols. This came up in the
review of SE-427.
2024-06-12 14:44:22 -07:00
Kavon Farvardin
0420310623 NCGenerics: it's no longer "experimental"
resolves rdar://127701059
2024-05-08 10:49:12 -07:00
Slava Pestov
cf1c1771c4 Sema: Relax check around implied conditional conformance
Fixes rdar://123933687.
2024-03-11 14:36:21 -04:00