original.name="ProcessAccess_Invalid_3"
======
>>> main.whiley
type MyProc is &{int data}

method copy(MyProc _this, MyProc p):
    p.data = _this.data

method create(int data) -> MyProc:
    return new {data: data}

public export method test() :
    MyProc p1 = create(1)
    MyProc p2 = create(2)
    copy(p1,p2)

---
E403 main.whiley 4,4
E403 main.whiley 4,13:17