aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk
diff options
context:
space:
mode:
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
-rw-r--r--crates/hir_ty/src/traits/chalk/interner.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/traits/chalk/interner.rs b/crates/hir_ty/src/traits/chalk/interner.rs
index ea42be932..f35695f6f 100644
--- a/crates/hir_ty/src/traits/chalk/interner.rs
+++ b/crates/hir_ty/src/traits/chalk/interner.rs
@@ -70,7 +70,7 @@ impl chalk_ir::interner::Interner for Interner {
70 type InternedGoal = Arc<GoalData<Self>>; 70 type InternedGoal = Arc<GoalData<Self>>;
71 type InternedGoals = Vec<Goal<Self>>; 71 type InternedGoals = Vec<Goal<Self>>;
72 type InternedSubstitution = Interned<InternedSubstitutionInner>; 72 type InternedSubstitution = Interned<InternedSubstitutionInner>;
73 type InternedProgramClause = Arc<chalk_ir::ProgramClauseData<Self>>; 73 type InternedProgramClause = chalk_ir::ProgramClauseData<Self>;
74 type InternedProgramClauses = Interned<InternedWrapper<Vec<chalk_ir::ProgramClause<Self>>>>; 74 type InternedProgramClauses = Interned<InternedWrapper<Vec<chalk_ir::ProgramClause<Self>>>>;
75 type InternedQuantifiedWhereClauses = Interned<InternedWrapper<Vec<chalk_ir::QuantifiedWhereClause<Self>>>>; 75 type InternedQuantifiedWhereClauses = Interned<InternedWrapper<Vec<chalk_ir::QuantifiedWhereClause<Self>>>>;
76 type InternedVariableKinds = Interned<InternedVariableKindsInner>; 76 type InternedVariableKinds = Interned<InternedVariableKindsInner>;
@@ -315,7 +315,7 @@ impl chalk_ir::interner::Interner for Interner {
315 &self, 315 &self,
316 data: chalk_ir::ProgramClauseData<Self>, 316 data: chalk_ir::ProgramClauseData<Self>,
317 ) -> Self::InternedProgramClause { 317 ) -> Self::InternedProgramClause {
318 Arc::new(data) 318 data
319 } 319 }
320 320
321 fn program_clause_data<'a>( 321 fn program_clause_data<'a>(