original.name="Public_Invalid_9"
======
>>> main.whiley
type Hidden is (int x) where x >= 5

public method f({Hidden field} x) -> (int r):
    return 0


---
E411 main.whiley 3,17:22