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

public property f({Hidden[] field} x) -> (bool r):
    return x == x
---
E411 main.whiley 3,19:24