diff --git a/crates/hir_ty/src/traits/chalk/interner.rs b/crates/hir_ty/src/traits/chalk/interner.rs index ea42be9322..f35695f6fb 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 { type InternedGoal = Arc>; type InternedGoals = Vec>; type InternedSubstitution = Interned; - type InternedProgramClause = Arc>; + type InternedProgramClause = chalk_ir::ProgramClauseData; type InternedProgramClauses = Interned>>>; type InternedQuantifiedWhereClauses = Interned>>>; type InternedVariableKinds = Interned; @@ -315,7 +315,7 @@ impl chalk_ir::interner::Interner for Interner { &self, data: chalk_ir::ProgramClauseData, ) -> Self::InternedProgramClause { - Arc::new(data) + data } fn program_clause_data<'a>(