Add SlicePat::{slice, suffix}

Author: aibaars

rust/.generated.list

@@ -1052,6 +1052,8 @@ pub struct SlicePat {
     pub id: TrapId,
     pub location: Option<trap::Label>,
     pub prefix: Vec<trap::Label>,
+    pub slice: Option<trap::Label>,
+    pub suffix: Vec<trap::Label>,
 }
 
 impl TrapEntry for SlicePat {
@@ -1067,6 +1069,12 @@ impl TrapEntry for SlicePat {
         for (i, &v) in self.prefix.iter().enumerate() {
             out.add_tuple("slice_pat_prefixes", vec![trap::Arg::Label(id), i.into(), v.into()]);
         }
+        if let Some(v) = self.slice {
+            out.add_tuple("slice_pat_slice", vec![trap::Arg::Label(id), v.into()]);
+        }
+        for (i, &v) in self.suffix.iter().enumerate() {
+            out.add_tuple("slice_pat_suffixes", vec![trap::Arg::Label(id), i.into(), v.into()]);
+        }
     }
 }
 

rust/extractor/src/generated/top.rs

@@ -578,6 +578,19 @@ slice_pat_prefixes(
   int prefix: @pat ref
 );
 
+#keyset[id]
+slice_pat_slice(
+  int id: @slice_pat ref,
+  int slice: @pat ref
+);
+
+#keyset[id, index]
+slice_pat_suffixes(
+  int id: @slice_pat ref,
+  int index: int ref,
+  int suffix: @pat ref
+);
+
 tuples(
   unique int id: @tuple
 );

rust/ql/lib/codeql/rust/generated/Raw.qll

@@ -531,6 +531,8 @@ class RangePat(Pat):
 
 class SlicePat(Pat):
     prefix: list[Pat]
+    slice: optional[Pat]
+    suffix: list[Pat]
     # Path(Box<Path>),