Merge pull request #22828 from github/rust/cfg-expr

Rust: Add documentation and type inference for `CfgPredExpr` and `CfgPredPat`

Author: paldepind

rust/ql/.generated.list

@@ -380,6 +380,8 @@ module ExprTrees {
 
   class LiteralExprTree extends LeafTree instanceof LiteralExpr { }
 
+  class CfgPredExprTree extends LeafTree instanceof CfgPredExpr { }
+
   abstract class LoopingExprTree extends PostOrderTree {
     override predicate propagatesAbnormal(AstNode child) { child = this.getLoopBody() }
 
@@ -630,6 +632,8 @@ module PatternTrees {
 
   class RestPatTree extends LeafTree, RestPat { }
 
+  class CfgPredPatTree extends LeafTree, CfgPredPat { }
+
   class LiteralPatTree extends StandardPostOrderTree, LiteralPat {
     override AstNode getChildNode(int i) { i = 0 and result = this.getLiteral() }
   }