whiley_test_file 0.6.2

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