aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Cargo.lock8
-rw-r--r--crates/ra_hir_ty/src/expr.rs2
-rw-r--r--crates/ra_hir_ty/src/lib.rs13
-rw-r--r--crates/ra_hir_ty/src/match_checking.rs (renamed from crates/ra_hir_ty/src/_match.rs)0
4 files changed, 11 insertions, 12 deletions
diff --git a/Cargo.lock b/Cargo.lock
index 66ae19b1e..b33c97ccb 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -11,9 +11,9 @@ dependencies = [
11 11
12[[package]] 12[[package]]
13name = "adler" 13name = "adler"
14version = "0.2.2" 14version = "0.2.3"
15source = "registry+https://github.com/rust-lang/crates.io-index" 15source = "registry+https://github.com/rust-lang/crates.io-index"
16checksum = "ccc9a9dd069569f212bc4330af9f17c4afb5e8ce185e83dbb14f1349dda18b10" 16checksum = "ee2a4ec343196209d6594e19543ae87a39f96d5534d7174822a3ad825dd6ed7e"
17 17
18[[package]] 18[[package]]
19name = "aho-corasick" 19name = "aho-corasick"
@@ -1722,9 +1722,9 @@ checksum = "ab16ced94dbd8a46c82fd81e3ed9a8727dac2977ea869d217bcc4ea1f122e81f"
1722 1722
1723[[package]] 1723[[package]]
1724name = "syn" 1724name = "syn"
1725version = "1.0.33" 1725version = "1.0.34"
1726source = "registry+https://github.com/rust-lang/crates.io-index" 1726source = "registry+https://github.com/rust-lang/crates.io-index"
1727checksum = "e8d5d96e8cbb005d6959f119f773bfaebb5684296108fb32600c00cde305b2cd" 1727checksum = "936cae2873c940d92e697597c5eee105fb570cd5689c695806f672883653349b"
1728dependencies = [ 1728dependencies = [
1729 "proc-macro2", 1729 "proc-macro2",
1730 "quote", 1730 "quote",
diff --git a/crates/ra_hir_ty/src/expr.rs b/crates/ra_hir_ty/src/expr.rs
index 72577d114..d44562b22 100644
--- a/crates/ra_hir_ty/src/expr.rs
+++ b/crates/ra_hir_ty/src/expr.rs
@@ -12,9 +12,9 @@ use crate::{
12 diagnostics::{ 12 diagnostics::{
13 MismatchedArgCount, MissingFields, MissingMatchArms, MissingOkInTailExpr, MissingPatFields, 13 MismatchedArgCount, MissingFields, MissingMatchArms, MissingOkInTailExpr, MissingPatFields,
14 }, 14 },
15 match_checking::{is_useful, MatchCheckCtx, Matrix, PatStack, Usefulness},
15 utils::variant_data, 16 utils::variant_data,
16 ApplicationTy, InferenceResult, Ty, TypeCtor, 17 ApplicationTy, InferenceResult, Ty, TypeCtor,
17 _match::{is_useful, MatchCheckCtx, Matrix, PatStack, Usefulness},
18}; 18};
19 19
20pub use hir_def::{ 20pub use hir_def::{
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
diff --git a/crates/ra_hir_ty/src/_match.rs b/crates/ra_hir_ty/src/match_checking.rs
index 5495ce284..5495ce284 100644
--- a/crates/ra_hir_ty/src/_match.rs
+++ b/crates/ra_hir_ty/src/match_checking.rs