Rollup merge of #125932 - schvv31n:patch-1, r=lqd · model-checking/verify-rust-std@f8ee355

Original file line numberDiff line numberDiff line change

@@ -1218,7 +1218,7 @@ where

12181218

/// will cause the map to produce seemingly random results. Higher-level and

12191219

/// more foolproof APIs like `entry` should be preferred when possible.

12201220

///

1221-

/// In particular, the hash used to initialized the raw entry must still be

1221+

/// In particular, the hash used to initialize the raw entry must still be

12221222

/// consistent with the hash of the key that is ultimately stored in the entry.

12231223

/// This is because implementations of HashMap may need to recompute hashes

12241224

/// when resizing, at which point only the keys are available.