Expand on a few comments

diff --git a/src/librustc_mir/hair/pattern/_match.rs b/src/librustc_mir/hair/pattern/_match.rs
index 1162f0ca86156a283d3997990627a69b2f59398b..5cfcc16162ee2bb2426315be0ff18efa3e281d2c 100644 (file)
--- a/src/librustc_mir/hair/pattern/_match.rs
+++ b/src/librustc_mir/hair/pattern/_match.rs
@@ -1416,6 +1416,8 @@ fn slice_pat_covered_by_const<'tcx>(
             if *t != tcx.types.u8 {
                 // FIXME(oli-obk): can't mix const patterns with slice patterns and get
                 // any sort of exhaustiveness/unreachable check yet
+                // This solely means that we don't lint about unreachable patterns, even if some
+                // are definitely unreachable.
                 return Ok(false);
             }
             let ptr = Pointer::new(id, offset);
@@ -1427,6 +1429,8 @@ fn slice_pat_covered_by_const<'tcx>(
             if *t != tcx.types.u8 {
                 // FIXME(oli-obk): can't mix const patterns with slice patterns and get
                 // any sort of exhaustiveness/unreachable check yet
+                // This solely means that we don't lint about unreachable patterns, even if some
+                // are definitely unreachable.
                 return Ok(false);
             }
             assert_eq!(n.to_usize(&tcx).unwrap(), 0);
@@ -1437,6 +1441,8 @@ fn slice_pat_covered_by_const<'tcx>(
             if *t != tcx.types.u8 {
                 // FIXME(oli-obk): can't mix const patterns with slice patterns and get
                 // any sort of exhaustiveness/unreachable check yet
+                // This solely means that we don't lint about unreachable patterns, even if some
+                // are definitely unreachable.
                 return Ok(false);
             }
             let n = n.to_usize(&tcx).unwrap();