Searched refs:elab_result_stack (Results 1 – 1 of 1) sorted by relevance
61 elab_result_stack: Vec<ElaboratedValue>, field163 elab_result_stack: vec![], in new()408 debug_assert_eq!(self.elab_result_stack.len(), 1); in elaborate_eclass_use()409 self.elab_result_stack.pop().unwrap() in elaborate_eclass_use()473 self.elab_result_stack.push(*elab_val); in process_elab_stack()495 self.elab_result_stack.push(ElaboratedValue { in process_elab_stack()547 let arg_idx = self.elab_result_stack.len() - num_args; in process_elab_stack()548 let arg_values = &mut self.elab_result_stack[arg_idx..]; in process_elab_stack()736 self.elab_result_stack.truncate(arg_idx); in process_elab_stack()740 self.elab_result_stack.push(ElaboratedValue { in process_elab_stack()