Searched refs:ElabStackEntry (Results 1 – 1 of 1) sorted by relevance
59 elab_stack: Vec<ElabStackEntry>,117 enum ElabStackEntry { enum403 .push(ElabStackEntry::Start { value, before }); in elaborate_eclass_use()454 ElabStackEntry::Start { value, before } => { in process_elab_stack()517 self.elab_stack.push(ElabStackEntry::PendingInst { in process_elab_stack()529 .push(ElabStackEntry::Start { value: arg, before }); in process_elab_stack()533 ElabStackEntry::PendingInst { in process_elab_stack()