() test()
{ // ERROR
    bool b = :true;

    switch b {
        case :false { }

// EOF ERROR