original.name="Final_Invalid_2"
======
>>> main.whiley
function f(int x) -> (int r):
    //
    final int y = x
    y = y + 1
    //
    return x

---
E606 main.whiley 4,4