diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-12-13 12:54:57 +0100 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-12-13 12:54:57 +0100 |
| commit | 1c2a29e29a56d449111a1f39beb901983e8b7ebc (patch) | |
| tree | 642546a50558c0191ad19e490d28d3f10aad1af7 | |
| parent | 5df6af49a7dbec08f210e258c3a66301f4fb3535 (diff) | |
| download | rust-1c2a29e29a56d449111a1f39beb901983e8b7ebc.tar.gz rust-1c2a29e29a56d449111a1f39beb901983e8b7ebc.zip | |
Expand on a few comments
| -rw-r--r-- | src/librustc_mir/hair/pattern/_match.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/librustc_mir/hair/pattern/_match.rs b/src/librustc_mir/hair/pattern/_match.rs index 1162f0ca861..5cfcc16162e 100644 --- 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(); |