so I've got a when statement that simaultaneously ...

# language-proposals

[groostav]

so I've got a when statement that simaultaneously has:

error: when-expression must be exhaustive
and
warning: when-clause is always true

I understand that making the when-statement stuff be really good involves SMT solving and proof creators and is enormously complex, but what about in places where we already have the intelliJ intelli-sense warning?