diff options
author | Florian Diebold <[email protected]> | 2019-08-25 18:28:32 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-09-02 13:56:38 +0100 |
commit | a7858bb7bf0a784d56b2b9ef97785a4fa78f7853 (patch) | |
tree | ffc29db397d35b9cfa55d2418db996dbf22e4995 /crates/ra_arena/src/lib.rs | |
parent | 6ecb36740a81445cf103577c3f9e9e6f831d0a1b (diff) |
Report type mismatches in analysis-stats
Only the number usually; each one individually when running with -v.
Diffstat (limited to 'crates/ra_arena/src/lib.rs')
0 files changed, 0 insertions, 0 deletions