original.name="Assign_Invalid_5"
======
>>> main.whiley
function f(bool x) -> int:
    return x

---
E400 main.whiley 2,11