Delay a good path bug for TypeErrCtxt

compiler-errors · compiler-errors · commit 556062ea6e11 · 2023-04-18T04:06:27.000Z
diff --git a/compiler/rustc_infer/src/infer/error_reporting/mod.rs b/compiler/rustc_infer/src/infer/error_reporting/mod.rs
@@ -74,7 +74,6 @@ use rustc_middle::ty::{
     self, error::TypeError, List, Region, Ty, TyCtxt, TypeFoldable, TypeSuperVisitable,
     TypeVisitable, TypeVisitableExt,
 };
-use rustc_span::DUMMY_SP;
 use rustc_span::{sym, symbol::kw, BytePos, DesugaringKind, Pos, Span};
 use rustc_target::spec::abi;
 use std::ops::{ControlFlow, Deref};
@@ -138,7 +137,7 @@ impl Drop for TypeErrCtxt<'_, '_> {
             self.infcx
                 .tcx
                 .sess
-                .delay_span_bug(DUMMY_SP, "used a `TypeErrCtxt` without failing compilation");
+                .delay_good_path_bug("used a `TypeErrCtxt` without raising an error or lint");
         }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -74,7 +74,6 @@ use rustc_middle::ty::{`
`74`	`74`	`self, error::TypeError, List, Region, Ty, TyCtxt, TypeFoldable, TypeSuperVisitable,`
`75`	`75`	`TypeVisitable, TypeVisitableExt,`
`76`	`76`	`};`
`77`		`-use rustc_span::DUMMY_SP;`
`78`	`77`	`use rustc_span::{sym, symbol::kw, BytePos, DesugaringKind, Pos, Span};`
`79`	`78`	`use rustc_target::spec::abi;`
`80`	`79`	`use std::ops::{ControlFlow, Deref};`
`@@ -138,7 +137,7 @@ impl Drop for TypeErrCtxt<'_, '_> {`
`138`	`137`	`self.infcx`
`139`	`138`	`.tcx`
`140`	`139`	`.sess`
`141`		- .delay_span_bug(DUMMY_SP, "used a `TypeErrCtxt` without failing compilation");
	`140`	+ .delay_good_path_bug("used a `TypeErrCtxt` without raising an error or lint");
`142`	`141`	`}`
`143`	`142`	`}`
`144`	`143`	`}`