Rollup merge of #106146 - kadiwa4:readme-x-py, r=jyn514

[rust.git] / src / tools / miri / tests / fail / stacked_borrows / drop_in_place_retag.rs

diff --git a/src/tools/miri/tests/fail/stacked_borrows/drop_in_place_retag.rs b/src/tools/miri/tests/fail/stacked_borrows/drop_in_place_retag.rs
index e7d256b686d1d92dff494a369437cbf7ae1b644e..8180e2f03a79c4c05c62a340283e74839ea79406 100644 (file)
--- a/src/tools/miri/tests/fail/stacked_borrows/drop_in_place_retag.rs
+++ b/src/tools/miri/tests/fail/stacked_borrows/drop_in_place_retag.rs
@@ -1,5 +1,5 @@
-//! Test that drop_in_place mutably retags the entire place,
-//! ensuring it is writeable
+//! Test that drop_in_place mutably retags the entire place, even for a type that does not need
+//! dropping, ensuring among other things that it is writeable
 
 //@error-pattern: /retag .* for Unique permission .* only grants SharedReadOnly permission/