Skip to content

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

Closed
tgodzik wants to merge 2 commits intolts-3.3from
backport-lts-3.3-23403
Closed

Backport "Fix problems in checking that a constructor is uninhabited for exhaustive match checking" to 3.3 LTS#517
tgodzik wants to merge 2 commits intolts-3.3from
backport-lts-3.3-23403

Commits

Commits on Jul 26, 2025