about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNadrieril <nadrieril+git@gmail.com>2020-05-09 19:00:37 +0100
committerNadrieril <nadrieril+git@gmail.com>2020-05-17 17:38:24 +0100
commit4f7a3784a5d224bc4cbc9bd1a4418facc301726f (patch)
treee0779596cb7df763e8986b72fbe46657322f8a76
parent079400c74b2a4f0e173a1f22a54cb29e8c8fd5ba (diff)
downloadrust-4f7a3784a5d224bc4cbc9bd1a4418facc301726f.tar.gz
rust-4f7a3784a5d224bc4cbc9bd1a4418facc301726f.zip
typo
-rw-r--r--src/librustc_mir_build/hair/pattern/_match.rs11
1 files changed, 6 insertions, 5 deletions
diff --git a/src/librustc_mir_build/hair/pattern/_match.rs b/src/librustc_mir_build/hair/pattern/_match.rs
index f94da2f3805..7964bd29e78 100644
--- a/src/librustc_mir_build/hair/pattern/_match.rs
+++ b/src/librustc_mir_build/hair/pattern/_match.rs
@@ -963,11 +963,12 @@ impl<'p, 'tcx> FilteredField<'p, 'tcx> {
 ///
 /// If a private or `non_exhaustive` field is uninhabited, the code mustn't observe that it is
 /// uninhabited. For that, we filter these fields out of the matrix. This is subtle because we
-/// still need to have those fields back when going to/from a `Pat`. Mot of this is handled
-/// automatically in `Fields`, but when constructing or deconstructing fields you need to use the
-/// correct method. As a rule, when going to/from the matrix, use the filtered field list; when
-/// going to/from `Pat`, use the full field list.
-/// This filtering is uncommon in practice, because uninhabited fields are rarely used.
+/// still need to have those fields back when going to/from a `Pat`. Most of this is handled
+/// automatically in `Fields`, but when constructing or deconstructing `Fields` you need to be
+/// careful. As a rule, when going to/from the matrix, use the filtered field list; when going
+/// to/from `Pat`, use the full field list.
+/// This filtering is uncommon in practice, because uninhabited fields are rarely used, so we avoid
+/// it when possible to preserve performance.
 #[derive(Debug, Clone)]
 enum Fields<'p, 'tcx> {
     /// Lists of patterns that don't contain any filtered fields.