Make caveat more precise

rust-lang · May 19, 2020 · d7e1d5f · d7e1d5f
1 parent 159f48c
commit d7e1d5f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/librustc_mir_build/hair/pattern/_match.rs b/src/librustc_mir_build/hair/pattern/_match.rs
@@ -65,8 +65,7 @@
 ///
 /// Caveat: this constructors/fields distinction doesn't quite cover every Rust value. For example
 /// a value of type `Rc<u64>` doesn't fit this idea very well, nor do various other things.
-/// However, this idea covers everything that can be pattern-matched, and this is all we need for
-/// exhaustiveness checking.
+/// However, this idea covers most of the cases that are relevant to exhaustiveness checking.
 ///
 ///
 /// # Algorithm