diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2020-05-19 17:02:31 +0100 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2020-05-19 17:02:31 +0100 |
| commit | d7e1d5f0c275c6e876f97a3d95d27a020bc88046 (patch) | |
| tree | 8e1355cb19a500aa72a23a7e81b93145a168d1a0 | |
| parent | 159f48cdc287047b06bd97751b22a5a423d6945e (diff) | |
| download | rust-d7e1d5f0c275c6e876f97a3d95d27a020bc88046.tar.gz rust-d7e1d5f0c275c6e876f97a3d95d27a020bc88046.zip | |
Make caveat more precise
| -rw-r--r-- | src/librustc_mir_build/hair/pattern/_match.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/librustc_mir_build/hair/pattern/_match.rs b/src/librustc_mir_build/hair/pattern/_match.rs index 16d783fcad2..626e531c807 100644 --- 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 |