diff options
| author | Patryk Wychowaniec <pwychowaniec@pm.me> | 2021-01-02 19:45:11 +0100 |
|---|---|---|
| committer | Patryk Wychowaniec <pwychowaniec@pm.me> | 2021-01-10 13:07:40 +0100 |
| commit | 2c6dc8801fca12415ae73895cd81225008f427a8 (patch) | |
| tree | e05325bd54b46eaa34318732a5184884d83ed046 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 9e45a23ab9d0fb48f69405d580f44151783e18f3 (diff) | |
| download | rust-2c6dc8801fca12415ae73895cd81225008f427a8.tar.gz rust-2c6dc8801fca12415ae73895cd81225008f427a8.zip | |
Rework diagnostics for wrong number of generic args
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions