original.name="Final_Invalid_14"
======
>>> main.whiley
function f(int x) -> (int r):
    //
    final int y
    //
    switch(x):
        case 0:
            y = x
        default:
            return 0
    //    
    y = 0
    //
    return y
---
E606 main.whiley 11,4