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

public property f(Hidden[] x) -> (bool r):
    return x == x
---
E411 main.whiley 3,18:23