summary refs log tree commit diff
path: root/src/tools/miri
blob: 655eed35b7ca7cae08f21ead6151b9dfb69794ff (plain)
1
2
3
4
5
6
7
8
9
10
11
tree 302419ac9fb3ef9f80e07a97e2a240968810151f
parent 35023f50c05896b703dc736b2dc56f7a776a095e
parent 1b214a0d128779a03accff4e9426edb7c570082c
author bors <bors@rust-lang.org> 1655933981 +0000
committer bors <bors@rust-lang.org> 1655933981 +0000

Auto merge of #2248 - RalfJung:arc-drop-fix, r=RalfJung

do not protect SRW items

This is the Miri version of https://github.com/rust-lang/rust/pull/98017.