original.name="MethodCall_Invalid_5" ====== >>> main.whiley function f(int y) -> int[]: return [1, 2, 3, get()] method get() -> int: return 1 --- E608 main.whiley 2,21:25