Simpler code path for subtracting from FixedLenSlice

1 files changed, 9 insertions, 1 deletions

diff --git a/src/librustc_mir/hair/pattern/_match.rs b/src/librustc_mir/hair/pattern/_match.rs
index d0597817d32..31984daa5df 100644
--- a/src/librustc_mir/hair/pattern/_match.rs
+++ b/src/librustc_mir/hair/pattern/_match.rs
@@ -672,7 +672,15 @@ impl<'tcx> Constructor<'tcx> {
                     vec![self.clone()]
                 }
             }
-            FixedLenSlice(_) | VarLenSlice(_) => {
+            FixedLenSlice(self_len) => {
+                let overlaps = |c: &Constructor<'_>| match c {
+                    FixedLenSlice(other_len) => other_len == self_len,
+                    VarLenSlice(other_len) => other_len <= self_len,
+                    _ => false,
+                };
+                if other_ctors.iter().any(overlaps) { vec![] } else { vec![self.clone()] }
+            }
+            VarLenSlice(_) => {
                 let mut remaining_ctors = if let VarLenSlice(len) = self {
                     (*len..pcx.max_slice_length + 1).map(FixedLenSlice).collect()
                 } else {