swift
387b4ff2 - [CSSimplify] Skip member access on existential checks if base is existential only due to marker protocols

Commit
56 days ago
[CSSimplify] Skip member access on existential checks if base is existential only due to marker protocols If the base type is composed with marker protocol(s) i.e. `<<Type>> & Sendable`, let's skip this check because such compositions are always opened and simplified down to a superclass bound post-Sema. Resolves: rdar://148782046
Author
Committer
Parents
Loading