Skip to content

Do not consider uninhabited constructors when performing exhaustive match checking #5627

Do not consider uninhabited constructors when performing exhaustive match checking

Do not consider uninhabited constructors when performing exhaustive match checking #5627

specification

succeeded Oct 11, 2024 in 1m 14s