diff options
| author | Michael Goulet <michael@errs.io> | 2021-11-30 17:20:38 -0800 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2021-12-20 19:50:15 -0800 |
| commit | f83508592b603eb56dadd333397c07e485c902ae (patch) | |
| tree | 150babb2589d3e8c96c9316996be27aa29286538 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | c327627a684215b6fed9dd5ab470b56c48d34080 (diff) | |
| download | rust-f83508592b603eb56dadd333397c07e485c902ae.tar.gz rust-f83508592b603eb56dadd333397c07e485c902ae.zip | |
Suggest glob-import if we need to import a trait, but it has no visible name
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions