Add delay span bug

0xPoe · 0xPoe · commit fec6ffc81646 · 2022-11-21T20:03:28.000+08:00
Signed-off-by: hi-rustin &lt;rustin.liu@gmail.com&gt;
diff --git a/compiler/rustc_hir_typeck/src/intrinsicck.rs b/compiler/rustc_hir_typeck/src/intrinsicck.rs
@@ -47,7 +47,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
         let to = normalize(to);
         trace!(?from, ?to);
         if from.has_non_region_infer() || to.has_non_region_infer() {
-            // We can't check anything if there are inference variables.
+            tcx.sess.delay_span_bug(span, "argument to transmute has inference variables");
             return;
         }
         // Transmutes that are only changing lifetimes are always ok.

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`47`	`47`	`let to = normalize(to);`
`48`	`48`	`trace!(?from, ?to);`
`49`	`49`	`if from.has_non_region_infer() \|\| to.has_non_region_infer() {`
`50`		`- // We can't check anything if there are inference variables.`
	`50`	`+ tcx.sess.delay_span_bug(span, "argument to transmute has inference variables");`
`51`	`51`	`return;`
`52`	`52`	`}`
`53`	`53`	`// Transmutes that are only changing lifetimes are always ok.`