In the presence of garbage collection and debugging, … a compacting garbage collector might modify pointers saved … [p. 24] To eliminate this penalty, the front end … The run-time system and debugger may not change … If variables will not be changed by a … using mostly-copying collectors [refs] or non-compacting collectors [ref] can safely mark all variables as invariant across calls.
Google-1
Google-2
Copyright clearance needed for quotation.