1 use rustc_macros::Diagnostic;
7 #[diag(middle::drop_check_overflow, code = "E0320")]
9 pub struct DropCheckOverflow<'tcx> {
13 pub overflow_ty: Ty<'tcx>,
17 #[diag(middle::opaque_hidden_type_mismatch)]
18 pub struct OpaqueHiddenTypeMismatch<'tcx> {
19 pub self_ty: Ty<'tcx>,
20 pub other_ty: Ty<'tcx>,
25 pub sub: TypeMismatchReason,
28 #[derive(Subdiagnostic)]
29 pub enum TypeMismatchReason {
30 #[label(middle::conflict_types)]
35 #[note(middle::previous_use_here)]
43 #[diag(middle::limit_invalid)]
44 pub struct LimitInvalid<'a> {
49 pub error_str: &'a str,