Robert Jacques wrote: > Scope needs to prevent escaping to any scope, which most importantly > includes other scope variables. i.e.: > > shared int[] x; > int[] y; > swap(x,y); > > Causes a unshared array to become shared. That won't typecheck for other reasons. There might be an issue, but the above doesn't describe it. Andrei