diff options
Diffstat (limited to 'crates/hir_ty/src/diagnostics/expr.rs')
-rw-r--r-- | crates/hir_ty/src/diagnostics/expr.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/crates/hir_ty/src/diagnostics/expr.rs b/crates/hir_ty/src/diagnostics/expr.rs index ea70a5f9f..4d17e8c9a 100644 --- a/crates/hir_ty/src/diagnostics/expr.rs +++ b/crates/hir_ty/src/diagnostics/expr.rs | |||
@@ -378,7 +378,7 @@ impl<'a, 'b> ExprValidator<'a, 'b> { | |||
378 | } else { | 378 | } else { |
379 | &infer.type_of_expr[match_expr] | 379 | &infer.type_of_expr[match_expr] |
380 | }; | 380 | }; |
381 | eprintln!("ExprValidator::validate_match2({:?})", match_expr_ty.kind(&Interner)); | 381 | // eprintln!("ExprValidator::validate_match2({:?})", match_expr_ty.kind(&Interner)); |
382 | 382 | ||
383 | let pattern_arena = usefulness::PatternArena::clone_from(&body.pats); | 383 | let pattern_arena = usefulness::PatternArena::clone_from(&body.pats); |
384 | let cx = usefulness::MatchCheckCtx { | 384 | let cx = usefulness::MatchCheckCtx { |
@@ -408,6 +408,7 @@ impl<'a, 'b> ExprValidator<'a, 'b> { | |||
408 | // } | 408 | // } |
409 | 409 | ||
410 | let witnesses = report.non_exhaustiveness_witnesses; | 410 | let witnesses = report.non_exhaustiveness_witnesses; |
411 | eprintln!("compute_match_usefulness(..) -> {:?}", &witnesses); | ||
411 | if !witnesses.is_empty() { | 412 | if !witnesses.is_empty() { |
412 | if let Ok(source_ptr) = source_map.expr_syntax(id) { | 413 | if let Ok(source_ptr) = source_map.expr_syntax(id) { |
413 | let root = source_ptr.file_syntax(db.upcast()); | 414 | let root = source_ptr.file_syntax(db.upcast()); |