Make the ICEs in the mir typechecker have more spans helpful

oli-obk · oli-obk · commit 9909cb902f76 · 2022-11-25T08:01:12.000Z
diff --git a/compiler/rustc_const_eval/src/transform/validate.rs b/compiler/rustc_const_eval/src/transform/validate.rs
@@ -81,6 +81,7 @@ struct TypeChecker<'a, 'tcx> {
 }
 
 impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
+    #[track_caller]
     fn fail(&self, location: Location, msg: impl AsRef<str>) {
         let span = self.body.source_info(location).span;
         // We use `delay_span_bug` as we might see broken MIR when other errors have already

Original file line number	Diff line number	Diff line change
`@@ -81,6 +81,7 @@ struct TypeChecker<'a, 'tcx> {`
`81`	`81`	`}`
`82`	`82`
`83`	`83`	`impl<'a, 'tcx> TypeChecker<'a, 'tcx> {`
	`84`	`+ #[track_caller]`
`84`	`85`	`fn fail(&self, location: Location, msg: impl AsRef<str>) {`
`85`	`86`	`let span = self.body.source_info(location).span;`
`86`	`87`	// We use `delay_span_bug` as we might see broken MIR when other errors have already