whiley_test_file 0.6.2

original.name="MessageSend_Valid_2"
======
>>> main.whiley
type Proc is &{int state}

method get(Proc _this) -> int:
    return _this->state

method f(Proc x) -> int:
    return get(x)

public export method test() :
    Proc proc = new {state: 123}
    int result = f(proc)
    assume result == 123

---