aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/lib.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir_ty/src/lib.rs')
-rw-r--r--crates/ra_hir_ty/src/lib.rs13
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;
31pub mod method_resolution; 31pub mod method_resolution;
32mod op; 32mod op;
33mod lower; 33mod lower;
34mod match_checking;
34pub(crate) mod infer; 35pub(crate) mod infer;
35pub mod display;
36pub(crate) mod utils; 36pub(crate) mod utils;
37
38pub mod display;
37pub mod db; 39pub mod db;
38pub mod diagnostics; 40pub mod diagnostics;
39pub mod expr; 41pub mod expr;
@@ -43,11 +45,8 @@ pub mod unsafe_validation;
43mod tests; 45mod tests;
44#[cfg(test)] 46#[cfg(test)]
45mod test_db; 47mod test_db;
46mod _match;
47 48
48use std::ops::Deref; 49use std::{iter, mem, ops::Deref, sync::Arc};
49use std::sync::Arc;
50use std::{iter, mem};
51 50
52use hir_def::{ 51use 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};
57use itertools::Itertools;
58use ra_db::{impl_intern_key, salsa, CrateId}; 58use ra_db::{impl_intern_key, salsa, CrateId};
59 59
60use crate::{ 60use 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};
65use display::HirDisplay;
66 66
67pub use autoderef::autoderef; 67pub use autoderef::autoderef;
68pub use infer::{InferTy, InferenceResult}; 68pub use infer::{InferTy, InferenceResult};
@@ -74,7 +74,6 @@ pub use lower::{
74pub use traits::{InEnvironment, Obligation, ProjectionPredicate, TraitEnvironment}; 74pub use traits::{InEnvironment, Obligation, ProjectionPredicate, TraitEnvironment};
75 75
76pub use chalk_ir::{BoundVar, DebruijnIndex}; 76pub use chalk_ir::{BoundVar, DebruijnIndex};
77use 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