diff options
| author | bors <bors@rust-lang.org> | 2019-06-02 17:25:58 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-06-02 17:25:58 +0000 |
| commit | 627486af15d222bcba336b12ea92a05237cc9ab1 (patch) | |
| tree | 1db4ce378bb5e4c850fcf5fa2a608208b30359b5 /src/libsyntax/source_map.rs | |
| parent | d461555e443a07bc75564b8322dc461efe7cea7c (diff) | |
| parent | 823ffaa834bde2fb0daabd010c369aae561fb765 (diff) | |
| download | rust-627486af15d222bcba336b12ea92a05237cc9ab1.tar.gz rust-627486af15d222bcba336b12ea92a05237cc9ab1.zip | |
Auto merge of #61278 - RalfJung:miri-tag-allocations, r=oli-obk
Miri: give machine the chance to tag all allocations r? @oli-obk The Miri side of this is at https://github.com/rust-lang/rust/pull/61278.
Diffstat (limited to 'src/libsyntax/source_map.rs')
0 files changed, 0 insertions, 0 deletions