Apply suggestions from code review

Co-authored-by: Ralf Jung <post@ralfj.de>

Author: nia-e

compiler/rustc_middle/src/mir/interpret/allocation.rs

@@ -812,11 +812,10 @@ impl<Prov: Provenance, Extra, Bytes: AllocBytes> Allocation<Prov, Extra, Bytes>
         self.mark_foreign_write(full_range);
     }
 
-    /// Mark all bytes in the given range as initialised, setting provenances
+    /// Mark all bytes in the given range as initialised and reset the provenance
     /// to wildcards. This entirely breaks the normal mechanisms for tracking
     /// initialisation and is only provided for Miri operating in native-lib
-    /// mode. Only call this if you're certain the underlying bytes were in
-    /// fact actually initialised!
+    /// mode. UB will be missed if the underlying bytes were not actually initialized.
     pub fn mark_foreign_write(&mut self, range: AllocRange) {
         self.mark_init(range, true);
         self.provenance.write_wildcards(range);