graydon/rust — Issue #1055: alias analysis does not recognize mutable object fields as unsafe roots
Author: marijnh
Created: 2011-10-21 10:16:39+00:00
State: open
Labels: safety

It is possible to cause corruption by passing a value rooted in a mutable object field to a closure that goes through the object to mutate that field. Object fields should not be treated like regular local variables—they have bigger scope.