aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r--crates/ra_hir/src/ty/autoderef.rs2
-rw-r--r--crates/ra_hir/src/ty/infer.rs8
-rw-r--r--crates/ra_hir/src/ty/lower.rs5
-rw-r--r--crates/ra_hir/src/ty/method_resolution.rs3
4 files changed, 11 insertions, 7 deletions
diff --git a/crates/ra_hir/src/ty/autoderef.rs b/crates/ra_hir/src/ty/autoderef.rs
index caa17f64e..5ba7cf2e0 100644
--- a/crates/ra_hir/src/ty/autoderef.rs
+++ b/crates/ra_hir/src/ty/autoderef.rs
@@ -8,7 +8,7 @@ use std::iter::successors;
8use log::{info, warn}; 8use log::{info, warn};
9 9
10use super::{traits::Solution, Canonical, Ty, TypeWalk}; 10use super::{traits::Solution, Canonical, Ty, TypeWalk};
11use crate::{name, HasGenericParams, HirDatabase, Resolver}; 11use crate::{db::HirDatabase, name, HasGenericParams, Resolver};
12 12
13const AUTODEREF_RECURSION_LIMIT: usize = 10; 13const AUTODEREF_RECURSION_LIMIT: usize = 10;
14 14
diff --git a/crates/ra_hir/src/ty/infer.rs b/crates/ra_hir/src/ty/infer.rs
index 0e6ebd365..9244ff3cb 100644
--- a/crates/ra_hir/src/ty/infer.rs
+++ b/crates/ra_hir/src/ty/infer.rs
@@ -35,6 +35,7 @@ use super::{
35use crate::{ 35use crate::{
36 adt::VariantDef, 36 adt::VariantDef,
37 code_model::{ModuleDef::Trait, TypeAlias}, 37 code_model::{ModuleDef::Trait, TypeAlias},
38 db::HirDatabase,
38 diagnostics::DiagnosticSink, 39 diagnostics::DiagnosticSink,
39 expr::{ 40 expr::{
40 self, Array, BinaryOp, BindingAnnotation, Body, Expr, ExprId, Literal, Pat, PatId, 41 self, Array, BinaryOp, BindingAnnotation, Body, Expr, ExprId, Literal, Pat, PatId,
@@ -50,8 +51,8 @@ use crate::{
50 }, 51 },
51 ty::infer::diagnostics::InferenceDiagnostic, 52 ty::infer::diagnostics::InferenceDiagnostic,
52 type_ref::{Mutability, TypeRef}, 53 type_ref::{Mutability, TypeRef},
53 AdtDef, ConstData, DefWithBody, FnData, Function, HasBody, HirDatabase, ImplItem, ModuleDef, 54 AdtDef, ConstData, DefWithBody, FnData, Function, HasBody, ImplItem, ModuleDef, Name, Path,
54 Name, Path, StructField, 55 StructField,
55}; 56};
56 57
57mod unify; 58mod unify;
@@ -1614,9 +1615,10 @@ impl Expectation {
1614 1615
1615mod diagnostics { 1616mod diagnostics {
1616 use crate::{ 1617 use crate::{
1618 db::HirDatabase,
1617 diagnostics::{DiagnosticSink, NoSuchField}, 1619 diagnostics::{DiagnosticSink, NoSuchField},
1618 expr::ExprId, 1620 expr::ExprId,
1619 Function, HasSource, HirDatabase, 1621 Function, HasSource,
1620 }; 1622 };
1621 1623
1622 #[derive(Debug, PartialEq, Eq, Clone)] 1624 #[derive(Debug, PartialEq, Eq, Clone)]
diff --git a/crates/ra_hir/src/ty/lower.rs b/crates/ra_hir/src/ty/lower.rs
index 480bae740..061229842 100644
--- a/crates/ra_hir/src/ty/lower.rs
+++ b/crates/ra_hir/src/ty/lower.rs
@@ -14,6 +14,7 @@ use super::{
14}; 14};
15use crate::{ 15use crate::{
16 adt::VariantDef, 16 adt::VariantDef,
17 db::HirDatabase,
17 generics::HasGenericParams, 18 generics::HasGenericParams,
18 generics::{GenericDef, WherePredicate}, 19 generics::{GenericDef, WherePredicate},
19 nameres::Namespace, 20 nameres::Namespace,
@@ -21,8 +22,8 @@ use crate::{
21 resolve::{Resolution, Resolver}, 22 resolve::{Resolution, Resolver},
22 ty::AdtDef, 23 ty::AdtDef,
23 type_ref::{TypeBound, TypeRef}, 24 type_ref::{TypeBound, TypeRef},
24 BuiltinType, Const, Enum, EnumVariant, Function, HirDatabase, ModuleDef, Path, Static, Struct, 25 BuiltinType, Const, Enum, EnumVariant, Function, ModuleDef, Path, Static, Struct, StructField,
25 StructField, Trait, TypeAlias, Union, 26 Trait, TypeAlias, Union,
26}; 27};
27 28
28impl Ty { 29impl Ty {
diff --git a/crates/ra_hir/src/ty/method_resolution.rs b/crates/ra_hir/src/ty/method_resolution.rs
index cf787bdaa..be63806d4 100644
--- a/crates/ra_hir/src/ty/method_resolution.rs
+++ b/crates/ra_hir/src/ty/method_resolution.rs
@@ -9,6 +9,7 @@ use rustc_hash::FxHashMap;
9 9
10use super::{autoderef, lower, Canonical, InEnvironment, TraitEnvironment, TraitRef}; 10use super::{autoderef, lower, Canonical, InEnvironment, TraitEnvironment, TraitRef};
11use crate::{ 11use crate::{
12 db::HirDatabase,
12 generics::HasGenericParams, 13 generics::HasGenericParams,
13 impl_block::{ImplBlock, ImplId, ImplItem}, 14 impl_block::{ImplBlock, ImplId, ImplItem},
14 nameres::CrateModuleId, 15 nameres::CrateModuleId,
@@ -16,7 +17,7 @@ use crate::{
16 traits::TraitItem, 17 traits::TraitItem,
17 ty::primitive::{FloatBitness, UncertainFloatTy, UncertainIntTy}, 18 ty::primitive::{FloatBitness, UncertainFloatTy, UncertainIntTy},
18 ty::{Ty, TypeCtor}, 19 ty::{Ty, TypeCtor},
19 Crate, Function, HirDatabase, Module, Name, Trait, 20 Crate, Function, Module, Name, Trait,
20}; 21};
21 22
22/// This is used as a key for indexing impls. 23/// This is used as a key for indexing impls.