On 10/24/2016 9:49 AM, Mathias Lang wrote: > Why is this necessary / what would be the problem in allowing it in @system ? For one thing, it would require all users to learn scope semantics and annotate them correctly. It would be like requiring const correctness.