whiley_test_file 0.6.2

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

method get() -> int:
    return 1

method f(int y) -> Point:
    return {y: get(), x: y}

public export method test():
    Point  p = f(2)
    assume p == {y: 1, x: 2}

---