diff options
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r-- | crates/ra_hir/src/ty/infer.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/crates/ra_hir/src/ty/infer.rs b/crates/ra_hir/src/ty/infer.rs index 6dc3edc7a..5fd602a9e 100644 --- a/crates/ra_hir/src/ty/infer.rs +++ b/crates/ra_hir/src/ty/infer.rs | |||
@@ -38,7 +38,7 @@ use crate::{ | |||
38 | resolve::{Resolver, Resolution}, | 38 | resolve::{Resolver, Resolution}, |
39 | nameres::Namespace, | 39 | nameres::Namespace, |
40 | ty::infer::diagnostics::InferenceDiagnostic, | 40 | ty::infer::diagnostics::InferenceDiagnostic, |
41 | diagnostics::Diagnostics, | 41 | diagnostics::DiagnosticSink, |
42 | }; | 42 | }; |
43 | use super::{Ty, TypableDef, Substs, primitive, op, FnSig, ApplicationTy, TypeCtor}; | 43 | use super::{Ty, TypableDef, Substs, primitive, op, FnSig, ApplicationTy, TypeCtor}; |
44 | 44 | ||
@@ -120,7 +120,7 @@ impl InferenceResult { | |||
120 | &self, | 120 | &self, |
121 | db: &impl HirDatabase, | 121 | db: &impl HirDatabase, |
122 | owner: Function, | 122 | owner: Function, |
123 | sink: &mut Diagnostics, | 123 | sink: &mut DiagnosticSink, |
124 | ) { | 124 | ) { |
125 | self.diagnostics.iter().for_each(|it| it.add_to(db, owner, sink)) | 125 | self.diagnostics.iter().for_each(|it| it.add_to(db, owner, sink)) |
126 | } | 126 | } |
@@ -1269,7 +1269,7 @@ impl Expectation { | |||
1269 | } | 1269 | } |
1270 | 1270 | ||
1271 | mod diagnostics { | 1271 | mod diagnostics { |
1272 | use crate::{expr::ExprId, diagnostics::{Diagnostics, NoSuchField}, HirDatabase, Function}; | 1272 | use crate::{expr::ExprId, diagnostics::{DiagnosticSink, NoSuchField}, HirDatabase, Function}; |
1273 | 1273 | ||
1274 | #[derive(Debug, PartialEq, Eq, Clone)] | 1274 | #[derive(Debug, PartialEq, Eq, Clone)] |
1275 | pub(super) enum InferenceDiagnostic { | 1275 | pub(super) enum InferenceDiagnostic { |
@@ -1281,7 +1281,7 @@ mod diagnostics { | |||
1281 | &self, | 1281 | &self, |
1282 | db: &impl HirDatabase, | 1282 | db: &impl HirDatabase, |
1283 | owner: Function, | 1283 | owner: Function, |
1284 | sink: &mut Diagnostics, | 1284 | sink: &mut DiagnosticSink, |
1285 | ) { | 1285 | ) { |
1286 | match self { | 1286 | match self { |
1287 | InferenceDiagnostic::NoSuchField { expr, field } => { | 1287 | InferenceDiagnostic::NoSuchField { expr, field } => { |