Pavel Yaskevich 3a145f5464 [CSSimplify] Change equality semantics between base and result of unresolved member ref ...

Since it's now possible to infer base type of an unresolved member
reference to be a protocol type we need to adjust `matchTypes` to
check conformance instead of type equality between base (represented
by a protocol) and chain's concrete result type.

2021-02-23 11:32:24 -08:00

427 KiB

Raw Blame History

View Raw