message: Don't run `Drop` terminators on types that do not have drop glue in const eval
diff: -//! 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/
  