about summary refs log tree commit diff
diff options
context:
space:
mode:
authorhi-rustin <rustin.liu@gmail.com>2022-11-21 20:03:28 +0800
committerhi-rustin <rustin.liu@gmail.com>2022-11-21 20:03:28 +0800
commitfec6ffc8164692c9acc64078126275a2c2b99bcb (patch)
tree72221652b2c76ede6eff65e5275d34da6a8f0d6f
parenta60e267200c9cdfe8295855eb2d9ad02ad73a087 (diff)
downloadrust-fec6ffc8164692c9acc64078126275a2c2b99bcb.tar.gz
rust-fec6ffc8164692c9acc64078126275a2c2b99bcb.zip
Add delay span bug
Signed-off-by: hi-rustin <rustin.liu@gmail.com>
-rw-r--r--compiler/rustc_hir_typeck/src/intrinsicck.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_typeck/src/intrinsicck.rs b/compiler/rustc_hir_typeck/src/intrinsicck.rs
index c9878e381a9..c2dc1402465 100644
--- 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.