original.name="FunctionRef_Invalid_5"
======
>>> main.whiley
type Proc is &{int data}
method read(Proc _this, int x) -> int:
return x + 1
type Func is {
function reader(int)->int
}
function id(int x) -> int:
return x
function test(Func f, int arg) -> int:
return f.read(arg)
---
E406 main.whiley 14,13:16