Rollup merge of #73771 - alexcrichton:ignore-unstable, r=estebank,GuillaumeGomez

[rust.git] / src / libcore / hint.rs

diff --git a/src/libcore/hint.rs b/src/libcore/hint.rs
index 0d794de5fe84b3233d904382b15959203c126b33..9ebcde79b633d3ea0492f5c90991a1d803e15e0f 100644 (file)
--- a/src/libcore/hint.rs
+++ b/src/libcore/hint.rs
@@ -46,7 +46,9 @@
 #[inline]
 #[stable(feature = "unreachable", since = "1.27.0")]
 pub unsafe fn unreachable_unchecked() -> ! {
-    intrinsics::unreachable()
+    // SAFETY: the safety contract for `intrinsics::unreachable` must
+    // be upheld by the caller.
+    unsafe { intrinsics::unreachable() }
 }
 
 /// Emits a machine instruction hinting to the processor that it is running in busy-wait