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