// expect: x: is given away inside a loop that comes back around to it fn take(.d p) { return p[0]; } fn main() { let x = new(1); let i = 0; d*x; while (i < 3) { take(x); i++; } return 0; }