Fix problems in checking that a constructor is uninhabited for exhaustive match checking

Fix problems in checking that a constructor is uninhabited for exhaustive match checking #21834