diff options
| author | Florian Diebold <[email protected]> | 2021-03-13 16:55:50 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-03-13 16:56:48 +0000 |
| commit | 9719ce9fc731a400c9744ba1a6569e978c1a97e7 (patch) | |
| tree | a9c674c83723e2ed145793f72450c873da62a6fc /crates/hir_ty/src/traits/chalk/interner.rs | |
| parent | 19664e276aba21a42cad5351a2c91995d1ce5d52 (diff) | |
Use chalk_ir::FnDefId
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 e891efb7b..1dc3f497d 100644 --- a/crates/hir_ty/src/traits/chalk/interner.rs +++ b/crates/hir_ty/src/traits/chalk/interner.rs | |||
| @@ -20,7 +20,6 @@ pub(crate) type ImplId = chalk_ir::ImplId<Interner>; | |||
| 20 | pub(crate) type ImplDatum = chalk_solve::rust_ir::ImplDatum<Interner>; | 20 | pub(crate) type ImplDatum = chalk_solve::rust_ir::ImplDatum<Interner>; |
| 21 | pub(crate) type AssociatedTyValueId = chalk_solve::rust_ir::AssociatedTyValueId<Interner>; | 21 | pub(crate) type AssociatedTyValueId = chalk_solve::rust_ir::AssociatedTyValueId<Interner>; |
| 22 | pub(crate) type AssociatedTyValue = chalk_solve::rust_ir::AssociatedTyValue<Interner>; | 22 | pub(crate) type AssociatedTyValue = chalk_solve::rust_ir::AssociatedTyValue<Interner>; |
| 23 | pub(crate) type FnDefId = chalk_ir::FnDefId<Interner>; | ||
| 24 | pub(crate) type FnDefDatum = chalk_solve::rust_ir::FnDefDatum<Interner>; | 23 | pub(crate) type FnDefDatum = chalk_solve::rust_ir::FnDefDatum<Interner>; |
| 25 | pub(crate) type OpaqueTyId = chalk_ir::OpaqueTyId<Interner>; | 24 | pub(crate) type OpaqueTyId = chalk_ir::OpaqueTyId<Interner>; |
| 26 | pub(crate) type OpaqueTyDatum = chalk_solve::rust_ir::OpaqueTyDatum<Interner>; | 25 | pub(crate) type OpaqueTyDatum = chalk_solve::rust_ir::OpaqueTyDatum<Interner>; |