Lexical scope is a semantics concern - observable behaviour that is required for correctness. The case under discussion is an implementation concern - there's n

Lexical scope is a semantics concern - observable behaviour that is required for correctness. The case under discussion is an implementation concern - there's no necessity for it to leak by creating a linked list of activation records as further analysis could break the chain. The two are not related.