original.name="Record_Invalid_6"
======
>>> main.whiley
type Point is { int x, int y }

function fromXY(int x, bool y) -> (Point p):
    return Point{x:x, y:y}

---
E400 main.whiley 4,24