aboutsummaryrefslogtreecommitdiff
path: root/crates
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-07-26 11:44:33 +0100
committerGitHub <[email protected]>2020-07-26 11:44:33 +0100
commit8ff40af7286b66294d8b64f0c8fdb3179a84be76 (patch)
treeb1b0217431debda56409d018a24a86b139d29312 /crates
parent4e21fc3136f18ad12a409db5ffe1307d9c431103 (diff)
parent524c2e9a7c2ce1270141bc1150346d72975facc7 (diff)
Merge #5538
5538: Report type errors in metrics r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates')
-rw-r--r--crates/rust-analyzer/src/cli/analysis_stats.rs4
1 files changed, 4 insertions, 0 deletions
diff --git a/crates/rust-analyzer/src/cli/analysis_stats.rs b/crates/rust-analyzer/src/cli/analysis_stats.rs
index 10327ebb9..ccc058682 100644
--- a/crates/rust-analyzer/src/cli/analysis_stats.rs
+++ b/crates/rust-analyzer/src/cli/analysis_stats.rs
@@ -276,12 +276,16 @@ pub fn analysis_stats(
276 num_exprs_unknown, 276 num_exprs_unknown,
277 if num_exprs > 0 { num_exprs_unknown * 100 / num_exprs } else { 100 } 277 if num_exprs > 0 { num_exprs_unknown * 100 / num_exprs } else { 100 }
278 ); 278 );
279 report_metric("unknown type", num_exprs_unknown, "#");
280
279 eprintln!( 281 eprintln!(
280 "Expressions of partially unknown type: {} ({}%)", 282 "Expressions of partially unknown type: {} ({}%)",
281 num_exprs_partially_unknown, 283 num_exprs_partially_unknown,
282 if num_exprs > 0 { num_exprs_partially_unknown * 100 / num_exprs } else { 100 } 284 if num_exprs > 0 { num_exprs_partially_unknown * 100 / num_exprs } else { 100 }
283 ); 285 );
286
284 eprintln!("Type mismatches: {}", num_type_mismatches); 287 eprintln!("Type mismatches: {}", num_type_mismatches);
288 report_metric("type mismatches", num_type_mismatches, "#");
285 289
286 let inference_time = inference_time.elapsed(); 290 let inference_time = inference_time.elapsed();
287 let total_memory = ra_prof::memory_usage(); 291 let total_memory = ra_prof::memory_usage();