diff options
| author | León Orell Valerian Liehr <me@fmease.dev> | 2024-01-03 09:24:42 +0100 |
|---|---|---|
| committer | León Orell Valerian Liehr <me@fmease.dev> | 2024-01-03 09:25:27 +0100 |
| commit | 695a02e0d8a532cd4ec44fe438a0ba5da59b76fc (patch) | |
| tree | 90a89d6590bd0eb595fb0563b42fc4921518042a /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | e51e98dde6a60637b6a71b8105245b629ac3fe77 (diff) | |
| download | rust-695a02e0d8a532cd4ec44fe438a0ba5da59b76fc.tar.gz rust-695a02e0d8a532cd4ec44fe438a0ba5da59b76fc.zip | |
Don't synthesize host effect args inside trait object types
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions