Searched defs:old_scope (Results 1 – 1 of 1) sorted by relevance
1385 let old_scope = self.catch_scope.replace(catch_id); in with_catch_scope() localVariable1396 let old_scope = self.loop_scope.replace(loop_id); in with_loop_scope() localVariable