1 2 3 4 5 6 7 8 9 10 11
original.name="Public_Invalid_8" ====== >>> main.whiley type Hidden is (int x) where x >= 5 public method f(Hidden[] x) -> (int r): return 0 --- E411 main.whiley 3,16:21