diff options
| author | Michael Goulet <michael@errs.io> | 2024-01-19 20:04:14 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-01-22 16:50:30 +0000 |
| commit | 0c83e434e155433890ab5f4c6436473e440aa586 (patch) | |
| tree | 1e009be99aa1530382508615363d092a7f0b8819 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | d390c002aec16d3b4bd053b3c3dfa66543590979 (diff) | |
| download | rust-0c83e434e155433890ab5f4c6436473e440aa586.tar.gz rust-0c83e434e155433890ab5f4c6436473e440aa586.zip | |
Do not normalize closure signature when building FnOnce shim
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions