@@ -7,7 +7,7 @@ use rustc_middle::mir::AssertKind;
77use rustc_middle:: query:: TyCtxtAt ;
88use rustc_middle:: ty:: TyCtxt ;
99use rustc_middle:: ty:: { layout:: LayoutError , ConstInt } ;
10- use rustc_span:: { Span , Symbol , DUMMY_SP } ;
10+ use rustc_span:: { Span , Symbol } ;
1111
1212use super :: CompileTimeInterpreter ;
1313use crate :: errors:: { self , FrameNote , ReportErrorExt } ;
@@ -121,7 +121,7 @@ where
121121pub ( super ) fn report < ' tcx , C , F , E > (
122122 tcx : TyCtxt < ' tcx > ,
123123 error : InterpError < ' tcx > ,
124- span : Option < Span > ,
124+ span : Span ,
125125 get_span_and_frames : C ,
126126 mk : F ,
127127) -> ErrorHandled
@@ -135,16 +135,16 @@ where
135135 // Don't emit a new diagnostic for these errors, they are already reported elsewhere or
136136 // should remain silent.
137137 err_inval ! ( Layout ( LayoutError :: Unknown ( _) ) ) | err_inval ! ( TooGeneric ) => {
138- ErrorHandled :: TooGeneric ( span. unwrap_or ( DUMMY_SP ) )
138+ ErrorHandled :: TooGeneric ( span)
139139 }
140- err_inval ! ( AlreadyReported ( guar) ) => ErrorHandled :: Reported ( guar, span. unwrap_or ( DUMMY_SP ) ) ,
140+ err_inval ! ( AlreadyReported ( guar) ) => ErrorHandled :: Reported ( guar, span) ,
141141 err_inval ! ( Layout ( LayoutError :: ReferencesError ( guar) ) ) => {
142- ErrorHandled :: Reported ( guar. into ( ) , span. unwrap_or ( DUMMY_SP ) )
142+ ErrorHandled :: Reported ( guar. into ( ) , span)
143143 }
144144 // Report remaining errors.
145145 _ => {
146146 let ( our_span, frames) = get_span_and_frames ( ) ;
147- let span = span. unwrap_or ( our_span) ;
147+ let span = span. substitute_dummy ( our_span) ;
148148 let err = mk ( span, frames) ;
149149 let mut err = tcx. dcx ( ) . create_err ( err) ;
150150
0 commit comments