guaranteed non guarantee

oli-obk · RalfJung · NCGThompson · commit ca0af9e21ae7 · 2024-01-09T23:47:13.000-05:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/tests/ui/consts/is_val_statically_known.rs b/tests/ui/consts/is_val_statically_known.rs
@@ -9,6 +9,7 @@ const CONST_TEST: bool = unsafe { is_val_statically_known(0) };
 
 fn main() {
     if CONST_TEST {
-        unreachable!("guaranteed to return false during const eval");
+        unreachable!("currently expected to return false during const eval");
+        // but note that this is not a guarantee!
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -9,6 +9,7 @@ const CONST_TEST: bool = unsafe { is_val_statically_known(0) };`
`9`	`9`
`10`	`10`	`fn main() {`
`11`	`11`	`if CONST_TEST {`
`12`		`- unreachable!("guaranteed to return false during const eval");`
	`12`	`+ unreachable!("currently expected to return false during const eval");`
	`13`	`+ // but note that this is not a guarantee!`
`13`	`14`	`}`
`14`	`15`	`}`