fix: typos in hir-ty

This commit is contained in:
a-kenji 2022-07-02 17:19:06 +02:00
parent d4b79ad77b
commit f2963cf8ff
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.