1
1
use std:: borrow:: Cow ;
2
2
3
3
use rustc_errors:: {
4
- codes:: * , Diag , DiagArgValue , DiagCtxt , DiagnosticMessage , EmissionGuarantee , IntoDiagnostic ,
5
- Level ,
4
+ codes:: * , Diag , DiagArgValue , DiagCtxt , DiagMessage , EmissionGuarantee , IntoDiagnostic , Level ,
6
5
} ;
7
6
use rustc_hir:: ConstContext ;
8
7
use rustc_macros:: { Diagnostic , LintDiagnostic , Subdiagnostic } ;
@@ -424,7 +423,7 @@ pub struct UndefinedBehavior {
424
423
425
424
pub trait ReportErrorExt {
426
425
/// Returns the diagnostic message for this error.
427
- fn diagnostic_message ( & self ) -> DiagnosticMessage ;
426
+ fn diagnostic_message ( & self ) -> DiagMessage ;
428
427
fn add_args < G : EmissionGuarantee > ( self , diag : & mut Diag < ' _ , G > ) ;
429
428
430
429
fn debug ( self ) -> String
@@ -433,7 +432,7 @@ pub trait ReportErrorExt {
433
432
{
434
433
ty:: tls:: with ( move |tcx| {
435
434
let dcx = tcx. dcx ( ) ;
436
- let mut diag = dcx. struct_allow ( DiagnosticMessage :: Str ( String :: new ( ) . into ( ) ) ) ;
435
+ let mut diag = dcx. struct_allow ( DiagMessage :: Str ( String :: new ( ) . into ( ) ) ) ;
437
436
let message = self . diagnostic_message ( ) ;
438
437
self . add_args ( & mut diag) ;
439
438
let s = dcx. eagerly_translate_to_string ( message, diag. args . iter ( ) ) ;
@@ -457,7 +456,7 @@ fn bad_pointer_message(msg: CheckInAllocMsg, dcx: &DiagCtxt) -> String {
457
456
}
458
457
459
458
impl < ' a > ReportErrorExt for UndefinedBehaviorInfo < ' a > {
460
- fn diagnostic_message ( & self ) -> DiagnosticMessage {
459
+ fn diagnostic_message ( & self ) -> DiagMessage {
461
460
use crate :: fluent_generated:: * ;
462
461
use UndefinedBehaviorInfo :: * ;
463
462
match self {
@@ -595,7 +594,7 @@ impl<'a> ReportErrorExt for UndefinedBehaviorInfo<'a> {
595
594
}
596
595
597
596
impl < ' tcx > ReportErrorExt for ValidationErrorInfo < ' tcx > {
598
- fn diagnostic_message ( & self ) -> DiagnosticMessage {
597
+ fn diagnostic_message ( & self ) -> DiagMessage {
599
598
use crate :: fluent_generated:: * ;
600
599
use rustc_middle:: mir:: interpret:: ValidationErrorKind :: * ;
601
600
match self . kind {
@@ -783,7 +782,7 @@ impl<'tcx> ReportErrorExt for ValidationErrorInfo<'tcx> {
783
782
}
784
783
785
784
impl ReportErrorExt for UnsupportedOpInfo {
786
- fn diagnostic_message ( & self ) -> DiagnosticMessage {
785
+ fn diagnostic_message ( & self ) -> DiagMessage {
787
786
use crate :: fluent_generated:: * ;
788
787
match self {
789
788
UnsupportedOpInfo :: Unsupported ( s) => s. clone ( ) . into ( ) ,
@@ -819,7 +818,7 @@ impl ReportErrorExt for UnsupportedOpInfo {
819
818
}
820
819
821
820
impl < ' tcx > ReportErrorExt for InterpError < ' tcx > {
822
- fn diagnostic_message ( & self ) -> DiagnosticMessage {
821
+ fn diagnostic_message ( & self ) -> DiagMessage {
823
822
match self {
824
823
InterpError :: UndefinedBehavior ( ub) => ub. diagnostic_message ( ) ,
825
824
InterpError :: Unsupported ( e) => e. diagnostic_message ( ) ,
@@ -842,7 +841,7 @@ impl<'tcx> ReportErrorExt for InterpError<'tcx> {
842
841
}
843
842
844
843
impl < ' tcx > ReportErrorExt for InvalidProgramInfo < ' tcx > {
845
- fn diagnostic_message ( & self ) -> DiagnosticMessage {
844
+ fn diagnostic_message ( & self ) -> DiagMessage {
846
845
use crate :: fluent_generated:: * ;
847
846
match self {
848
847
InvalidProgramInfo :: TooGeneric => const_eval_too_generic,
@@ -877,7 +876,7 @@ impl<'tcx> ReportErrorExt for InvalidProgramInfo<'tcx> {
877
876
}
878
877
879
878
impl ReportErrorExt for ResourceExhaustionInfo {
880
- fn diagnostic_message ( & self ) -> DiagnosticMessage {
879
+ fn diagnostic_message ( & self ) -> DiagMessage {
881
880
use crate :: fluent_generated:: * ;
882
881
match self {
883
882
ResourceExhaustionInfo :: StackFrameLimitReached => const_eval_stack_frame_limit_reached,
0 commit comments