6.4.10 Exhaustiveness checks

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.