Skip to content

Add test for #21360

sheaf requested to merge sheaf/ghc:T21360 into master

The way record updates are typechecked/desugared changed in MR !7981 (merged). Because we desugar in the typechecker to a simple case expression, the pattern match checker becomes able to spot the long-distance information and avoid emitting an incorrect pattern match warning.

Merge request reports