diff options
| author | Lieselotte <52315535+she3py@users.noreply.github.com> | 2023-12-28 15:02:17 +0100 |
|---|---|---|
| committer | Lieselotte <52315535+she3py@users.noreply.github.com> | 2023-12-28 15:02:17 +0100 |
| commit | 7d6cd6bf1f780a7ce8487daa27eae82fd60bfcd7 (patch) | |
| tree | 78d3d5f928cbd1464e6cd05a7e66588405eaf94c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | f4d794ea0b845413344621d89f6c945062748485 (diff) | |
| download | rust-7d6cd6bf1f780a7ce8487daa27eae82fd60bfcd7.tar.gz rust-7d6cd6bf1f780a7ce8487daa27eae82fd60bfcd7.zip | |
Don't expect bodyless arms if the pattern can never be a never pattern
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions