Searched defs:InferenceTableSnapshot (Results 1 – 1 of 1) sorted by relevance
154 pub(crate) struct InferenceTableSnapshot { struct155 var_table_snapshot: chalk_solve::infer::InferenceSnapshot<Interner>,156 pending_obligations: Vec<Canonicalized<InEnvironment<Goal>>>,157 type_variable_table_snapshot: Vec<TypeVariableFlags>,464 pub(crate) fn snapshot(&mut self) -> InferenceTableSnapshot { in snapshot()475 pub(crate) fn rollback_to(&mut self, snapshot: InferenceTableSnapshot) { in rollback_to()