-
- Downloads
Changed type check weakening not to choose supertypes that are union types
(i.e. COMMON). Also, we don't preserve the original check just because there was some supertype predicate.
Please register or sign in to comment
(i.e. COMMON). Also, we don't preserve the original check just because there was some supertype predicate.