Auto merge of #12679 - a-kenji:fix-typos-hir, r=lnicola

fix: typos in hir-ty
This commit is contained in:
bors 2022-07-02 15:28:29 +00:00
commit 30680df3cc
2 changed files with 2 additions and 2 deletions

View file

@ -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 /// Whether the current pattern is the whole pattern as found in a match arm, or if it's a
/// subpattern. /// subpattern.
pub(super) is_top_level: bool, 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, pub(super) is_non_exhaustive: bool,
} }

View file

@ -868,7 +868,7 @@ impl<'a> InferenceContext<'a> {
match rhs_ty.kind(Interner) { match rhs_ty.kind(Interner) {
TyKind::Array(_, _) => rhs_ty.clone(), TyKind::Array(_, _) => rhs_ty.clone(),
// Even when `rhs_ty` is not an array type, this assignee // 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, // type and length). This should not be just an error type,
// because we are to compute the unifiability of this type and // because we are to compute the unifiability of this type and
// `rhs_ty` in the end of this function to issue type mismatches. // `rhs_ty` in the end of this function to issue type mismatches.