Hamish Knight f3b16fd7ad [CS] Fix a couple of constraints in getTypeForPattern ...

The TypedPattern and IsPattern constraints were
incorrectly written, with conversions propagating
out of the patterns, when really conversions
ought to propagate into patterns. In any case, it
seems like we really want equality here. Fix the
constraints to use equality, and have the cast
constraint operate on the external pattern type
instead of the subpattern type.

2023-06-07 00:35:00 +01:00

591 KiB

Raw Blame History

View Raw