• Ryan Scott's avatar
    Fix #16411 by making dataConCannotMatch aware of (~~) · 36546a43
    Ryan Scott authored
    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.
    Easily fixed.
Code owners : Ben Gamari
DataCon.hs 59.3 KB