Box field detection; test #[non-exhaustive] attribute

1 files changed, 2 insertions, 2 deletions

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<PatternArena>,
 }
 
@@ -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
     }