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


public type Proc is &{
    function func(int) -> int
}

method func(Proc _this, int x) -> int:
    return x + 1

method test(Proc _this, int arg) -> int:
    return (*_this).func(arg)

function id(int x) -> int:
    return x

public export method test() :
    Proc p = new {func: &id}
    int x = test(p, 123)
    assume x == 123
    x = test(p, 12545)
    assume x == 12545
    x = test(p,-11)
    assume x == -11

---