Re: Gc:arc and borrowchecking

[b3liever]

this means you defined proc = for X after it was used. You need to write 
=destroy and = procs right after defining the type X