diff options
author | Florian Diebold <[email protected]> | 2021-04-08 19:39:43 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-08 21:48:47 +0100 |
commit | f778e50b7183e727ec7ec1091b9b64471524704a (patch) | |
tree | b4aee3054038ccd8adf5bdff2d41b13f61a33087 /crates/hir_ty/src/traits/chalk | |
parent | 566200342a2bed328d3e73bbb8b8bbe6d49f255c (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.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>( |