summary refs log tree commit diff
path: root/src/tools/miri
blob: 0db40903769f38669936c5ebb0b882b18c27f449 (plain)
1
2
3
4
5
6
7
8
9
tree 89e925482e53aeeab15e80877619457eecd29ef0
parent 2ba1e843c1571f6a5d7ee0c770577034fbc0f167
parent ec66d2934be8496ca75c72d6baf0cfaf923632bd
author bors <bors@rust-lang.org> 1644664777 +0000
committer bors <bors@rust-lang.org> 1644664777 +0000

Auto merge of #1974 - RalfJung:const, r=RalfJung

implement const_deallocate as a NOP