X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Ftools%2Fmiri%2Ftests%2Ffail%2Fstacked_borrows%2Fdrop_in_place_retag.rs;h=8180e2f03a79c4c05c62a340283e74839ea79406;hb=bb08f37a1c086697b12aeca43e0f78bc665719da;hp=e7d256b686d1d92dff494a369437cbf7ae1b644e;hpb=c359ab0b5d0dbaab1a995d7aa9fb9c6512bb837b;p=rust.git

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 e7d256b686d..8180e2f03a7 100644
--- 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/