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.rs | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/crates/hir_ty/src/diagnostics/expr.rs b/crates/hir_ty/src/diagnostics/expr.rs index 7e1bf9ceea..d3a0100123 100644 --- a/crates/hir_ty/src/diagnostics/expr.rs +++ b/crates/hir_ty/src/diagnostics/expr.rs @@ -224,7 +224,7 @@ impl ExprValidator { Some(it) => it, None => return, }; - let sig = db.callable_item_signature(callee.into()).substitute(&Interner, &subst); + let sig = db.callable_item_signature(callee.into()).substitute(Interner, &subst); (sig, args.len() + 1) } @@ -389,7 +389,7 @@ impl ExprValidator { _ => return, }; - let (params, required) = match mismatch.expected.kind(&Interner) { + let (params, required) = match mismatch.expected.kind(Interner) { TyKind::Adt(AdtId(hir_def::AdtId::EnumId(enum_id)), parameters) if *enum_id == core_result_enum => { @@ -403,8 +403,7 @@ impl ExprValidator { _ => return, }; - if params.len(&Interner) > 0 - && params.at(&Interner, 0).ty(&Interner) == Some(&mismatch.actual) + if params.len(Interner) > 0 && params.at(Interner, 0).ty(Interner) == Some(&mismatch.actual) { self.diagnostics .push(BodyValidationDiagnostic::MissingOkOrSomeInTailExpr { expr: id, required }); @@ -520,8 +519,8 @@ fn check_missing_refs( (None, Some((referenced_ty, _, mutability))) if referenced_ty == arg_ty => { Some((arg, Mutability::from_mutable(matches!(mutability, chalk_ir::Mutability::Mut)))) } - (None, Some((referenced_ty, _, mutability))) => match referenced_ty.kind(&Interner) { - TyKind::Slice(subst) if matches!(arg_ty.kind(&Interner), TyKind::Array(arr_subst, _) if arr_subst == subst) => { + (None, Some((referenced_ty, _, mutability))) => match referenced_ty.kind(Interner) { + TyKind::Slice(subst) if matches!(arg_ty.kind(Interner), TyKind::Array(arr_subst, _) if arr_subst == subst) => { Some(( arg, Mutability::from_mutable(matches!(mutability, chalk_ir::Mutability::Mut)), |