aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk
diff options
context:
space:
mode:
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
-rw-r--r--crates/hir_ty/src/traits/chalk/interner.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/crates/hir_ty/src/traits/chalk/interner.rs b/crates/hir_ty/src/traits/chalk/interner.rs
index f35695f6f..f2c9a0d4b 100644
--- a/crates/hir_ty/src/traits/chalk/interner.rs
+++ b/crates/hir_ty/src/traits/chalk/interner.rs
@@ -59,6 +59,7 @@ impl_internable!(
59 InternedWrapper<Vec<chalk_ir::CanonicalVarKind<Interner>>>, 59 InternedWrapper<Vec<chalk_ir::CanonicalVarKind<Interner>>>,
60 InternedWrapper<Vec<chalk_ir::ProgramClause<Interner>>>, 60 InternedWrapper<Vec<chalk_ir::ProgramClause<Interner>>>,
61 InternedWrapper<Vec<chalk_ir::QuantifiedWhereClause<Interner>>>, 61 InternedWrapper<Vec<chalk_ir::QuantifiedWhereClause<Interner>>>,
62 InternedWrapper<Vec<chalk_ir::Variance>>,
62); 63);
63 64
64impl chalk_ir::interner::Interner for Interner { 65impl chalk_ir::interner::Interner for Interner {
@@ -76,7 +77,7 @@ impl chalk_ir::interner::Interner for Interner {
76 type InternedVariableKinds = Interned<InternedVariableKindsInner>; 77 type InternedVariableKinds = Interned<InternedVariableKindsInner>;
77 type InternedCanonicalVarKinds = Interned<InternedWrapper<Vec<chalk_ir::CanonicalVarKind<Self>>>>; 78 type InternedCanonicalVarKinds = Interned<InternedWrapper<Vec<chalk_ir::CanonicalVarKind<Self>>>>;
78 type InternedConstraints = Vec<chalk_ir::InEnvironment<chalk_ir::Constraint<Self>>>; 79 type InternedConstraints = Vec<chalk_ir::InEnvironment<chalk_ir::Constraint<Self>>>;
79 type InternedVariances = Arc<[chalk_ir::Variance]>; 80 type InternedVariances = Interned<InternedWrapper<Vec<chalk_ir::Variance>>>;
80 type DefId = InternId; 81 type DefId = InternId;
81 type InternedAdtId = hir_def::AdtId; 82 type InternedAdtId = hir_def::AdtId;
82 type Identifier = TypeAliasId; 83 type Identifier = TypeAliasId;
@@ -413,7 +414,7 @@ impl chalk_ir::interner::Interner for Interner {
413 &self, 414 &self,
414 data: impl IntoIterator<Item = Result<chalk_ir::Variance, E>>, 415 data: impl IntoIterator<Item = Result<chalk_ir::Variance, E>>,
415 ) -> Result<Self::InternedVariances, E> { 416 ) -> Result<Self::InternedVariances, E> {
416 data.into_iter().collect() 417 Ok(Interned::new(InternedWrapper(data.into_iter().collect::<Result<_, _>>()?)))
417 } 418 }
418 419
419 fn variances_data<'a>( 420 fn variances_data<'a>(