diff options
author | Florian Diebold <[email protected]> | 2021-04-09 13:15:26 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-09 13:15:26 +0100 |
commit | 5ca481bbdc75bd3a9dbce4c94b014bd0eb8bd9e8 (patch) | |
tree | bff5670807fd0cd9ce5d5f6ffaedf0c90ca02c51 /crates/hir_ty/src/lib.rs | |
parent | 743faa21e74cc5b627935e2c4c3365807a5c722f (diff) |
Move ToChalk -> mapping
Diffstat (limited to 'crates/hir_ty/src/lib.rs')
-rw-r--r-- | crates/hir_ty/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/lib.rs b/crates/hir_ty/src/lib.rs index 0743d3d30..434e2e533 100644 --- a/crates/hir_ty/src/lib.rs +++ b/crates/hir_ty/src/lib.rs | |||
@@ -51,13 +51,13 @@ pub use autoderef::autoderef; | |||
51 | pub use builder::TyBuilder; | 51 | pub use builder::TyBuilder; |
52 | pub use chalk_ext::*; | 52 | pub use chalk_ext::*; |
53 | pub use infer::{could_unify, InferenceResult}; | 53 | pub use infer::{could_unify, InferenceResult}; |
54 | pub use interner::Interner; | ||
54 | pub use lower::{ | 55 | pub use lower::{ |
55 | associated_type_shorthand_candidates, callable_item_sig, CallableDefId, ImplTraitLoweringMode, | 56 | associated_type_shorthand_candidates, callable_item_sig, CallableDefId, ImplTraitLoweringMode, |
56 | TyDefId, TyLoweringContext, ValueTyDefId, | 57 | TyDefId, TyLoweringContext, ValueTyDefId, |
57 | }; | 58 | }; |
58 | pub use traits::TraitEnvironment; | 59 | pub use traits::TraitEnvironment; |
59 | pub use walk::TypeWalk; | 60 | pub use walk::TypeWalk; |
60 | pub use interner::Interner; | ||
61 | 61 | ||
62 | pub use chalk_ir::{ | 62 | pub use chalk_ir::{ |
63 | cast::Cast, AdtId, BoundVar, DebruijnIndex, Mutability, Safety, Scalar, TyVariableKind, | 63 | cast::Cast, AdtId, BoundVar, DebruijnIndex, Mutability, Safety, Scalar, TyVariableKind, |