@@ -497,6 +497,9 @@ impl<'a> ReportErrorExt for UndefinedBehaviorInfo<'a> {
497
497
ScalarSizeMismatch ( _) => const_eval_scalar_size_mismatch,
498
498
UninhabitedEnumVariantWritten ( _) => const_eval_uninhabited_enum_variant_written,
499
499
UninhabitedEnumVariantRead ( _) => const_eval_uninhabited_enum_variant_read,
500
+ InvalidNichedEnumVariantWritten { .. } => {
501
+ const_eval_invalid_niched_enum_variant_written
502
+ }
500
503
AbiMismatchArgument { .. } => const_eval_incompatible_types,
501
504
AbiMismatchReturn { .. } => const_eval_incompatible_return_types,
502
505
}
@@ -585,6 +588,9 @@ impl<'a> ReportErrorExt for UndefinedBehaviorInfo<'a> {
585
588
builder. arg ( "target_size" , info. target_size ) ;
586
589
builder. arg ( "data_size" , info. data_size ) ;
587
590
}
591
+ InvalidNichedEnumVariantWritten { enum_ty } => {
592
+ builder. arg ( "ty" , enum_ty. to_string ( ) ) ;
593
+ }
588
594
AbiMismatchArgument { caller_ty, callee_ty }
589
595
| AbiMismatchReturn { caller_ty, callee_ty } => {
590
596
builder. arg ( "caller_ty" , caller_ty. to_string ( ) ) ;
@@ -793,7 +799,7 @@ impl ReportErrorExt for UnsupportedOpInfo {
793
799
UnsupportedOpInfo :: ReadPartialPointer ( _) => const_eval_partial_pointer_copy,
794
800
UnsupportedOpInfo :: ReadPointerAsInt ( _) => const_eval_read_pointer_as_int,
795
801
UnsupportedOpInfo :: ThreadLocalStatic ( _) => const_eval_thread_local_static,
796
- UnsupportedOpInfo :: ReadExternStatic ( _) => const_eval_read_extern_static ,
802
+ UnsupportedOpInfo :: ExternStatic ( _) => const_eval_extern_static ,
797
803
}
798
804
}
799
805
fn add_args < G : EmissionGuarantee > ( self , _: & DiagCtxt , builder : & mut DiagnosticBuilder < ' _ , G > ) {
@@ -812,7 +818,7 @@ impl ReportErrorExt for UnsupportedOpInfo {
812
818
OverwritePartialPointer ( ptr) | ReadPartialPointer ( ptr) => {
813
819
builder. arg ( "ptr" , ptr) ;
814
820
}
815
- ThreadLocalStatic ( did) | ReadExternStatic ( did) => {
821
+ ThreadLocalStatic ( did) | ExternStatic ( did) => {
816
822
builder. arg ( "did" , format ! ( "{did:?}" ) ) ;
817
823
}
818
824
}
0 commit comments