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>( |
