TEST
  1. TEST

swift234

Public

Commits

Slava Pestov
a2c50f55ee6
Slava Pestov committed 6196ad4e0b3
SIL: Teach SILVerifier::isLoweringOf() about DynamicSelfType

The concrete type of an existential might involve dynamic Self
in some cases.

Fixes <rdar://problem/22003864>.