From 94a0819fe3a0d679c3042a77bfe6a2afc505daea Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:11:28 +0200 Subject: Adding upstream version 1.66.0+dfsg1. Signed-off-by: Daniel Baumann --- compiler/rustc_middle/src/error.rs | 57 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 57 insertions(+) create mode 100644 compiler/rustc_middle/src/error.rs (limited to 'compiler/rustc_middle/src/error.rs') diff --git a/compiler/rustc_middle/src/error.rs b/compiler/rustc_middle/src/error.rs new file mode 100644 index 000000000..a7a7ac059 --- /dev/null +++ b/compiler/rustc_middle/src/error.rs @@ -0,0 +1,57 @@ +use rustc_macros::Diagnostic; +use rustc_span::Span; + +use crate::ty::Ty; + +#[derive(Diagnostic)] +#[diag(middle_drop_check_overflow, code = "E0320")] +#[note] +pub struct DropCheckOverflow<'tcx> { + #[primary_span] + pub span: Span, + pub ty: Ty<'tcx>, + pub overflow_ty: Ty<'tcx>, +} + +#[derive(Diagnostic)] +#[diag(middle_opaque_hidden_type_mismatch)] +pub struct OpaqueHiddenTypeMismatch<'tcx> { + pub self_ty: Ty<'tcx>, + pub other_ty: Ty<'tcx>, + #[primary_span] + #[label] + pub other_span: Span, + #[subdiagnostic] + pub sub: TypeMismatchReason, +} + +#[derive(Subdiagnostic)] +pub enum TypeMismatchReason { + #[label(middle_conflict_types)] + ConflictType { + #[primary_span] + span: Span, + }, + #[note(middle_previous_use_here)] + PreviousUse { + #[primary_span] + span: Span, + }, +} + +#[derive(Diagnostic)] +#[diag(middle_limit_invalid)] +pub struct LimitInvalid<'a> { + #[primary_span] + pub span: Span, + #[label] + pub value_span: Span, + pub error_str: &'a str, +} + +#[derive(Diagnostic)] +#[diag(middle_const_eval_non_int)] +pub struct ConstEvalNonIntError { + #[primary_span] + pub span: Span, +} -- cgit v1.2.3