original.name="Function_Invalid_5" ====== >>> main.whiley function init() -> (int r): return 0 function init() -> (bool r): return false method test(): int[] xs = init() --- E400 main.whiley 8,15:20