original.name="Lambda_Valid_15"
======
>>> main.whiley
type Node is {
    method update()
}

public method update(&int ptr):
    *ptr = 0

public export method test():
    &int p = new 123
    &Node n = new (Node) { update: &( -> update(p)) }
    // Apply it
    n->update()
    // Check it
    assume *p == 0
    

---