tree 7f3cb6accf7fcbecff65898662fc4093c548febb
parent a8aa5114bf13d9c6b2b870c5bf63eab8e70a0018
parent 686170e87de3493e86fee3a74e10263026fabbbb
author Tyler Mandry <tmandry@gmail.com> 1568780843 -0700
committer GitHub <noreply@github.com> 1568780843 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdgbIsCRBK7hj4Ov3rIwAAdHIIAF8tc8hWtvlk7UsRDH5cDaeK
 Qt3UUIa7Q9+UhOyIbKCuGxF9it72w/0EVAisSgoEdz90y3eQKmXOPdfSlogwV5VH
 A7juyFhOSYwmYVjqdKVsZkHPb8X0AzyNskHczojcsRYYvH+jXJjkarz+Ki6M1I9j
 3XwQaQR5V+mVpHwn1YMgEPRwX4p3GRjdH/YobZ0nz/GY6HsYuQoH5swlRKTOTUH3
 CqY5DKJzgze3lGjACbkSkTEIOdAPrC02WR+17MZdhdKGrQCRE54w85zzmG1HzGjR
 Dcpj+uV6auq1392yyhMrEHBF2Fve9q0XaKn37gxPjAFdKwwnQlrhTIz9uRW/05w=
 =DLwP
 -----END PGP SIGNATURE-----
 

Rollup merge of #64503 - RalfJung:miri-retag, r=oli-obk

rename Allocation::retag -> with_tags_and_extra

This is more consistent with `Pointer::with_tag`. Also, "retag" is a [term from Stacked Borrows](https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md#retagging) with a [corresponding Machine hook](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/interpret/machine/trait.Machine.html#method.retag), and this function has nothing to do with that other use of the term.

r? @oli-obk