Joe Groff 77dd9b2992 Split exact-subclass and bindable-to-subclass queries. ...

In many places, we're interested in whether a type with archetypes *might be* a superclass of another type with the right bindings, particularly in the optimizer. Provide a separate Type::isBindableToSuperclassOf method that performs this check. Use it in the devirtualizer to fix rdar://problem/24993618. Using it might unblock other places where the optimizer is conservative, but we can fix those separately.

2016-03-09 11:14:45 -08:00

448 B

Raw Permalink Blame History

View Raw