Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/lower/diagnostics.rs')
-rw-r--r--crates/hir-ty/src/lower/diagnostics.rs14
1 files changed, 5 insertions, 9 deletions
diff --git a/crates/hir-ty/src/lower/diagnostics.rs b/crates/hir-ty/src/lower/diagnostics.rs
index 2565fb46ce..35ee99cb95 100644
--- a/crates/hir-ty/src/lower/diagnostics.rs
+++ b/crates/hir-ty/src/lower/diagnostics.rs
@@ -1,17 +1,13 @@
//! This files contains the declaration of diagnostics kinds for ty and path lowering.
-use hir_def::type_ref::TypeRefId;
-use hir_def::{GenericDefId, GenericParamId};
+use hir_def::{GenericDefId, GenericParamId, type_ref::TypeRefId};
-#[derive(Debug, PartialEq, Eq, Clone)]
-pub struct TyLoweringDiagnostic {
- pub source: TypeRefId,
- pub kind: TyLoweringDiagnosticKind,
-}
+use crate::Span;
#[derive(Debug, PartialEq, Eq, Clone)]
-pub enum TyLoweringDiagnosticKind {
- PathDiagnostic(PathLoweringDiagnostic),
+pub enum TyLoweringDiagnostic {
+ PathDiagnostic { source: TypeRefId, diag: PathLoweringDiagnostic },
+ InferVarsNotAllowed { source: Span },
}
#[derive(Debug, Clone, Copy, PartialEq, Eq)]