@@ -7,7 +7,7 @@ use rustc_middle::mir::AssertKind;
7
7
use rustc_middle:: query:: TyCtxtAt ;
8
8
use rustc_middle:: ty:: TyCtxt ;
9
9
use rustc_middle:: ty:: { layout:: LayoutError , ConstInt } ;
10
- use rustc_span:: { Span , Symbol , DUMMY_SP } ;
10
+ use rustc_span:: { Span , Symbol } ;
11
11
12
12
use super :: CompileTimeInterpreter ;
13
13
use crate :: errors:: { self , FrameNote , ReportErrorExt } ;
@@ -121,7 +121,7 @@ where
121
121
pub ( super ) fn report < ' tcx , C , F , E > (
122
122
tcx : TyCtxt < ' tcx > ,
123
123
error : InterpError < ' tcx > ,
124
- span : Option < Span > ,
124
+ span : Span ,
125
125
get_span_and_frames : C ,
126
126
mk : F ,
127
127
) -> ErrorHandled
@@ -135,16 +135,16 @@ where
135
135
// Don't emit a new diagnostic for these errors, they are already reported elsewhere or
136
136
// should remain silent.
137
137
err_inval ! ( Layout ( LayoutError :: Unknown ( _) ) ) | err_inval ! ( TooGeneric ) => {
138
- ErrorHandled :: TooGeneric ( span. unwrap_or ( DUMMY_SP ) )
138
+ ErrorHandled :: TooGeneric ( span)
139
139
}
140
- err_inval ! ( AlreadyReported ( guar) ) => ErrorHandled :: Reported ( guar, span. unwrap_or ( DUMMY_SP ) ) ,
140
+ err_inval ! ( AlreadyReported ( guar) ) => ErrorHandled :: Reported ( guar, span) ,
141
141
err_inval ! ( Layout ( LayoutError :: ReferencesError ( guar) ) ) => {
142
- ErrorHandled :: Reported ( guar. into ( ) , span. unwrap_or ( DUMMY_SP ) )
142
+ ErrorHandled :: Reported ( guar. into ( ) , span)
143
143
}
144
144
// Report remaining errors.
145
145
_ => {
146
146
let ( our_span, frames) = get_span_and_frames ( ) ;
147
- let span = span. unwrap_or ( our_span) ;
147
+ let span = span. substitute_dummy ( our_span) ;
148
148
let err = mk ( span, frames) ;
149
149
let mut err = tcx. dcx ( ) . create_err ( err) ;
150
150
0 commit comments