The problem is that people often need to have "trust me, I need the
variable to stay put but I also don't want to have to remember to do
something meaningful at the end of the block to it" semantics and it
seems a bit tricky to achieve. Maybe this new annotation syntax could
help?..
An annotation is not necessary, the best way to achieve it is to insert a valid reference to the object in the relevant function.
That reference is not necessarily a read access, it can be a simple "delete x" or "x:close()" or "x:free()" statement (which uses the reference, but does not necessarily perform any read access to its inner fields or value).
