Backport "Fix problems in checking that a constructor is uninhabited for exhaustive match checking" to 3.3 LTS

Backport "Fix problems in checking that a constructor is uninhabited for exhaustive match checking" to 3.3 LTS #1508