The compiler ensures that no possible cases are forgotten:
switch(true) { case false: } // Unmatched patterns: true
The matched type Bool admits two values true and false, but only false is checked.
Bool
true
false