Slava Pestov de4b63defc Sema: Refactor typeCheckCheckedCast() a bit ...

This removes all calls to typesSatisfyConstraint() except for the
isConvertibleTo() check at the beginning, in the process making the
analysis a little bit more accurate.

2019-09-12 16:37:53 -04:00

108 KiB

Raw Blame History

View Raw