On 8/14/2011 12:45 PM, Andrei Alexandrescu wrote: > Exactly. Using scope has been part of the discussion, and our agreement > was that it would be a lot of burden to require manual scope annotations > for non-escaping parameters. > > Andrei Let's assume for the sake of argument that scope is part of the game. (How) would it be checked?