aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-04-08 19:39:43 +0100
committerFlorian Diebold <[email protected]>2021-04-08 21:48:47 +0100
commitf778e50b7183e727ec7ec1091b9b64471524704a (patch)
treeb4aee3054038ccd8adf5bdff2d41b13f61a33087 /crates/hir_ty/src/traits/chalk
parent566200342a2bed328d3e73bbb8b8bbe6d49f255c (diff)
Don't intern ProgramClause at all
This seems to work best performance/memory-wise.
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>(