reword the hint::blackbox non-guarantees · model-checking/verify-rust-std@4ae781c (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -263,7 +263,7 @@ pub fn spin_loop() {
263	263	/// extent to which it can block optimisations may vary depending upon the platform and code-gen
264	264	/// backend used. Programs cannot rely on `black_box` for correctness, beyond it behaving as the
265	265	/// identity function. As such, it must not be relied upon to control critical program behavior.
266		-/// This _immediately_ precludes any direct use of this function for cryptographic or security
	266	+/// This also means that this function does not offer any guarantees for cryptographic or security
267	267	/// purposes.
268	268	///
269	269	/// [`std::convert::identity`]: crate::convert::identity