diff options
author | Laurențiu Nicola <[email protected]> | 2020-03-03 05:57:16 +0000 |
---|---|---|
committer | Laurențiu Nicola <[email protected]> | 2020-03-03 05:57:16 +0000 |
commit | 91e02ace0660640b5cadd86f9c6c323a0c300f9d (patch) | |
tree | 53df3a82f4f3653d8089867f230f486f8a7b6e52 /crates/ra_hir_ty/src/traits | |
parent | ce5684216eda52a6da6a2933a980bd5655da61b8 (diff) |
Drop larlpop-intern dep
Diffstat (limited to 'crates/ra_hir_ty/src/traits')
-rw-r--r-- | crates/ra_hir_ty/src/traits/chalk.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/ra_hir_ty/src/traits/chalk.rs b/crates/ra_hir_ty/src/traits/chalk.rs index 7f7fe93b7..62509bc29 100644 --- a/crates/ra_hir_ty/src/traits/chalk.rs +++ b/crates/ra_hir_ty/src/traits/chalk.rs | |||
@@ -27,7 +27,7 @@ impl chalk_ir::interner::Interner for Interner { | |||
27 | type InternedGoal = Arc<GoalData<Self>>; | 27 | type InternedGoal = Arc<GoalData<Self>>; |
28 | type InternedGoals = Vec<Goal<Self>>; | 28 | type InternedGoals = Vec<Goal<Self>>; |
29 | type InternedSubstitution = Vec<Parameter<Self>>; | 29 | type InternedSubstitution = Vec<Parameter<Self>>; |
30 | type Identifier = lalrpop_intern::InternedString; | 30 | type Identifier = TypeAliasId; |
31 | type DefId = InternId; | 31 | type DefId = InternId; |
32 | 32 | ||
33 | // FIXME: implement these | 33 | // FIXME: implement these |
@@ -636,7 +636,7 @@ pub(crate) fn associated_ty_data_query( | |||
636 | let datum = AssociatedTyDatum { | 636 | let datum = AssociatedTyDatum { |
637 | trait_id: trait_.to_chalk(db), | 637 | trait_id: trait_.to_chalk(db), |
638 | id, | 638 | id, |
639 | name: lalrpop_intern::intern(&db.type_alias_data(type_alias).name.to_string()), | 639 | name: type_alias, |
640 | binders: make_binders(bound_data, generic_params.len()), | 640 | binders: make_binders(bound_data, generic_params.len()), |
641 | }; | 641 | }; |
642 | Arc::new(datum) | 642 | Arc::new(datum) |