Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/infer/traits.rs')
-rw-r--r--crates/hir-ty/src/next_solver/infer/traits.rs8
1 files changed, 4 insertions, 4 deletions
diff --git a/crates/hir-ty/src/next_solver/infer/traits.rs b/crates/hir-ty/src/next_solver/infer/traits.rs
index dde6234836..5b875d2960 100644
--- a/crates/hir-ty/src/next_solver/infer/traits.rs
+++ b/crates/hir-ty/src/next_solver/infer/traits.rs
@@ -185,12 +185,12 @@ impl<'db> PredicateObligation<'db> {
impl<'db, O> Obligation<'db, O> {
pub fn new(
- tcx: DbInterner<'db>,
+ interner: DbInterner<'db>,
cause: ObligationCause,
param_env: ParamEnv<'db>,
predicate: impl Upcast<DbInterner<'db>, O>,
) -> Obligation<'db, O> {
- Self::with_depth(tcx, cause, 0, param_env, predicate)
+ Self::with_depth(interner, cause, 0, param_env, predicate)
}
/// We often create nested obligations without setting the correct depth.
@@ -202,13 +202,13 @@ impl<'db, O> Obligation<'db, O> {
}
pub fn with_depth(
- tcx: DbInterner<'db>,
+ interner: DbInterner<'db>,
cause: ObligationCause,
recursion_depth: usize,
param_env: ParamEnv<'db>,
predicate: impl Upcast<DbInterner<'db>, O>,
) -> Obligation<'db, O> {
- let predicate = predicate.upcast(tcx);
+ let predicate = predicate.upcast(interner);
Obligation { cause, param_env, recursion_depth, predicate }
}