original.name="Return_Invalid_3"
======
>>> main.whiley
function f(bool z) :
    return z

---
E400 main.whiley 2,11