diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-03-17 19:26:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-17 19:26:21 +0100 |
| commit | 3fbe203cc121f1af6690b4cef2ec67be6ac81e6d (patch) | |
| tree | 4ea824035b78779f9ddb5fa9db68ad4ec5b64ba2 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 5c761d8cfe76e2a5a1840193d545b5e415c621c2 (diff) | |
| parent | fefd06dc02eea5c5bd96aedce17a5e58c8645f9a (diff) | |
| download | rust-3fbe203cc121f1af6690b4cef2ec67be6ac81e6d.tar.gz rust-3fbe203cc121f1af6690b4cef2ec67be6ac81e6d.zip | |
Rollup merge of #122572 - the8472:test-const-deadness, r=RalfJung
add test for #122301 to cover behavior that's on stable If this ought to be broken it should at least happen intentionally See #122301
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions