Merge branch 'rust-experiment' into redsun82/rust-doctest-gen

misc/codegen/templates/rust_classes.mustache

@@ -35,12 +35,12 @@ impl TrapEntry for {{name}} {
         {{/is_repeated}}
         {{/is_optional}}
         {{#is_repeated}}
-        for (i, &v) in self.{{field_name}}.iter().enumerate() {
+        for (i, v) in self.{{field_name}}.into_iter().enumerate() {
             {{^is_optional}}
             out.add_tuple("{{table_name}}", vec![trap::Arg::Label(id){{^is_unordered}}, i.into(){{/is_unordered}}, v.into()]);
             {{/is_optional}}
             {{#is_optional}}
-            if let Some(vv) = v {
+            if let Some(v) = v {
                 out.add_tuple("{{table_name}}", vec![trap::Arg::Label(id){{^is_unordered}}, i.into(){{/is_unordered}}, v.into()]);
             }
             {{/is_optional}}

rust/.generated.list

@@ -1,31 +1,2 @@
 extractor/src/generated/mod.rs 7cdfedcd68cf8e41134daf810c1af78624082b0c3e8be6570339b1a69a5d457e 7cdfedcd68cf8e41134daf810c1af78624082b0c3e8be6570339b1a69a5d457e
-extractor/src/generated/top.rs 6a38e468c94037d0c00a1a463753de206b6c8a3ca16f11ee86b4165cd7c91645 6a38e468c94037d0c00a1a463753de206b6c8a3ca16f11ee86b4165cd7c91645
-ql/lib/codeql/rust/elements/DbFile.qll 056d363e1ba5ec08cacb2e90b8a7a3b47f52ded5dc2289edd4e85921fc50f37e 18e6926f77265a3a6319ca2f3bf3d529d17d46cebdd2ef6753357fdc53c22c70
-ql/lib/codeql/rust/elements/DbFileConstructor.qll ea93dc49b23b1c6d800ab9d0b9cacfa9dc661bfdb04b9e6efcad2bdb050fb0ab f7a891b1786604eee57a784733555b677e2580770d51d18073b59e7ca65df1d4
-ql/lib/codeql/rust/elements/DbLocation.qll 1f694594e8e4ab65a8781cd443ad4f864447ca88e2cb65504aee5a779393c84d 003ec72275406eb8f5ddd6ccc2b258fb7c906d4bb2c0ef1ba235f291624321ca
-ql/lib/codeql/rust/elements/DbLocationConstructor.qll 8848abace985818a5d3a6eddfc4cb200795970146d282b037b4f22ae6230b894 44dba880e17bb1072fa12451ccaae4830fd04dcc61f7403d35510309fde6906e
-ql/lib/codeql/rust/elements/Declaration.qll d4ec5c83728f1837243caf2f27d06fd05ecdd2ca440112accff99bfd37b45e5f c1cd9b297be8b69207e75d24b29949b9f71c78406ee0ffd38d0b0810288d6140
-ql/lib/codeql/rust/elements/FunctionConstructor.qll a9269b37182c0bf432f9b2b015691da5dbd64819b9bd25445af229d873014a91 69107a7503af14a51e091e6918094a4e9fc316a72de2e1514f001872ce0f2c0c
-ql/lib/codeql/rust/elements/Module.qll d8995b361cc672f86a314bd53bd3e4d1ddb26b6afde62eb7c380923810785af0 3c10180c812d89a8116ac6e32cbd4d7ac2f549c8a76d327ed75c764b09251d52
-ql/lib/codeql/rust/elements/ModuleConstructor.qll 109ed8c1b5c61cc1d3e8613aa8bb8c168dc1943c93b5b622fa79665751b78318 601526c7f56578883d261d14653fdad08329f80fea71de14a5ac5ce671a8d436
-ql/lib/codeql/rust/elements.qll 658d3d26ac2685a077714d41d83ac47f87b0df1c4f0cc7d099c96e06bd1f9d0e 658d3d26ac2685a077714d41d83ac47f87b0df1c4f0cc7d099c96e06bd1f9d0e
-ql/lib/codeql/rust/generated/DbFile.qll 4dbf1931124291e0d6a958ae882f8aeef006642f72adc7ff86cffd3a4e9a970a 4dbf1931124291e0d6a958ae882f8aeef006642f72adc7ff86cffd3a4e9a970a
-ql/lib/codeql/rust/generated/DbLocation.qll 735d9351b5eb46a3231b528600dddec3a4122c18c210d4d632a8d4ceaf7f02e9 735d9351b5eb46a3231b528600dddec3a4122c18c210d4d632a8d4ceaf7f02e9
-ql/lib/codeql/rust/generated/Declaration.qll 4487ac3f5ffa5b92e8628bc04b51e818d4ea1c9a333375cf1b729428d36a4ee7 6481d5e2d99a548f857213a283da75d45db8b3adac949e90fd5d17ceb5e22b54
-ql/lib/codeql/rust/generated/Element.qll 21567fa7348dccdf69dd34e73cb6de7cc9c7e0f3f7bb419a1abd787f7dc851a1 21567fa7348dccdf69dd34e73cb6de7cc9c7e0f3f7bb419a1abd787f7dc851a1
-ql/lib/codeql/rust/generated/File.qll 2eff5c882d044d2e360fe6382fb55e5a45f6ccb9df323cfa1fae41eae9d2a47f 87e7a906b3a1b4de056952e288ddd7f69fa7cb1bd9dc7dd3972868a9002ac1e4
-ql/lib/codeql/rust/generated/Function.qll a046dd3ca6a7fc2d13850ac517434bc198c92019a058e54876365f16f8df614b 634cd11e199a1d6bd4f2ba7faffe8e605a504aeda913652976284da0f3c2918c
-ql/lib/codeql/rust/generated/Locatable.qll 9e9685bba50ad2220701f3465e63af9331f7f9dc548ad906ff954fc2ce0a4400 78c89b2cc78a357d682ab65310dd474603071f07c1eaaab07711714ce17549f2
-ql/lib/codeql/rust/generated/Location.qll bce4c72988ec6fedd1439c60a37c45aa6147c962904709ef9f12206937174be4 d57000571771a2d997c50d9a43ef1c2f075960f847effa0e80ea91fd4c6b4d6c
-ql/lib/codeql/rust/generated/Module.qll 2a931a4f2cdb2fee00ed83af045ea63d36b7dbd708e58c30445b5610feaae333 cd62add5c31a509f965aa294f44a1607ec7c62e3a9e3fe9ee063b3c814f4eb62
-ql/lib/codeql/rust/generated/ParentChild.qll b44f149bff05a96ee16c88883f06d5d2c159a89423ec32b00765da6964af029e 1d13e54fbc27d9cc29405a21c2f4a63043cbb7aade317184f440a17d3f5645c4
-ql/lib/codeql/rust/generated/PureSynthConstructors.qll 5eb1fc4f6a04172c34ae31e4931e4bf1f8b72fbe414c5f644731a45372d13573 5eb1fc4f6a04172c34ae31e4931e4bf1f8b72fbe414c5f644731a45372d13573
-ql/lib/codeql/rust/generated/Raw.qll db136d5a9c284be492d8e56dfd692b6bb0e08e4798bb4621c7ed592bed47ef91 046fc314d8f6d58afff905c29e2cffff1ba4d7e376e10243bdae5a8b781280f9
-ql/lib/codeql/rust/generated/Synth.qll d278de9c2d06cb7549cd8f2e10ed186827a2ceab6ff46725ca76e78e7fecac72 acacd9afc5ca4a288e037a43375d933c3ba3cd8d08ef122b31695e74be260eb2
-ql/lib/codeql/rust/generated/SynthConstructors.qll 35b36df0c4fff05bcbd4ed10b1e6fa2e58fe8d8c818e7805111044825788fc01 35b36df0c4fff05bcbd4ed10b1e6fa2e58fe8d8c818e7805111044825788fc01
-ql/lib/codeql/rust/generated/UnknownFile.qll ec9d1a3f15ecbf1743d4e39cb3b2f217aa9b54951c93302c2c4c238c3f0ce595 ec9d1a3f15ecbf1743d4e39cb3b2f217aa9b54951c93302c2c4c238c3f0ce595
-ql/lib/codeql/rust/generated/UnknownLocation.qll a19e2838c52d702d268ae530f3dbd6fcd8bb28a237a52636a960f225454103cf a19e2838c52d702d268ae530f3dbd6fcd8bb28a237a52636a960f225454103cf
-ql/test/extractor-tests/generated/File/File.ql dec43be882fad904fab0c6447ca93633d801cb08ff8bec309befde7d2b9e5dda 74e1f1d698558c35fa03935cc34f4c8145d376b56d7657b18aeb338f5ca752cf
-ql/test/extractor-tests/generated/Function/Function.ql ae5d44a85047d50d8fbd3b62290c6935f061f07076b0070998173957e54eb43f 3e7fb6fb82463b96577394213915d8deae5332acdec2fcc07aa3eb8560420edd
-ql/test/extractor-tests/generated/Function/gen_function.rs 4be46d4798cd32b51e449d1b6c4bc7461216a8a0e765b61abac21354401a7776 4be46d4798cd32b51e449d1b6c4bc7461216a8a0e765b61abac21354401a7776
-ql/test/extractor-tests/generated/Module/MISSING_SOURCE.txt cc7c395e7c651d62596826b1a0bedf10f35d01b8afeef47600b4ddaf804f406e cc7c395e7c651d62596826b1a0bedf10f35d01b8afeef47600b4ddaf804f406e
+extractor/src/generated/top.rs 785fc089867e501d3d4bf25306c7555aa913d9be8e0695343ab6d66da6e19c39 785fc089867e501d3d4bf25306c7555aa913d9be8e0695343ab6d66da6e19c39

rust/.gitattributes

@@ -2,32 +2,3 @@
 /.gitattributes linguist-generated
 /extractor/src/generated/mod.rs linguist-generated
 /extractor/src/generated/top.rs linguist-generated
-/ql/lib/codeql/rust/elements/DbFile.qll linguist-generated
-/ql/lib/codeql/rust/elements/DbFileConstructor.qll linguist-generated
-/ql/lib/codeql/rust/elements/DbLocation.qll linguist-generated
-/ql/lib/codeql/rust/elements/DbLocationConstructor.qll linguist-generated
-/ql/lib/codeql/rust/elements/Declaration.qll linguist-generated
-/ql/lib/codeql/rust/elements/FunctionConstructor.qll linguist-generated
-/ql/lib/codeql/rust/elements/Module.qll linguist-generated
-/ql/lib/codeql/rust/elements/ModuleConstructor.qll linguist-generated
-/ql/lib/codeql/rust/elements.qll linguist-generated
-/ql/lib/codeql/rust/generated/DbFile.qll linguist-generated
-/ql/lib/codeql/rust/generated/DbLocation.qll linguist-generated
-/ql/lib/codeql/rust/generated/Declaration.qll linguist-generated
-/ql/lib/codeql/rust/generated/Element.qll linguist-generated
-/ql/lib/codeql/rust/generated/File.qll linguist-generated
-/ql/lib/codeql/rust/generated/Function.qll linguist-generated
-/ql/lib/codeql/rust/generated/Locatable.qll linguist-generated
-/ql/lib/codeql/rust/generated/Location.qll linguist-generated
-/ql/lib/codeql/rust/generated/Module.qll linguist-generated
-/ql/lib/codeql/rust/generated/ParentChild.qll linguist-generated
-/ql/lib/codeql/rust/generated/PureSynthConstructors.qll linguist-generated
-/ql/lib/codeql/rust/generated/Raw.qll linguist-generated
-/ql/lib/codeql/rust/generated/Synth.qll linguist-generated
-/ql/lib/codeql/rust/generated/SynthConstructors.qll linguist-generated
-/ql/lib/codeql/rust/generated/UnknownFile.qll linguist-generated
-/ql/lib/codeql/rust/generated/UnknownLocation.qll linguist-generated
-/ql/test/extractor-tests/generated/File/File.ql linguist-generated
-/ql/test/extractor-tests/generated/Function/Function.ql linguist-generated
-/ql/test/extractor-tests/generated/Function/gen_function.rs linguist-generated
-/ql/test/extractor-tests/generated/Module/MISSING_SOURCE.txt linguist-generated

rust/extractor/src/archive.rs

@@ -1,5 +1,4 @@
 use crate::path;
-use anyhow;
 use log::{debug, warn};
 use std::fs;
 use std::path::{Path, PathBuf};

rust/extractor/src/config.rs

@@ -1,13 +1,11 @@
 use anyhow::Context;
-use clap::builder::PossibleValue;
 use clap::{ArgAction, Parser, ValueEnum};
 use codeql_extractor::trap;
 use figment::{
     providers::{Env, Serialized},
     Figment,
 };
-use serde::{Deserialize, Deserializer, Serialize, Serializer};
-use serde_with;
+use serde::{Deserialize, Serialize};
 use std::path::PathBuf;
 
 #[derive(Debug, PartialEq, Eq, Default, Serialize, Deserialize, Clone, Copy, ValueEnum)]
@@ -19,11 +17,11 @@ pub enum Compression {
     Gzip,
 }
 
-impl Into<trap::Compression> for Compression {
-    fn into(self) -> trap::Compression {
-        match self {
-            Compression::None => trap::Compression::None,
-            Compression::Gzip => trap::Compression::Gzip,
+impl From<Compression> for trap::Compression {
+    fn from(val: Compression) -> Self {
+        match val {
+            Compression::None => Self::None,
+            Compression::Gzip => Self::Gzip,
         }
     }
 }
@@ -72,10 +70,10 @@ impl Config {
                 .inputs
                 .extend(inputs_list.split("\n").map(PathBuf::from));
         }
-        Ok(Figment::new()
+        Figment::new()
             .merge(Env::prefixed("CODEQL_EXTRACTOR_RUST_"))
             .merge(Serialized::defaults(cli_args))
             .extract()
-            .context("loading configuration")?)
+            .context("loading configuration")
     }
 }

rust/extractor/src/main.rs

@@ -1,16 +1,11 @@
 use crate::trap::TrapId;
 use anyhow::Context;
-use log;
 use ra_ap_hir::db::DefDatabase;
-use ra_ap_hir::sym::ge;
-use ra_ap_hir::AdtId::{EnumId, StructId, UnionId};
-use ra_ap_hir::{Crate, ModuleDefId};
+use ra_ap_hir::{Crate};
 use ra_ap_load_cargo::{load_workspace_at, LoadCargoConfig, ProcMacroServerChoice};
 use ra_ap_project_model::CargoConfig;
 use ra_ap_project_model::RustLibSource;
-use ra_ap_vfs::AbsPathBuf;
-use std::fs;
-use std::path::{Path, PathBuf};
+use std::path::{PathBuf};
 
 mod archive;
 mod config;

rust/extractor/src/translate.rs

@@ -1,18 +1,15 @@
 use crate::archive::Archiver;
 use crate::trap::{AsTrapKeyPart, TrapFile, TrapId};
 use crate::{generated, trap_key};
-use anyhow;
 use codeql_extractor::trap;
 use ra_ap_hir::HasSource;
 use ra_ap_hir::{Crate, Module, ModuleDef};
 use ra_ap_ide_db::line_index::LineIndex;
 use ra_ap_ide_db::{LineIndexDatabase, RootDatabase};
-use ra_ap_syntax::ast::HasName;
 use ra_ap_syntax::AstNode;
-use ra_ap_vfs::{AbsPath, FileId, Vfs};
+use ra_ap_vfs::{FileId, Vfs};
 use std::collections::HashMap;
 use std::fs;
-use std::io::Result;
 use std::path::PathBuf;
 use triomphe::Arc;
 
@@ -75,11 +72,11 @@ impl CrateTranslator<'_> {
             .source(self.db)
             .and_then(|source| source.file_id.file_id().map(|f| (f.file_id(), source)))
             .and_then(|(file_id, source)| self.emit_file(file_id).map(|data| (data, source)))
-            .and_then(|(data, source)| {
+            .map(|(data, source)| {
                 let range = source.value.syntax().text_range();
                 let start = data.line_index.line_col(range.start());
                 let end = data.line_index.line_col(range.end());
-                Some(self.trap.emit_location(data.label, start, end))
+                self.trap.emit_location(data.label, start, end)
             })
     }
 
@@ -94,10 +91,15 @@ impl CrateTranslator<'_> {
             ModuleDef::Function(function) => {
                 let name = function.name(self.db);
                 let location = self.emit_location(function);
+                let body = self.trap.emit(generated::MissingExpr {
+                    id: TrapId::Star,
+                    location: None,
+                });
                 labels.push(self.trap.emit(generated::Function {
                     id: trap_key![module_label, name.as_str()],
                     location,
                     name: name.as_str().into(),
+                    body,
                 }));
             }
             ModuleDef::Adt(_) => {}

rust/extractor/src/trap.rs

@@ -2,12 +2,10 @@ use crate::config::Compression;
 use crate::generated;
 use crate::{config, path};
 use codeql_extractor::trap;
-use log::{debug, trace};
+use log::{debug};
 use ra_ap_ide_db::line_index::LineCol;
 use std::ffi::OsString;
-use std::fmt::{Debug, Display, Formatter};
-use std::fs::File;
-use std::io::Write;
+use std::fmt::{Debug};
 use std::path::{Path, PathBuf};
 
 //TODO: typed labels

rust/ql/lib/codeql/rust/elements.qll

@@ -3,14 +3,76 @@
  * This module exports all modules providing `Element` subclasses.
  */
 
+import codeql.rust.elements.Array
+import codeql.rust.elements.AstNode
+import codeql.rust.elements.AsyncBlock
+import codeql.rust.elements.Await
+import codeql.rust.elements.Become
+import codeql.rust.elements.BinaryOp
+import codeql.rust.elements.BindPat
+import codeql.rust.elements.Block
+import codeql.rust.elements.BlockBase
+import codeql.rust.elements.Box
+import codeql.rust.elements.BoxPat
+import codeql.rust.elements.Break
+import codeql.rust.elements.Call
+import codeql.rust.elements.Cast
+import codeql.rust.elements.Closure
+import codeql.rust.elements.Const
+import codeql.rust.elements.ConstBlockPat
+import codeql.rust.elements.Continue
 import codeql.rust.elements.DbFile
 import codeql.rust.elements.DbLocation
 import codeql.rust.elements.Declaration
 import codeql.rust.elements.Element
+import codeql.rust.elements.ElementList
+import codeql.rust.elements.Expr
+import codeql.rust.elements.ExprStmt
+import codeql.rust.elements.Field
 import codeql.rust.elements.File
 import codeql.rust.elements.Function
+import codeql.rust.elements.If
+import codeql.rust.elements.IfLet
+import codeql.rust.elements.Index
+import codeql.rust.elements.InlineAsm
+import codeql.rust.elements.ItemStmt
+import codeql.rust.elements.Label
+import codeql.rust.elements.Let
+import codeql.rust.elements.LitPat
+import codeql.rust.elements.Literal
 import codeql.rust.elements.Locatable
 import codeql.rust.elements.Location
+import codeql.rust.elements.Loop
+import codeql.rust.elements.Match
+import codeql.rust.elements.MatchArm
+import codeql.rust.elements.MethodCall
+import codeql.rust.elements.MissingExpr
+import codeql.rust.elements.MissingPat
 import codeql.rust.elements.Module
+import codeql.rust.elements.OffsetOf
+import codeql.rust.elements.OrPat
+import codeql.rust.elements.Pat
+import codeql.rust.elements.Path
+import codeql.rust.elements.PathPat
+import codeql.rust.elements.Range
+import codeql.rust.elements.RangePat
+import codeql.rust.elements.RecordLit
+import codeql.rust.elements.RecordPat
+import codeql.rust.elements.Ref
+import codeql.rust.elements.RefPat
+import codeql.rust.elements.Repeat
+import codeql.rust.elements.Return
+import codeql.rust.elements.SlicePat
+import codeql.rust.elements.Stmt
+import codeql.rust.elements.Tuple
+import codeql.rust.elements.TuplePat
+import codeql.rust.elements.TupleStructPat
+import codeql.rust.elements.TypeRef
+import codeql.rust.elements.UnaryOp
+import codeql.rust.elements.Underscore
 import codeql.rust.elements.UnknownFile
 import codeql.rust.elements.UnknownLocation
+import codeql.rust.elements.UnsafeBlock
+import codeql.rust.elements.WildPat
+import codeql.rust.elements.Yeet
+import codeql.rust.elements.Yield

rust/ql/lib/codeql/rust/elements/Array.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Array`.
+ */
+
+private import codeql.rust.generated.Array
+
+class Array extends Generated::Array { }

rust/ql/lib/codeql/rust/elements/AstNode.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `AstNode`.
+ */
+
+private import codeql.rust.generated.AstNode
+
+class AstNode extends Generated::AstNode { }

rust/ql/lib/codeql/rust/elements/AsyncBlock.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `AsyncBlock`.
+ */
+
+private import codeql.rust.generated.AsyncBlock
+
+class AsyncBlock extends Generated::AsyncBlock { }

rust/ql/lib/codeql/rust/elements/AsyncBlockConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `AsyncBlock` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `AsyncBlock` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructAsyncBlock(Raw::AsyncBlock id) { any() }

rust/ql/lib/codeql/rust/elements/Await.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Await`.
+ */
+
+private import codeql.rust.generated.Await
+
+class Await extends Generated::Await { }

rust/ql/lib/codeql/rust/elements/AwaitConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Await` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Await` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructAwait(Raw::Await id) { any() }

rust/ql/lib/codeql/rust/elements/Become.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Become`.
+ */
+
+private import codeql.rust.generated.Become
+
+class Become extends Generated::Become { }

rust/ql/lib/codeql/rust/elements/BecomeConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Become` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Become` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructBecome(Raw::Become id) { any() }

rust/ql/lib/codeql/rust/elements/BinaryOp.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `BinaryOp`.
+ */
+
+private import codeql.rust.generated.BinaryOp
+
+class BinaryOp extends Generated::BinaryOp { }

rust/ql/lib/codeql/rust/elements/BinaryOpConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `BinaryOp` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `BinaryOp` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructBinaryOp(Raw::BinaryOp id) { any() }

rust/ql/lib/codeql/rust/elements/BindPat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `BindPat`.
+ */
+
+private import codeql.rust.generated.BindPat
+
+class BindPat extends Generated::BindPat { }

rust/ql/lib/codeql/rust/elements/BindPatConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `BindPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `BindPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructBindPat(Raw::BindPat id) { any() }

rust/ql/lib/codeql/rust/elements/Block.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Block`.
+ */
+
+private import codeql.rust.generated.Block
+
+class Block extends Generated::Block { }

rust/ql/lib/codeql/rust/elements/BlockBase.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `BlockBase`.
+ */
+
+private import codeql.rust.generated.BlockBase
+
+class BlockBase extends Generated::BlockBase { }

rust/ql/lib/codeql/rust/elements/BlockConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Block` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Block` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructBlock(Raw::Block id) { any() }

rust/ql/lib/codeql/rust/elements/Box.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Box`.
+ */
+
+private import codeql.rust.generated.Box
+
+class Box extends Generated::Box { }

rust/ql/lib/codeql/rust/elements/BoxConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Box` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Box` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructBox(Raw::Box id) { any() }

rust/ql/lib/codeql/rust/elements/BoxPat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `BoxPat`.
+ */
+
+private import codeql.rust.generated.BoxPat
+
+class BoxPat extends Generated::BoxPat { }

rust/ql/lib/codeql/rust/elements/BoxPatConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `BoxPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `BoxPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructBoxPat(Raw::BoxPat id) { any() }

rust/ql/lib/codeql/rust/elements/Break.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Break`.
+ */
+
+private import codeql.rust.generated.Break
+
+class Break extends Generated::Break { }

rust/ql/lib/codeql/rust/elements/BreakConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Break` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Break` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructBreak(Raw::Break id) { any() }

rust/ql/lib/codeql/rust/elements/Call.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Call`.
+ */
+
+private import codeql.rust.generated.Call
+
+class Call extends Generated::Call { }

rust/ql/lib/codeql/rust/elements/CallConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Call` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Call` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructCall(Raw::Call id) { any() }

rust/ql/lib/codeql/rust/elements/Cast.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Cast`.
+ */
+
+private import codeql.rust.generated.Cast
+
+class Cast extends Generated::Cast { }

rust/ql/lib/codeql/rust/elements/CastConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Cast` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Cast` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructCast(Raw::Cast id) { any() }

rust/ql/lib/codeql/rust/elements/Closure.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Closure`.
+ */
+
+private import codeql.rust.generated.Closure
+
+class Closure extends Generated::Closure { }

rust/ql/lib/codeql/rust/elements/ClosureConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Closure` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Closure` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructClosure(Raw::Closure id) { any() }

rust/ql/lib/codeql/rust/elements/Const.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Const`.
+ */
+
+private import codeql.rust.generated.Const
+
+class Const extends Generated::Const { }

rust/ql/lib/codeql/rust/elements/ConstBlockPat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `ConstBlockPat`.
+ */
+
+private import codeql.rust.generated.ConstBlockPat
+
+class ConstBlockPat extends Generated::ConstBlockPat { }

rust/ql/lib/codeql/rust/elements/ConstBlockPatConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `ConstBlockPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `ConstBlockPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructConstBlockPat(Raw::ConstBlockPat id) { any() }

rust/ql/lib/codeql/rust/elements/ConstConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Const` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Const` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructConst(Raw::Const id) { any() }

rust/ql/lib/codeql/rust/elements/Continue.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Continue`.
+ */
+
+private import codeql.rust.generated.Continue
+
+class Continue extends Generated::Continue { }

rust/ql/lib/codeql/rust/elements/ContinueConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Continue` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Continue` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructContinue(Raw::Continue id) { any() }

rust/ql/lib/codeql/rust/elements/ElementList.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `ElementList`.
+ */
+
+private import codeql.rust.generated.ElementList
+
+class ElementList extends Generated::ElementList { }

rust/ql/lib/codeql/rust/elements/ElementListConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `ElementList` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `ElementList` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructElementList(Raw::ElementList id) { any() }

rust/ql/lib/codeql/rust/elements/Expr.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Expr`.
+ */
+
+private import codeql.rust.generated.Expr
+
+class Expr extends Generated::Expr { }

rust/ql/lib/codeql/rust/elements/ExprStmt.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `ExprStmt`.
+ */
+
+private import codeql.rust.generated.ExprStmt
+
+class ExprStmt extends Generated::ExprStmt { }

rust/ql/lib/codeql/rust/elements/ExprStmtConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `ExprStmt` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `ExprStmt` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructExprStmt(Raw::ExprStmt id) { any() }

rust/ql/lib/codeql/rust/elements/Field.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Field`.
+ */
+
+private import codeql.rust.generated.Field
+
+class Field extends Generated::Field { }

rust/ql/lib/codeql/rust/elements/FieldConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Field` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Field` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructField(Raw::Field id) { any() }

rust/ql/lib/codeql/rust/elements/If.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `If`.
+ */
+
+private import codeql.rust.generated.If
+
+class If extends Generated::If { }

rust/ql/lib/codeql/rust/elements/IfConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `If` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `If` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructIf(Raw::If id) { any() }

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

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `IfLet`.
+ */
+
+private import codeql.rust.generated.IfLet
+
+class IfLet extends Generated::IfLet { }

rust/ql/lib/codeql/rust/elements/IfLetConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `IfLet` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `IfLet` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructIfLet(Raw::IfLet id) { any() }

rust/ql/lib/codeql/rust/elements/Index.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Index`.
+ */
+
+private import codeql.rust.generated.Index
+
+class Index extends Generated::Index { }

rust/ql/lib/codeql/rust/elements/IndexConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Index` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Index` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructIndex(Raw::Index id) { any() }

rust/ql/lib/codeql/rust/elements/InlineAsm.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `InlineAsm`.
+ */
+
+private import codeql.rust.generated.InlineAsm
+
+class InlineAsm extends Generated::InlineAsm { }

rust/ql/lib/codeql/rust/elements/InlineAsmConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `InlineAsm` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `InlineAsm` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructInlineAsm(Raw::InlineAsm id) { any() }

rust/ql/lib/codeql/rust/elements/ItemStmt.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `ItemStmt`.
+ */
+
+private import codeql.rust.generated.ItemStmt
+
+class ItemStmt extends Generated::ItemStmt { }

rust/ql/lib/codeql/rust/elements/ItemStmtConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `ItemStmt` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `ItemStmt` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructItemStmt(Raw::ItemStmt id) { any() }

rust/ql/lib/codeql/rust/elements/Label.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Label`.
+ */
+
+private import codeql.rust.generated.Label
+
+class Label extends Generated::Label { }

rust/ql/lib/codeql/rust/elements/LabelConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Label` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Label` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructLabel(Raw::Label id) { any() }

rust/ql/lib/codeql/rust/elements/Let.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Let`.
+ */
+
+private import codeql.rust.generated.Let
+
+class Let extends Generated::Let { }

rust/ql/lib/codeql/rust/elements/LetConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Let` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Let` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructLet(Raw::Let id) { any() }

rust/ql/lib/codeql/rust/elements/LitPat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `LitPat`.
+ */
+
+private import codeql.rust.generated.LitPat
+
+class LitPat extends Generated::LitPat { }

rust/ql/lib/codeql/rust/elements/LitPatConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `LitPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `LitPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructLitPat(Raw::LitPat id) { any() }

rust/ql/lib/codeql/rust/elements/Literal.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Literal`.
+ */
+
+private import codeql.rust.generated.Literal
+
+class Literal extends Generated::Literal { }

rust/ql/lib/codeql/rust/elements/LiteralConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Literal` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Literal` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructLiteral(Raw::Literal id) { any() }

rust/ql/lib/codeql/rust/elements/Loop.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Loop`.
+ */
+
+private import codeql.rust.generated.Loop
+
+class Loop extends Generated::Loop { }

rust/ql/lib/codeql/rust/elements/LoopConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Loop` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Loop` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructLoop(Raw::Loop id) { any() }

rust/ql/lib/codeql/rust/elements/Match.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Match`.
+ */
+
+private import codeql.rust.generated.Match
+
+class Match extends Generated::Match { }

rust/ql/lib/codeql/rust/elements/MatchArm.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `MatchArm`.
+ */
+
+private import codeql.rust.generated.MatchArm
+
+class MatchArm extends Generated::MatchArm { }

rust/ql/lib/codeql/rust/elements/MatchArmConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `MatchArm` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `MatchArm` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructMatchArm(Raw::MatchArm id) { any() }

rust/ql/lib/codeql/rust/elements/MatchConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Match` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Match` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructMatch(Raw::Match id) { any() }

rust/ql/lib/codeql/rust/elements/MethodCall.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `MethodCall`.
+ */
+
+private import codeql.rust.generated.MethodCall
+
+class MethodCall extends Generated::MethodCall { }

rust/ql/lib/codeql/rust/elements/MethodCallConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `MethodCall` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `MethodCall` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructMethodCall(Raw::MethodCall id) { any() }

rust/ql/lib/codeql/rust/elements/MissingExpr.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `MissingExpr`.
+ */
+
+private import codeql.rust.generated.MissingExpr
+
+class MissingExpr extends Generated::MissingExpr { }

rust/ql/lib/codeql/rust/elements/MissingExprConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `MissingExpr` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `MissingExpr` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructMissingExpr(Raw::MissingExpr id) { any() }

rust/ql/lib/codeql/rust/elements/MissingPat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `MissingPat`.
+ */
+
+private import codeql.rust.generated.MissingPat
+
+class MissingPat extends Generated::MissingPat { }

rust/ql/lib/codeql/rust/elements/MissingPatConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `MissingPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `MissingPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructMissingPat(Raw::MissingPat id) { any() }

rust/ql/lib/codeql/rust/elements/OffsetOf.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `OffsetOf`.
+ */
+
+private import codeql.rust.generated.OffsetOf
+
+class OffsetOf extends Generated::OffsetOf { }

rust/ql/lib/codeql/rust/elements/OffsetOfConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `OffsetOf` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `OffsetOf` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructOffsetOf(Raw::OffsetOf id) { any() }

rust/ql/lib/codeql/rust/elements/OrPat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `OrPat`.
+ */
+
+private import codeql.rust.generated.OrPat
+
+class OrPat extends Generated::OrPat { }

rust/ql/lib/codeql/rust/elements/OrPatConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `OrPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `OrPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructOrPat(Raw::OrPat id) { any() }

rust/ql/lib/codeql/rust/elements/Pat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Pat`.
+ */
+
+private import codeql.rust.generated.Pat
+
+class Pat extends Generated::Pat { }

rust/ql/lib/codeql/rust/elements/Path.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Path`.
+ */
+
+private import codeql.rust.generated.Path
+
+class Path extends Generated::Path { }

rust/ql/lib/codeql/rust/elements/PathConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Path` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Path` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructPath(Raw::Path id) { any() }

rust/ql/lib/codeql/rust/elements/PathPat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `PathPat`.
+ */
+
+private import codeql.rust.generated.PathPat
+
+class PathPat extends Generated::PathPat { }

rust/ql/lib/codeql/rust/elements/PathPatConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `PathPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `PathPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructPathPat(Raw::PathPat id) { any() }

rust/ql/lib/codeql/rust/elements/Range.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Range`.
+ */
+
+private import codeql.rust.generated.Range
+
+class Range extends Generated::Range { }

rust/ql/lib/codeql/rust/elements/RangeConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Range` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Range` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructRange(Raw::Range id) { any() }

rust/ql/lib/codeql/rust/elements/RangePat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `RangePat`.
+ */
+
+private import codeql.rust.generated.RangePat
+
+class RangePat extends Generated::RangePat { }

rust/ql/lib/codeql/rust/elements/RangePatConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `RangePat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `RangePat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructRangePat(Raw::RangePat id) { any() }

rust/ql/lib/codeql/rust/elements/RecordLit.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `RecordLit`.
+ */
+
+private import codeql.rust.generated.RecordLit
+
+class RecordLit extends Generated::RecordLit { }

rust/ql/lib/codeql/rust/elements/RecordLitConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `RecordLit` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `RecordLit` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructRecordLit(Raw::RecordLit id) { any() }

rust/ql/lib/codeql/rust/elements/RecordPat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `RecordPat`.
+ */
+
+private import codeql.rust.generated.RecordPat
+
+class RecordPat extends Generated::RecordPat { }

rust/ql/lib/codeql/rust/elements/RecordPatConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `RecordPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `RecordPat` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructRecordPat(Raw::RecordPat id) { any() }

rust/ql/lib/codeql/rust/elements/Ref.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Ref`.
+ */
+
+private import codeql.rust.generated.Ref
+
+class Ref extends Generated::Ref { }

rust/ql/lib/codeql/rust/elements/RefConstructor.qll

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `Ref` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.generated.Raw
+
+/**
+ *  The characteristic predicate of `Ref` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructRef(Raw::Ref id) { any() }

rust/ql/lib/codeql/rust/elements/RefPat.qll

@@ -0,0 +1,8 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `RefPat`.
+ */
+
+private import codeql.rust.generated.RefPat
+
+class RefPat extends Generated::RefPat { }