Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/infer/unify.rs')
| -rw-r--r-- | crates/hir-ty/src/infer/unify.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir-ty/src/infer/unify.rs b/crates/hir-ty/src/infer/unify.rs index 014109f03d..e77b55670b 100644 --- a/crates/hir-ty/src/infer/unify.rs +++ b/crates/hir-ty/src/infer/unify.rs @@ -43,7 +43,7 @@ where impl<T: HasInterner<Interner = Interner>> Canonicalized<T> { pub(super) fn apply_solution( &self, - ctx: &mut InferenceTable, + ctx: &mut InferenceTable<'_>, solution: Canonical<Substitution>, ) { // the solution may contain new variables, which we need to convert to new inference vars @@ -391,7 +391,7 @@ impl<'a> InferenceTable<'a> { self.pending_obligations = snapshot.pending_obligations; } - pub(crate) fn run_in_snapshot<T>(&mut self, f: impl FnOnce(&mut InferenceTable) -> T) -> T { + pub(crate) fn run_in_snapshot<T>(&mut self, f: impl FnOnce(&mut InferenceTable<'_>) -> T) -> T { let snapshot = self.snapshot(); let result = f(self); self.rollback_to(snapshot); |