Skip to content

Exhaustiveness checking for non-arithmetic patterns #264

Exhaustiveness checking for non-arithmetic patterns

Exhaustiveness checking for non-arithmetic patterns #264