Searched refs:enter_scope (Results 1 – 2 of 2) sorted by relevance
126 fn enter_scope(&mut self) -> StableSet<BindingId> { in enter_scope() method542 let scope = ctx.enter_scope(); in generate_internal_term_constructors()681 let scope = ctx.enter_scope(); in emit_block_contents()703 let scope = ctx.enter_scope(); in emit_block_contents()715 let scope = ctx.enter_scope(); in emit_block_contents()729 let scope = ctx.enter_scope(); in emit_block_contents()802 let scope = ctx.enter_scope(); in emit_block_contents()827 let closure_scope = ctx.enter_scope(); in emit_block_contents()
1354 fn enter_scope(&mut self) { in enter_scope() method1920 bindings.enter_scope(); in collect_rules()2568 bindings.enter_scope(); in translate_expr()