Rollup merge of #126703 - the8472:on-blackbox-crypto-use, r=scottmcm · model-checking/verify-rust-std@b6a3858

Original file line numberDiff line numberDiff line change

@@ -263,7 +263,7 @@ pub fn spin_loop() {

263263

/// extent to which it can block optimisations may vary depending upon the platform and code-gen

264264

/// backend used. Programs cannot rely on `black_box` for *correctness*, beyond it behaving as the

265265

/// 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

267267

/// purposes.

268268

///

269269

/// [`std::convert::identity`]: crate::convert::identity