nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-06-05 03:38:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add type variable table to InferenceTableSnapshot

Browse Source
This commit is contained in:
Tianyi Song 2022-03-05 17:59:28 +08:00
parent 9d473a0b9f
commit c49bcc7814
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
crates/hir_ty/src/infer/unify.rs
View File

@ -140,7 +140,8 @@ pub(crate) struct InferenceTable<'a> {
pub(crate) struct InferenceTableSnapshot { pub(crate) struct InferenceTableSnapshot {
var_table_snapshot: chalk_solve::infer::InferenceSnapshot<Interner>, var_table_snapshot: chalk_solve::infer::InferenceSnapshot<Interner>,
// FIXME: snapshot type_variable_table, pending_obligations? // FIXME: snapshot pending_obligations?
type_variable_table_snapshot: Vec<TypeVariableData>,
} }
impl<'a> InferenceTable<'a> { impl<'a> InferenceTable<'a> {
@ -356,12 +357,14 @@ impl<'a> InferenceTable<'a> {
} }
pub(crate) fn snapshot(&mut self) -> InferenceTableSnapshot { pub(crate) fn snapshot(&mut self) -> InferenceTableSnapshot {
let snapshot = self.var_unification_table.snapshot(); let var_table_snapshot = self.var_unification_table.snapshot();
InferenceTableSnapshot { var_table_snapshot: snapshot } let type_variable_table_snapshot = self.type_variable_table.clone();
InferenceTableSnapshot { var_table_snapshot, type_variable_table_snapshot }
} }
pub(crate) fn rollback_to(&mut self, snapshot: InferenceTableSnapshot) { pub(crate) fn rollback_to(&mut self, snapshot: InferenceTableSnapshot) {
self.var_unification_table.rollback_to(snapshot.var_table_snapshot); self.var_unification_table.rollback_to(snapshot.var_table_snapshot);
self.type_variable_table = snapshot.type_variable_table_snapshot;
} }
/// Checks an obligation without registering it. Useful mostly to check /// Checks an obligation without registering it. Useful mostly to check