original.name="Return_Invalid_2"
======
>>> main.whiley
function f() :
    return true

---
E400 main.whiley 2,11:14