@@ -13,7 +13,7 @@ fn err_sb_ub<'tcx>(
1313 msg : String ,
1414 help : Vec < String > ,
1515 history : Option < TagHistory > ,
16- ) -> InterpError < ' tcx > {
16+ ) -> InterpErrorKind < ' tcx > {
1717 err_machine_stop ! ( TerminationInfo :: StackedBorrowsUb { msg, help, history } )
1818}
1919
@@ -376,7 +376,7 @@ impl<'history, 'ecx, 'tcx> DiagnosticCx<'history, 'ecx, 'tcx> {
376376
377377 /// Report a descriptive error when `new` could not be granted from `derived_from`.
378378 #[ inline( never) ] // This is only called on fatal code paths
379- pub ( super ) fn grant_error ( & self , stack : & Stack ) -> InterpError < ' tcx > {
379+ pub ( super ) fn grant_error ( & self , stack : & Stack ) -> InterpErrorKind < ' tcx > {
380380 let Operation :: Retag ( op) = & self . operation else {
381381 unreachable ! ( "grant_error should only be called during a retag" )
382382 } ;
@@ -402,7 +402,7 @@ impl<'history, 'ecx, 'tcx> DiagnosticCx<'history, 'ecx, 'tcx> {
402402
403403 /// Report a descriptive error when `access` is not permitted based on `tag`.
404404 #[ inline( never) ] // This is only called on fatal code paths
405- pub ( super ) fn access_error ( & self , stack : & Stack ) -> InterpError < ' tcx > {
405+ pub ( super ) fn access_error ( & self , stack : & Stack ) -> InterpErrorKind < ' tcx > {
406406 // Deallocation and retagging also do an access as part of their thing, so handle that here, too.
407407 let op = match & self . operation {
408408 Operation :: Access ( op) => op,
@@ -424,7 +424,11 @@ impl<'history, 'ecx, 'tcx> DiagnosticCx<'history, 'ecx, 'tcx> {
424424 }
425425
426426 #[ inline( never) ] // This is only called on fatal code paths
427- pub ( super ) fn protector_error ( & self , item : & Item , kind : ProtectorKind ) -> InterpError < ' tcx > {
427+ pub ( super ) fn protector_error (
428+ & self ,
429+ item : & Item ,
430+ kind : ProtectorKind ,
431+ ) -> InterpErrorKind < ' tcx > {
428432 let protected = match kind {
429433 ProtectorKind :: WeakProtector => "weakly protected" ,
430434 ProtectorKind :: StrongProtector => "strongly protected" ,
@@ -445,7 +449,7 @@ impl<'history, 'ecx, 'tcx> DiagnosticCx<'history, 'ecx, 'tcx> {
445449 }
446450
447451 #[ inline( never) ] // This is only called on fatal code paths
448- pub fn dealloc_error ( & self , stack : & Stack ) -> InterpError < ' tcx > {
452+ pub fn dealloc_error ( & self , stack : & Stack ) -> InterpErrorKind < ' tcx > {
449453 let Operation :: Dealloc ( op) = & self . operation else {
450454 unreachable ! ( "dealloc_error should only be called during a deallocation" )
451455 } ;
0 commit comments