diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-06-26 09:32:15 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-06-26 09:34:52 +0000 |
| commit | 1c992c0b1c9b106c755d6ed4dce89ec285216486 (patch) | |
| tree | aab54fea68dac2bd5e68df3a076ef8f9fdf49552 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | acdfec60615ffe82658f3c782ae36e6f481d4e75 (diff) | |
| download | rust-1c992c0b1c9b106c755d6ed4dce89ec285216486.tar.gz rust-1c992c0b1c9b106c755d6ed4dce89ec285216486.zip | |
Assert that we don't convert unevaluated MIR promoteds to unevaluated type constants
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions