Другими словами, замыкание должно существовать на уровне области видимости (в зависимости от реализации), после чего необязательная оптимизация усекает область видимости до замыкаемых переменных (результат, эквивалентный замыканиям с уровнем переменных).