Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/diagnostics/expr.rs')
-rw-r--r--crates/hir-ty/src/diagnostics/expr.rs17
1 files changed, 2 insertions, 15 deletions
diff --git a/crates/hir-ty/src/diagnostics/expr.rs b/crates/hir-ty/src/diagnostics/expr.rs
index 67cfbc294d..20b0da441d 100644
--- a/crates/hir-ty/src/diagnostics/expr.rs
+++ b/crates/hir-ty/src/diagnostics/expr.rs
@@ -11,7 +11,6 @@ use hir_def::{ItemContainerId, Lookup};
use hir_expand::name;
use itertools::Itertools;
use rustc_hash::FxHashSet;
-use rustc_pattern_analysis::usefulness::{compute_match_usefulness, ValidityConstraint};
use syntax::{ast, AstNode};
use tracing::debug;
use triomphe::Arc;
@@ -234,13 +233,7 @@ impl ExprValidator {
return;
}
- let report = match compute_match_usefulness(
- &cx,
- m_arms.as_slice(),
- scrut_ty.clone(),
- ValidityConstraint::ValidOnly,
- None,
- ) {
+ let report = match cx.compute_match_usefulness(m_arms.as_slice(), scrut_ty.clone()) {
Ok(report) => report,
Err(()) => return,
};
@@ -282,13 +275,7 @@ impl ExprValidator {
continue;
}
- let report = match compute_match_usefulness(
- &cx,
- &[match_arm],
- ty.clone(),
- ValidityConstraint::ValidOnly,
- None,
- ) {
+ let report = match cx.compute_match_usefulness(&[match_arm], ty.clone()) {
Ok(v) => v,
Err(e) => {
debug!(?e, "match usefulness error");