Skip to content

Fix #16411 by making dataConCannotMatch aware of (~~)

Ryan Scott requested to merge RyanGlScott/ghc:wip/T16411 into master

The dataConCannotMatch function (which powers the -Wpartial-fields warning, among other things) had special reasoning for explicit equality constraints of the form a ~ b, but it did not extend that reasoning to a ~~ b constraints, leading to #16411 (closed).

Easily fixed.

Edited by Ben Gamari

Merge request reports