diff options
-rw-r--r-- | crates/hir_ty/src/traits/chalk/interner.rs | 4 |
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>( |