Rename IfLet::else_branch to IfLet::else_

Author: aibaars

rust/.generated.list

@@ -508,7 +508,7 @@ pub struct IfLet {
     pub pat: trap::Label,
     pub type_ref: Option<trap::Label>,
     pub initializer: Option<trap::Label>,
-    pub else_branch: Option<trap::Label>,
+    pub else_: Option<trap::Label>,
 }
 
 impl TrapEntry for IfLet {
@@ -527,8 +527,8 @@ impl TrapEntry for IfLet {
         if let Some(v) = self.initializer {
             out.add_tuple("if_let_initializers", vec![trap::Arg::Label(id), v.into()]);
         }
-        if let Some(v) = self.else_branch {
-            out.add_tuple("if_let_else_branches", vec![trap::Arg::Label(id), v.into()]);
+        if let Some(v) = self.else_ {
+            out.add_tuple("if_let_elses", vec![trap::Arg::Label(id), v.into()]);
         }
     }
 }

rust/extractor/src/generated/top.rs

@@ -361,9 +361,9 @@ if_let_initializers(
 );
 
 #keyset[id]
-if_let_else_branches(
+if_let_elses(
   int id: @if_let ref,
-  int else_branch: @expr ref
+  int else: @expr ref
 );
 
 indices(

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

@@ -472,7 +472,7 @@ class IfLet(Stmt):
     pat: Pat
     type_ref: optional[TypeRef]
     initializer: optional[Expr]
-    else_branch: optional[Expr]
+    else_: optional[Expr]
 #     Expr {
 #         expr: ExprId,
 #         has_semi: bool,