Comment by iainmerrick

It really depends. If you e.g. allocate items inside a loop to build up an array to later do something on that, you'd want defer to run only for the allocated items (and thus the statement needs to be inside the loop body), but deallocation should only happen once the array is actually used.

If we're going to have that kind of semi-manual resource management, anyway, it would be better to have labelled blocks and the corresponding defer-like statement that can reference them. Something like:

   outer: {
      ...
      inner: {
         defer close(x) after outer;
      }
   }

> What we want everywhere is block-scoped defer, right?

Not always. Block-scoped defer makes allocating inside "if blocks" a pain.

The flip side is that function-scoped is a pain to implement in a non-GC language.