diff options
Diffstat (limited to 'crates/ra_hir_ty/src/lib.rs')
-rw-r--r-- | crates/ra_hir_ty/src/lib.rs | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/crates/ra_hir_ty/src/lib.rs b/crates/ra_hir_ty/src/lib.rs index c12bed4af..34f0bd4ce 100644 --- a/crates/ra_hir_ty/src/lib.rs +++ b/crates/ra_hir_ty/src/lib.rs | |||
@@ -31,9 +31,11 @@ pub mod traits; | |||
31 | pub mod method_resolution; | 31 | pub mod method_resolution; |
32 | mod op; | 32 | mod op; |
33 | mod lower; | 33 | mod lower; |
34 | mod match_checking; | ||
34 | pub(crate) mod infer; | 35 | pub(crate) mod infer; |
35 | pub mod display; | ||
36 | pub(crate) mod utils; | 36 | pub(crate) mod utils; |
37 | |||
38 | pub mod display; | ||
37 | pub mod db; | 39 | pub mod db; |
38 | pub mod diagnostics; | 40 | pub mod diagnostics; |
39 | pub mod expr; | 41 | pub mod expr; |
@@ -43,11 +45,8 @@ pub mod unsafe_validation; | |||
43 | mod tests; | 45 | mod tests; |
44 | #[cfg(test)] | 46 | #[cfg(test)] |
45 | mod test_db; | 47 | mod test_db; |
46 | mod _match; | ||
47 | 48 | ||
48 | use std::ops::Deref; | 49 | use std::{iter, mem, ops::Deref, sync::Arc}; |
49 | use std::sync::Arc; | ||
50 | use std::{iter, mem}; | ||
51 | 50 | ||
52 | use hir_def::{ | 51 | use hir_def::{ |
53 | expr::ExprId, | 52 | expr::ExprId, |
@@ -55,14 +54,15 @@ use hir_def::{ | |||
55 | AdtId, AssocContainerId, DefWithBodyId, GenericDefId, HasModule, Lookup, TraitId, TypeAliasId, | 54 | AdtId, AssocContainerId, DefWithBodyId, GenericDefId, HasModule, Lookup, TraitId, TypeAliasId, |
56 | TypeParamId, | 55 | TypeParamId, |
57 | }; | 56 | }; |
57 | use itertools::Itertools; | ||
58 | use ra_db::{impl_intern_key, salsa, CrateId}; | 58 | use ra_db::{impl_intern_key, salsa, CrateId}; |
59 | 59 | ||
60 | use crate::{ | 60 | use crate::{ |
61 | db::HirDatabase, | 61 | db::HirDatabase, |
62 | display::HirDisplay, | ||
62 | primitive::{FloatTy, IntTy}, | 63 | primitive::{FloatTy, IntTy}, |
63 | utils::{generics, make_mut_slice, Generics}, | 64 | utils::{generics, make_mut_slice, Generics}, |
64 | }; | 65 | }; |
65 | use display::HirDisplay; | ||
66 | 66 | ||
67 | pub use autoderef::autoderef; | 67 | pub use autoderef::autoderef; |
68 | pub use infer::{InferTy, InferenceResult}; | 68 | pub use infer::{InferTy, InferenceResult}; |
@@ -74,7 +74,6 @@ pub use lower::{ | |||
74 | pub use traits::{InEnvironment, Obligation, ProjectionPredicate, TraitEnvironment}; | 74 | pub use traits::{InEnvironment, Obligation, ProjectionPredicate, TraitEnvironment}; |
75 | 75 | ||
76 | pub use chalk_ir::{BoundVar, DebruijnIndex}; | 76 | pub use chalk_ir::{BoundVar, DebruijnIndex}; |
77 | use itertools::Itertools; | ||
78 | 77 | ||
79 | /// A type constructor or type name: this might be something like the primitive | 78 | /// A type constructor or type name: this might be something like the primitive |
80 | /// type `bool`, a struct like `Vec`, or things like function pointers or | 79 | /// type `bool`, a struct like `Vec`, or things like function pointers or |