diff options
| author | Florian Diebold <[email protected]> | 2021-03-13 16:23:19 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-03-13 16:56:48 +0000 |
| commit | dfafcd926a4cc9b09aba0eb3cc5275a4abe633b9 (patch) | |
| tree | cfb4000f57a35b2dc2fdab78a5b422fc3af3667e /crates/hir_ty/src/traits/chalk/interner.rs | |
| parent | d4533785698d439417bc5474fecd62a7f1707368 (diff) | |
Use chalk_ir::ForeignDefId
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/interner.rs')
| -rw-r--r-- | crates/hir_ty/src/traits/chalk/interner.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/crates/hir_ty/src/traits/chalk/interner.rs b/crates/hir_ty/src/traits/chalk/interner.rs index 54bd1c724..e891efb7b 100644 --- a/crates/hir_ty/src/traits/chalk/interner.rs +++ b/crates/hir_ty/src/traits/chalk/interner.rs | |||
| @@ -12,7 +12,6 @@ pub struct Interner; | |||
| 12 | 12 | ||
| 13 | pub(crate) type AssocTypeId = chalk_ir::AssocTypeId<Interner>; | 13 | pub(crate) type AssocTypeId = chalk_ir::AssocTypeId<Interner>; |
| 14 | pub(crate) type AssociatedTyDatum = chalk_solve::rust_ir::AssociatedTyDatum<Interner>; | 14 | pub(crate) type AssociatedTyDatum = chalk_solve::rust_ir::AssociatedTyDatum<Interner>; |
| 15 | pub(crate) type ForeignDefId = chalk_ir::ForeignDefId<Interner>; | ||
| 16 | pub(crate) type TraitId = chalk_ir::TraitId<Interner>; | 15 | pub(crate) type TraitId = chalk_ir::TraitId<Interner>; |
| 17 | pub(crate) type TraitDatum = chalk_solve::rust_ir::TraitDatum<Interner>; | 16 | pub(crate) type TraitDatum = chalk_solve::rust_ir::TraitDatum<Interner>; |
| 18 | pub(crate) type AdtId = chalk_ir::AdtId<Interner>; | 17 | pub(crate) type AdtId = chalk_ir::AdtId<Interner>; |