Could always create an 'InexhaustiveCase' assertio...

# language-proposals

[fellshard]

Could always create an 'InexhaustiveCase' assertion exception or something, if it's a constraint you want to enforce.