mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove unnecessary argument

Browse Source
This commit is contained in:
iDawer 2023-03-10 16:35:04 +05:00
parent c38aa5f4f0
commit 8f189f62c6
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
crates/hir-ty/src/diagnostics/expr.rs
View File

@ -84,7 +84,7 @@ fn validate_body(&mut self, db: &dyn HirDatabase) {
match expr {
Expr::Match { expr, arms } => {
self.validate_match(id, *expr, arms, db, self.infer.clone());
self.validate_match(id, *expr, arms, db);
}
Expr::Call { .. } | Expr::MethodCall { .. } => {
self.validate_call(db, id, expr, &mut filter_map_next_checker);
@ -151,11 +151,10 @@ fn validate_match(
match_expr: ExprId,
arms: &[MatchArm],
db: &dyn HirDatabase,
infer: Arc<InferenceResult>,
) {
let body = db.body(self.owner);
let match_expr_ty = &infer[match_expr];
let match_expr_ty = &self.infer[match_expr];
if match_expr_ty.is_unknown() {
return;
}
@ -166,7 +165,7 @@ fn validate_match(
let mut m_arms = Vec::with_capacity(arms.len());
let mut has_lowering_errors = false;
for arm in arms {
if let Some(pat_ty) = infer.type_of_pat.get(arm.pat) {
if let Some(pat_ty) = self.infer.type_of_pat.get(arm.pat) {
// We only include patterns whose type matches the type
// of the match expression. If we had an InvalidMatchArmPattern
// diagnostic or similar we could raise that in an else
@ -182,7 +181,7 @@ fn validate_match(
.as_reference()
.map(|(match_expr_ty, ..)| match_expr_ty == pat_ty)
.unwrap_or(false))
&& types_of_subpatterns_do_match(arm.pat, &body, &infer)
&& types_of_subpatterns_do_match(arm.pat, &body, &self.infer)
{
// If we had a NotUsefulMatchArm diagnostic, we could
// check the usefulness of each pattern as we added it