warn! to bug!

lcnr · lcnr · commit a7a8b5b97c34 · 2023-10-23T16:53:11.000+02:00
diff --git a/compiler/rustc_infer/src/infer/nll_relate/mod.rs b/compiler/rustc_infer/src/infer/nll_relate/mod.rs
@@ -227,7 +227,7 @@ where
 
         let ty = value.may_be_infer();
         if ty.is_ty_var() {
-            warn!("occurs check failure in MIR typeck");
+            span_bug!(self.delegate.span(), "occurs check failure in MIR typeck");
         }
         Ok(ty)
     }

Original file line number	Diff line number	Diff line change
`@@ -227,7 +227,7 @@ where`
`227`	`227`
`228`	`228`	`let ty = value.may_be_infer();`
`229`	`229`	`if ty.is_ty_var() {`
`230`		`- warn!("occurs check failure in MIR typeck");`
	`230`	`+ span_bug!(self.delegate.span(), "occurs check failure in MIR typeck");`
`231`	`231`	`}`
`232`	`232`	`Ok(ty)`
`233`	`233`	`}`