From 4cce7a6407821f456741a8d512ae31da3128c84f Mon Sep 17 00:00:00 2001 From: Dawer <7803845+iDawer@users.noreply.github.com> Date: Wed, 12 May 2021 11:04:56 +0500 Subject: Box field detection; test #[non-exhaustive] attribute --- crates/hir_ty/src/diagnostics/match_check/usefulness.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'crates/hir_ty/src/diagnostics/match_check/usefulness.rs') diff --git a/crates/hir_ty/src/diagnostics/match_check/usefulness.rs b/crates/hir_ty/src/diagnostics/match_check/usefulness.rs index b01e3557c..44e08b6e9 100644 --- a/crates/hir_ty/src/diagnostics/match_check/usefulness.rs +++ b/crates/hir_ty/src/diagnostics/match_check/usefulness.rs @@ -293,7 +293,7 @@ pub(crate) struct MatchCheckCtx<'a> { pub(crate) match_expr: ExprId, pub(crate) infer: &'a InferenceResult, pub(crate) db: &'a dyn HirDatabase, - /// Lowered patterns from self.body.pats plus generated by the check. + /// Lowered patterns from arms plus generated by the check. pub(crate) pattern_arena: &'a RefCell, } @@ -315,7 +315,7 @@ impl<'a> MatchCheckCtx<'a> { // Rust feature described as "Allows exhaustive pattern matching on types that contain uninhabited types." pub(super) fn feature_exhaustive_patterns(&self) -> bool { - // TODO + // FIXME see MatchCheckCtx::is_uninhabited false } -- cgit v1.2.3