public void __exit__() { if (_current_name_scope != null) { _current_name_scope.__exit__(); } }
public void __exit__() { _cached_pure_variable_scope.__exit__(); if (_current_name_scope != null) { _current_name_scope.__exit__(); } }