Pavel Yaskevich c84a34677a [AST] Special handling for existentials with superclass and marker protocols ...

Even if protocol is not self-conforming it should be okay to produce
a conformance based on superclass if protocol bounds of the existential
are all marker protocols.

Superclass concrete conformance is wrapped into an inherited conformance
in such cases to reference the existential.

2024-03-07 13:05:40 -08:00

16 KiB

Raw Permalink Blame History

View Raw