original.name="Template_Invalid_20"
======
>>> main.whiley
method f<T>(T x) -> (bool y):
    return false

type t is (int x) where f(x)

---
E608 main.whiley 4,24:27