() test() {
    int i;
    bool b;
    
    switch b {
        case 1 { } // ERROR
        case 2 { } // ERROR
    }
    
    switch i {
        case bool:true { } // ERROR
        case :false { } // ERROR
    }
}