original.name="MethodRef_Valid_2"
======
>>> main.whiley


type Reader is {
  method read(int)->(int)
}

method f(int amount) -> int:
    return 1

method m(Reader r, int x) -> int:
    return r.read(x)

public export method test() :
    Reader reader = {read: &f}
    int data = m(reader, 1)
    assume data == 1

---