diff --git a/crates/hir-ty/src/diagnostics/match_check/usefulness.rs b/crates/hir-ty/src/diagnostics/match_check/usefulness.rs
index e8a13955d2..1221327b95 100644
--- a/crates/hir-ty/src/diagnostics/match_check/usefulness.rs
+++ b/crates/hir-ty/src/diagnostics/match_check/usefulness.rs
@@ -326,7 +326,7 @@ pub(super) struct PatCtxt<'a, 'p> {
     /// Whether the current pattern is the whole pattern as found in a match arm, or if it's a
     /// subpattern.
     pub(super) is_top_level: bool,
-    /// Wether the current pattern is from a `non_exhaustive` enum.
+    /// Whether the current pattern is from a `non_exhaustive` enum.
     pub(super) is_non_exhaustive: bool,
 }
 
diff --git a/crates/hir-ty/src/infer/expr.rs b/crates/hir-ty/src/infer/expr.rs
index defceefc79..3cb7afef74 100644
--- a/crates/hir-ty/src/infer/expr.rs
+++ b/crates/hir-ty/src/infer/expr.rs
@@ -868,7 +868,7 @@ impl<'a> InferenceContext<'a> {
                 match rhs_ty.kind(Interner) {
                     TyKind::Array(_, _) => rhs_ty.clone(),
                     // Even when `rhs_ty` is not an array type, this assignee
-                    // expression is infered to be an array (of unknown element
+                    // expression is inferred to be an array (of unknown element
                     // type and length). This should not be just an error type,
                     // because we are to compute the unifiability of this type and
                     // `rhs_ty` in the end of this function to issue type mismatches.