diff options
| author | Chayim Refael Friedman <chayimfr@gmail.com> | 2025-06-23 00:45:40 +0300 |
|---|---|---|
| committer | Chayim Refael Friedman <chayimfr@gmail.com> | 2025-06-23 00:45:40 +0300 |
| commit | 47b29ea0c0df9bf30b16e5674cd5745554b6069a (patch) | |
| tree | a3df2dffd086320c3262ddf7e9740c26db2b2836 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 9a0434ec195f6cbe3b84fd6d6275f142414f41f7 (diff) | |
| download | rust-47b29ea0c0df9bf30b16e5674cd5745554b6069a.tar.gz rust-47b29ea0c0df9bf30b16e5674cd5745554b6069a.zip | |
In "Wrap return type" assist, don't wrap exit points if they already have the right type
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions