add safety text

nyurik · nyurik · commit 377594dcedf8 · 2024-02-20T01:11:16.000-05:00
diff --git a/library/core/src/fmt/mod.rs b/library/core/src/fmt/mod.rs
@@ -444,6 +444,7 @@ impl<'a> Arguments<'a> {
     #[inline]
     const fn as_const_str(&self) -> Option<&'static str> {
         let s = self.as_str();
+        // SAFETY: both cases are valid as the result
         if unsafe { core::intrinsics::is_val_statically_known(s.is_some()) } { s } else { None }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -444,6 +444,7 @@ impl<'a> Arguments<'a> {`
`444`	`444`	`#[inline]`
`445`	`445`	`const fn as_const_str(&self) -> Option<&'static str> {`
`446`	`446`	`let s = self.as_str();`
	`447`	`+ // SAFETY: both cases are valid as the result`
`447`	`448`	`if unsafe { core::intrinsics::is_val_statically_known(s.is_some()) } { s } else { None }`
`448`	`449`	`}`
`449`	`450`	`}`