From 9e2512b686a708e55ec5adb0e75eb0a9af1cc561 Mon Sep 17 00:00:00 2001 From: Arthur Baars Date: Mon, 16 Sep 2024 19:00:12 +0200 Subject: [PATCH] Rust: re-generate code --- rust/extractor/src/generated/.generated.list | 2 +- rust/extractor/src/generated/top.rs | 8850 +++++++++++++---- rust/ql/.generated.list | 1034 +- rust/ql/.gitattributes | 696 +- rust/ql/lib/codeql/rust/elements.qll | 113 +- rust/ql/lib/codeql/rust/elements/Abi.qll | 9 + rust/ql/lib/codeql/rust/elements/Adt.qll | 9 + rust/ql/lib/codeql/rust/elements/ArgList.qll | 10 + .../ql/lib/codeql/rust/elements/ArrayExpr.qll | 8 +- .../ql/lib/codeql/rust/elements/ArrayType.qll | 10 + rust/ql/lib/codeql/rust/elements/AsmExpr.qll | 9 +- .../ql/lib/codeql/rust/elements/AssocItem.qll | 9 + .../codeql/rust/elements/AssocItemList.qll | 11 + .../lib/codeql/rust/elements/AssocTypeArg.qll | 17 + .../codeql/rust/elements/AsyncBlockExpr.qll | 18 - rust/ql/lib/codeql/rust/elements/Attr.qll | 10 + .../ql/lib/codeql/rust/elements/AwaitExpr.qll | 10 +- .../lib/codeql/rust/elements/BecomeExpr.qll | 12 +- .../lib/codeql/rust/elements/BinaryExpr.qll | 11 +- .../ql/lib/codeql/rust/elements/BlockExpr.qll | 18 +- .../codeql/rust/elements/BlockExprBase.qll | 10 - rust/ql/lib/codeql/rust/elements/BoxExpr.qll | 15 - rust/ql/lib/codeql/rust/elements/BoxPat.qll | 9 - .../ql/lib/codeql/rust/elements/BreakExpr.qll | 20 +- rust/ql/lib/codeql/rust/elements/CallExpr.qll | 11 +- rust/ql/lib/codeql/rust/elements/CastExpr.qll | 9 +- .../codeql/rust/elements/ClosureBinder.qll | 10 + .../lib/codeql/rust/elements/ClosureExpr.qll | 18 +- rust/ql/lib/codeql/rust/elements/Const.qll | 15 + rust/ql/lib/codeql/rust/elements/ConstArg.qll | 10 + .../codeql/rust/elements/ConstBlockPat.qll | 11 +- .../ql/lib/codeql/rust/elements/ConstExpr.qll | 17 - .../lib/codeql/rust/elements/ConstParam.qll | 13 + .../lib/codeql/rust/elements/ContinueExpr.qll | 20 +- .../lib/codeql/rust/elements/Declaration.qll | 12 - .../lib/codeql/rust/elements/DynTraitType.qll | 10 + .../codeql/rust/elements/ElementListExpr.qll | 17 - rust/ql/lib/codeql/rust/elements/Enum.qll | 16 + rust/ql/lib/codeql/rust/elements/Expr.qll | 3 - rust/ql/lib/codeql/rust/elements/ExprStmt.qll | 8 - .../lib/codeql/rust/elements/ExternBlock.qll | 12 + .../lib/codeql/rust/elements/ExternCrate.qll | 13 + .../lib/codeql/rust/elements/ExternItem.qll | 9 + .../codeql/rust/elements/ExternItemList.qll | 11 + .../ql/lib/codeql/rust/elements/FieldExpr.qll | 8 +- .../ql/lib/codeql/rust/elements/FieldList.qll | 9 + rust/ql/lib/codeql/rust/elements/Fn.qll | 20 + .../ql/lib/codeql/rust/elements/FnPtrType.qll | 12 + rust/ql/lib/codeql/rust/elements/ForExpr.qll | 13 + rust/ql/lib/codeql/rust/elements/ForType.qll | 10 + .../codeql/rust/elements/FormatArgsArg.qll | 11 + .../codeql/rust/elements/FormatArgsExpr.qll | 11 + rust/ql/lib/codeql/rust/elements/Function.qll | 22 - .../lib/codeql/rust/elements/GenericArg.qll | 9 + .../codeql/rust/elements/GenericArgList.qll | 8 +- .../lib/codeql/rust/elements/GenericParam.qll | 9 + .../codeql/rust/elements/GenericParamList.qll | 10 + rust/ql/lib/codeql/rust/elements/IdentPat.qll | 17 +- rust/ql/lib/codeql/rust/elements/IfExpr.qll | 17 +- rust/ql/lib/codeql/rust/elements/Impl.qll | 15 + .../codeql/rust/elements/ImplTraitType.qll | 10 + .../ql/lib/codeql/rust/elements/IndexExpr.qll | 8 +- .../ql/lib/codeql/rust/elements/InferType.qll | 9 + rust/ql/lib/codeql/rust/elements/Item.qll | 9 + rust/ql/lib/codeql/rust/elements/ItemList.qll | 11 + rust/ql/lib/codeql/rust/elements/ItemStmt.qll | 18 - rust/ql/lib/codeql/rust/elements/Label.qll | 10 +- rust/ql/lib/codeql/rust/elements/LetElse.qll | 10 + rust/ql/lib/codeql/rust/elements/LetExpr.qll | 9 +- rust/ql/lib/codeql/rust/elements/LetStmt.qll | 16 +- rust/ql/lib/codeql/rust/elements/Lifetime.qll | 9 + .../lib/codeql/rust/elements/LifetimeArg.qll | 10 + .../codeql/rust/elements/LifetimeParam.qll | 12 + rust/ql/lib/codeql/rust/elements/Literal.qll | 10 + .../lib/codeql/rust/elements/LiteralExpr.qll | 21 - .../lib/codeql/rust/elements/LiteralPat.qll | 11 +- rust/ql/lib/codeql/rust/elements/LoopExpr.qll | 26 +- .../ql/lib/codeql/rust/elements/MacroCall.qll | 14 + rust/ql/lib/codeql/rust/elements/MacroDef.qll | 13 + .../ql/lib/codeql/rust/elements/MacroExpr.qll | 10 + .../lib/codeql/rust/elements/MacroItems.qll | 10 + rust/ql/lib/codeql/rust/elements/MacroPat.qll | 10 + .../lib/codeql/rust/elements/MacroRules.qll | 13 + .../lib/codeql/rust/elements/MacroStmts.qll | 11 + .../ql/lib/codeql/rust/elements/MacroType.qll | 10 + rust/ql/lib/codeql/rust/elements/MatchArm.qll | 17 +- .../lib/codeql/rust/elements/MatchArmList.qll | 11 + .../ql/lib/codeql/rust/elements/MatchExpr.qll | 18 +- .../lib/codeql/rust/elements/MatchGuard.qll | 10 + rust/ql/lib/codeql/rust/elements/Meta.qll | 12 + .../codeql/rust/elements/MethodCallExpr.qll | 9 +- .../lib/codeql/rust/elements/MissingExpr.qll | 17 - .../lib/codeql/rust/elements/MissingPat.qll | 18 - rust/ql/lib/codeql/rust/elements/Module.qll | 17 +- rust/ql/lib/codeql/rust/elements/Name.qll | 9 + rust/ql/lib/codeql/rust/elements/NameRef.qll | 9 + .../ql/lib/codeql/rust/elements/NeverType.qll | 9 + .../lib/codeql/rust/elements/OffsetOfExpr.qll | 10 +- rust/ql/lib/codeql/rust/elements/OrPat.qll | 8 - rust/ql/lib/codeql/rust/elements/Param.qll | 12 + .../ql/lib/codeql/rust/elements/ParamList.qll | 11 + .../ql/lib/codeql/rust/elements/ParenExpr.qll | 10 + rust/ql/lib/codeql/rust/elements/ParenPat.qll | 9 + .../ql/lib/codeql/rust/elements/ParenType.qll | 9 + rust/ql/lib/codeql/rust/elements/Pat.qll | 3 - rust/ql/lib/codeql/rust/elements/Path.qll | 8 +- rust/ql/lib/codeql/rust/elements/PathExpr.qll | 10 +- rust/ql/lib/codeql/rust/elements/PathPat.qll | 9 - .../lib/codeql/rust/elements/PathSegment.qll | 16 + rust/ql/lib/codeql/rust/elements/PathType.qll | 10 + .../lib/codeql/rust/elements/PrefixExpr.qll | 9 +- rust/ql/lib/codeql/rust/elements/PtrType.qll | 9 + .../ql/lib/codeql/rust/elements/RangeExpr.qll | 12 +- rust/ql/lib/codeql/rust/elements/RangePat.qll | 10 - .../lib/codeql/rust/elements/RecordExpr.qll | 11 +- .../codeql/rust/elements/RecordExprField.qll | 8 +- .../rust/elements/RecordExprFieldList.qll | 12 + .../lib/codeql/rust/elements/RecordField.qll | 13 + .../codeql/rust/elements/RecordFieldList.qll | 10 + .../ql/lib/codeql/rust/elements/RecordPat.qll | 11 +- .../codeql/rust/elements/RecordPatField.qll | 8 +- .../rust/elements/RecordPatFieldList.qll | 11 + rust/ql/lib/codeql/rust/elements/RefExpr.qll | 10 +- rust/ql/lib/codeql/rust/elements/RefPat.qll | 9 - rust/ql/lib/codeql/rust/elements/RefType.qll | 10 + rust/ql/lib/codeql/rust/elements/Rename.qll | 10 + .../lib/codeql/rust/elements/RepeatExpr.qll | 15 - rust/ql/lib/codeql/rust/elements/RestPat.qll | 10 + rust/ql/lib/codeql/rust/elements/RetType.qll | 10 + .../lib/codeql/rust/elements/ReturnExpr.qll | 14 +- .../codeql/rust/elements/ReturnTypeSyntax.qll | 9 + .../ql/lib/codeql/rust/elements/SelfParam.qll | 13 + rust/ql/lib/codeql/rust/elements/SlicePat.qll | 9 - .../ql/lib/codeql/rust/elements/SliceType.qll | 9 + .../lib/codeql/rust/elements/SourceFile.qll | 11 + rust/ql/lib/codeql/rust/elements/Static.qll | 15 + rust/ql/lib/codeql/rust/elements/Stmt.qll | 3 - rust/ql/lib/codeql/rust/elements/StmtList.qll | 12 + rust/ql/lib/codeql/rust/elements/Struct.qll | 16 + .../ql/lib/codeql/rust/elements/TokenTree.qll | 9 + rust/ql/lib/codeql/rust/elements/Trait.qll | 16 + .../lib/codeql/rust/elements/TraitAlias.qll | 15 + rust/ql/lib/codeql/rust/elements/TryExpr.qll | 10 + .../ql/lib/codeql/rust/elements/TupleExpr.qll | 8 +- .../lib/codeql/rust/elements/TupleField.qll | 12 + .../codeql/rust/elements/TupleFieldList.qll | 10 + rust/ql/lib/codeql/rust/elements/TuplePat.qll | 7 - .../codeql/rust/elements/TupleStructPat.qll | 10 - .../ql/lib/codeql/rust/elements/TupleType.qll | 9 + rust/ql/lib/codeql/rust/elements/Type.qll | 9 + .../ql/lib/codeql/rust/elements/TypeAlias.qll | 18 + rust/ql/lib/codeql/rust/elements/TypeArg.qll | 10 + .../ql/lib/codeql/rust/elements/TypeBound.qll | 12 + .../codeql/rust/elements/TypeBoundList.qll | 10 + .../ql/lib/codeql/rust/elements/TypeParam.qll | 13 + rust/ql/lib/codeql/rust/elements/TypeRef.qll | 18 - .../codeql/rust/elements/UnderscoreExpr.qll | 7 +- .../elements/UnimplementedDeclaration.qll | 13 - rust/ql/lib/codeql/rust/elements/Union.qll | 16 + .../codeql/rust/elements/UnsafeBlockExpr.qll | 18 - rust/ql/lib/codeql/rust/elements/Use.qll | 12 + rust/ql/lib/codeql/rust/elements/UseTree.qll | 12 + .../lib/codeql/rust/elements/UseTreeList.qll | 10 + rust/ql/lib/codeql/rust/elements/Variant.qll | 14 + .../lib/codeql/rust/elements/VariantList.qll | 10 + .../lib/codeql/rust/elements/Visibility.qll | 10 + .../lib/codeql/rust/elements/WhereClause.qll | 10 + .../ql/lib/codeql/rust/elements/WherePred.qll | 13 + .../ql/lib/codeql/rust/elements/WhileExpr.qll | 12 + .../lib/codeql/rust/elements/WildcardPat.qll | 6 - rust/ql/lib/codeql/rust/elements/YeetExpr.qll | 9 +- .../ql/lib/codeql/rust/elements/YieldExpr.qll | 10 +- .../rust/elements/internal/AbiConstructor.qll | 14 + .../{BlockExprBaseImpl.qll => AbiImpl.qll} | 8 +- .../{DeclarationImpl.qll => AdtImpl.qll} | 11 +- ...Constructor.qll => ArgListConstructor.qll} | 6 +- .../{RepeatExprImpl.qll => ArgListImpl.qll} | 13 +- ...nstructor.qll => ArrayExprConstructor.qll} | 6 +- .../rust/elements/internal/ArrayExprImpl.qll | 7 - .../internal/ArrayTypeConstructor.qll | 14 + .../{BoxExprImpl.qll => ArrayTypeImpl.qll} | 14 +- .../rust/elements/internal/AsmExprImpl.qll | 8 - .../rust/elements/internal/AssocItemImpl.qll | 16 + .../internal/AssocItemListConstructor.qll | 14 + .../elements/internal/AssocItemListImpl.qll | 16 + .../internal/AssocTypeArgConstructor.qll | 14 + .../elements/internal/AssocTypeArgImpl.qll | 16 + .../elements/internal/AsyncBlockExprImpl.qll | 25 - .../elements/internal/AttrConstructor.qll | 14 + .../rust/elements/internal/AttrImpl.qll | 16 + .../rust/elements/internal/AwaitExprImpl.qll | 9 - .../rust/elements/internal/BecomeExprImpl.qll | 11 - .../rust/elements/internal/BinaryExprImpl.qll | 10 - .../rust/elements/internal/BlockExprImpl.qll | 14 - .../rust/elements/internal/BoxPatImpl.qll | 9 - .../rust/elements/internal/BreakExprImpl.qll | 17 - .../rust/elements/internal/CallExprImpl.qll | 9 - .../rust/elements/internal/CastExprImpl.qll | 6 - .../internal/ClosureBinderConstructor.qll | 14 + .../elements/internal/ClosureBinderImpl.qll | 16 + .../elements/internal/ClosureExprImpl.qll | 12 - ...onstructor.qll => ConstArgConstructor.qll} | 6 +- .../rust/elements/internal/ConstArgImpl.qll | 16 + .../elements/internal/ConstBlockPatImpl.qll | 9 - .../elements/internal/ConstConstructor.qll | 14 + .../rust/elements/internal/ConstExprImpl.qll | 24 - .../rust/elements/internal/ConstImpl.qll | 16 + ...structor.qll => ConstParamConstructor.qll} | 6 +- .../rust/elements/internal/ConstParamImpl.qll | 16 + .../elements/internal/ContinueExprImpl.qll | 17 - .../internal/DynTraitTypeConstructor.qll | 14 + .../elements/internal/DynTraitTypeImpl.qll | 16 + .../elements/internal/ElementListExprImpl.qll | 23 - .../elements/internal/EnumConstructor.qll | 14 + .../rust/elements/internal/EnumImpl.qll | 16 + .../rust/elements/internal/ExprImpl.qll | 3 - .../rust/elements/internal/ExprStmtImpl.qll | 8 - ...tructor.qll => ExternBlockConstructor.qll} | 6 +- .../elements/internal/ExternBlockImpl.qll | 16 + ...tructor.qll => ExternCrateConstructor.qll} | 6 +- .../elements/internal/ExternCrateImpl.qll | 16 + .../rust/elements/internal/ExternItemImpl.qll | 16 + ...ctor.qll => ExternItemListConstructor.qll} | 6 +- .../elements/internal/ExternItemListImpl.qll | 16 + .../rust/elements/internal/FieldExprImpl.qll | 6 - .../rust/elements/internal/FieldListImpl.qll | 16 + .../rust/elements/internal/FnConstructor.qll | 14 + .../codeql/rust/elements/internal/FnImpl.qll | 16 + .../internal/FnPtrTypeConstructor.qll | 14 + .../rust/elements/internal/FnPtrTypeImpl.qll | 16 + ...Constructor.qll => ForExprConstructor.qll} | 6 +- .../rust/elements/internal/ForExprImpl.qll | 16 + .../elements/internal/ForTypeConstructor.qll | 14 + .../rust/elements/internal/ForTypeImpl.qll | 16 + .../internal/FormatArgsArgConstructor.qll | 14 + .../elements/internal/FormatArgsArgImpl.qll | 16 + .../internal/FormatArgsExprConstructor.qll | 14 + .../elements/internal/FormatArgsExprImpl.qll | 16 + .../rust/elements/internal/GenericArgImpl.qll | 16 + .../elements/internal/GenericArgListImpl.qll | 6 - .../elements/internal/GenericParamImpl.qll | 16 + ...or.qll => GenericParamListConstructor.qll} | 6 +- .../internal/GenericParamListImpl.qll | 16 + .../rust/elements/internal/IdentPatImpl.qll | 15 - .../rust/elements/internal/IfExprImpl.qll | 15 - .../elements/internal/ImplConstructor.qll | 14 + .../rust/elements/internal/ImplImpl.qll | 16 + .../internal/ImplTraitTypeConstructor.qll | 14 + .../elements/internal/ImplTraitTypeImpl.qll | 16 + .../rust/elements/internal/IndexExprImpl.qll | 7 - .../internal/InferTypeConstructor.qll | 14 + .../rust/elements/internal/InferTypeImpl.qll | 16 + .../rust/elements/internal/ItemImpl.qll | 16 + ...onstructor.qll => ItemListConstructor.qll} | 6 +- .../rust/elements/internal/ItemListImpl.qll | 16 + .../rust/elements/internal/ItemStmtImpl.qll | 25 - .../rust/elements/internal/LabelImpl.qll | 9 - .../elements/internal/LetElseConstructor.qll | 14 + .../rust/elements/internal/LetElseImpl.qll | 16 + .../rust/elements/internal/LetExprImpl.qll | 8 - .../rust/elements/internal/LetStmtImpl.qll | 12 - .../internal/LifetimeArgConstructor.qll | 14 + .../elements/internal/LifetimeArgImpl.qll | 16 + .../elements/internal/LifetimeConstructor.qll | 14 + .../rust/elements/internal/LifetimeImpl.qll | 16 + .../internal/LifetimeParamConstructor.qll | 14 + .../elements/internal/LifetimeParamImpl.qll | 16 + .../elements/internal/LiteralConstructor.qll | 14 + .../elements/internal/LiteralExprImpl.qll | 28 - .../rust/elements/internal/LiteralImpl.qll | 16 + .../rust/elements/internal/LiteralPatImpl.qll | 9 - .../rust/elements/internal/LoopExprImpl.qll | 24 - .../internal/MacroCallConstructor.qll | 14 + .../rust/elements/internal/MacroCallImpl.qll | 16 + .../elements/internal/MacroDefConstructor.qll | 14 + .../rust/elements/internal/MacroDefImpl.qll | 16 + .../internal/MacroExprConstructor.qll | 14 + .../rust/elements/internal/MacroExprImpl.qll | 16 + ...structor.qll => MacroItemsConstructor.qll} | 6 +- .../rust/elements/internal/MacroItemsImpl.qll | 16 + .../elements/internal/MacroPatConstructor.qll | 14 + .../rust/elements/internal/MacroPatImpl.qll | 16 + .../internal/MacroRulesConstructor.qll | 14 + .../rust/elements/internal/MacroRulesImpl.qll | 16 + .../internal/MacroStmtsConstructor.qll | 14 + .../rust/elements/internal/MacroStmtsImpl.qll | 16 + .../internal/MacroTypeConstructor.qll | 14 + .../rust/elements/internal/MacroTypeImpl.qll | 16 + .../rust/elements/internal/MatchArmImpl.qll | 15 - .../internal/MatchArmListConstructor.qll | 14 + .../elements/internal/MatchArmListImpl.qll | 16 + .../rust/elements/internal/MatchExprImpl.qll | 15 - .../internal/MatchGuardConstructor.qll | 14 + .../rust/elements/internal/MatchGuardImpl.qll | 16 + .../elements/internal/MetaConstructor.qll | 14 + .../rust/elements/internal/MetaImpl.qll | 16 + .../elements/internal/MethodCallExprImpl.qll | 6 - .../elements/internal/MissingConstructor.qll | 14 + .../elements/internal/MissingExprImpl.qll | 23 - .../rust/elements/internal/MissingPatImpl.qll | 24 - .../rust/elements/internal/ModuleImpl.qll | 11 - .../elements/internal/NameConstructor.qll | 14 + .../rust/elements/internal/NameImpl.qll | 16 + .../elements/internal/NameRefConstructor.qll | 14 + .../rust/elements/internal/NameRefImpl.qll | 16 + .../internal/NeverTypeConstructor.qll | 14 + .../rust/elements/internal/NeverTypeImpl.qll | 16 + .../elements/internal/OffsetOfExprImpl.qll | 6 - .../rust/elements/internal/OrPatImpl.qll | 8 - .../elements/internal/ParamConstructor.qll | 14 + .../rust/elements/internal/ParamImpl.qll | 16 + .../internal/ParamListConstructor.qll | 14 + .../rust/elements/internal/ParamListImpl.qll | 16 + .../internal/ParenExprConstructor.qll | 14 + .../rust/elements/internal/ParenExprImpl.qll | 16 + .../elements/internal/ParenPatConstructor.qll | 14 + .../rust/elements/internal/ParenPatImpl.qll | 16 + .../internal/ParenTypeConstructor.qll | 14 + .../rust/elements/internal/ParenTypeImpl.qll | 16 + .../codeql/rust/elements/internal/PatImpl.qll | 3 - .../rust/elements/internal/PathExprImpl.qll | 9 - .../rust/elements/internal/PathImpl.qll | 6 - .../rust/elements/internal/PathPatImpl.qll | 9 - .../internal/PathSegmentConstructor.qll | 14 + .../elements/internal/PathSegmentImpl.qll | 16 + .../elements/internal/PathTypeConstructor.qll | 14 + .../rust/elements/internal/PathTypeImpl.qll | 16 + .../rust/elements/internal/PrefixExprImpl.qll | 8 - .../elements/internal/PtrTypeConstructor.qll | 14 + .../rust/elements/internal/PtrTypeImpl.qll | 16 + .../rust/elements/internal/RangeExprImpl.qll | 11 - .../rust/elements/internal/RangePatImpl.qll | 10 - .../elements/internal/RecordExprFieldImpl.qll | 6 - .../RecordExprFieldListConstructor.qll | 14 + .../internal/RecordExprFieldListImpl.qll | 16 + .../rust/elements/internal/RecordExprImpl.qll | 9 - .../internal/RecordFieldConstructor.qll | 14 + .../elements/internal/RecordFieldImpl.qll | 16 + ...tor.qll => RecordFieldListConstructor.qll} | 6 +- .../elements/internal/RecordFieldListImpl.qll | 16 + .../elements/internal/RecordPatFieldImpl.qll | 6 - .../RecordPatFieldListConstructor.qll | 14 + .../internal/RecordPatFieldListImpl.qll | 16 + .../rust/elements/internal/RecordPatImpl.qll | 9 - .../rust/elements/internal/RefExprImpl.qll | 9 - .../rust/elements/internal/RefPatImpl.qll | 9 - .../elements/internal/RefTypeConstructor.qll | 14 + .../rust/elements/internal/RefTypeImpl.qll | 16 + .../elements/internal/RenameConstructor.qll | 14 + .../rust/elements/internal/RenameImpl.qll | 16 + .../elements/internal/RestPatConstructor.qll | 14 + .../rust/elements/internal/RestPatImpl.qll | 16 + .../elements/internal/RetTypeConstructor.qll | 14 + .../rust/elements/internal/RetTypeImpl.qll | 16 + .../rust/elements/internal/ReturnExprImpl.qll | 13 - .../internal/ReturnTypeSyntaxConstructor.qll | 14 + .../internal/ReturnTypeSyntaxImpl.qll | 16 + .../internal/SelfParamConstructor.qll | 14 + .../rust/elements/internal/SelfParamImpl.qll | 16 + .../rust/elements/internal/SlicePatImpl.qll | 9 - .../internal/SliceTypeConstructor.qll | 14 + .../rust/elements/internal/SliceTypeImpl.qll | 16 + .../internal/SourceFileConstructor.qll | 14 + .../rust/elements/internal/SourceFileImpl.qll | 16 + .../elements/internal/StaticConstructor.qll | 14 + .../rust/elements/internal/StaticImpl.qll | 16 + .../rust/elements/internal/StmtImpl.qll | 3 - .../elements/internal/StmtListConstructor.qll | 14 + .../rust/elements/internal/StmtListImpl.qll | 16 + .../elements/internal/StructConstructor.qll | 14 + .../rust/elements/internal/StructImpl.qll | 16 + .../internal/TokenTreeConstructor.qll | 14 + .../rust/elements/internal/TokenTreeImpl.qll | 16 + .../internal/TraitAliasConstructor.qll | 14 + .../rust/elements/internal/TraitAliasImpl.qll | 16 + .../elements/internal/TraitConstructor.qll | 14 + .../rust/elements/internal/TraitImpl.qll | 16 + .../elements/internal/TryExprConstructor.qll | 14 + .../rust/elements/internal/TryExprImpl.qll | 16 + .../rust/elements/internal/TupleExprImpl.qll | 7 - .../internal/TupleFieldConstructor.qll | 14 + .../rust/elements/internal/TupleFieldImpl.qll | 16 + .../internal/TupleFieldListConstructor.qll | 14 + .../elements/internal/TupleFieldListImpl.qll | 16 + .../rust/elements/internal/TuplePatImpl.qll | 7 - .../elements/internal/TupleStructPatImpl.qll | 10 - .../internal/TupleTypeConstructor.qll | 14 + .../rust/elements/internal/TupleTypeImpl.qll | 16 + .../internal/TypeAliasConstructor.qll | 14 + .../rust/elements/internal/TypeAliasImpl.qll | 16 + .../elements/internal/TypeArgConstructor.qll | 14 + .../rust/elements/internal/TypeArgImpl.qll | 16 + .../internal/TypeBoundConstructor.qll | 14 + .../rust/elements/internal/TypeBoundImpl.qll | 16 + .../internal/TypeBoundListConstructor.qll | 14 + .../elements/internal/TypeBoundListImpl.qll | 16 + .../rust/elements/internal/TypeImpl.qll | 16 + .../internal/TypeParamConstructor.qll | 14 + .../rust/elements/internal/TypeParamImpl.qll | 16 + .../rust/elements/internal/TypeRefImpl.qll | 24 - .../elements/internal/UnderscoreExprImpl.qll | 6 - .../internal/UnimplementedConstructor.qll | 14 + .../UnimplementedDeclarationConstructor.qll | 14 - .../internal/UnimplementedDeclarationImpl.qll | 19 - .../elements/internal/UnionConstructor.qll | 14 + .../rust/elements/internal/UnionImpl.qll | 16 + .../elements/internal/UnsafeBlockExprImpl.qll | 25 - .../rust/elements/internal/UseConstructor.qll | 14 + .../codeql/rust/elements/internal/UseImpl.qll | 16 + .../elements/internal/UseTreeConstructor.qll | 14 + .../rust/elements/internal/UseTreeImpl.qll | 16 + .../internal/UseTreeListConstructor.qll | 14 + .../elements/internal/UseTreeListImpl.qll | 16 + .../elements/internal/VariantConstructor.qll | 14 + .../rust/elements/internal/VariantImpl.qll | 16 + .../internal/VariantListConstructor.qll | 14 + .../elements/internal/VariantListImpl.qll | 16 + .../internal/VisibilityConstructor.qll | 14 + .../rust/elements/internal/VisibilityImpl.qll | 16 + .../internal/WhereClauseConstructor.qll | 14 + .../elements/internal/WhereClauseImpl.qll | 16 + .../internal/WherePredConstructor.qll | 14 + .../rust/elements/internal/WherePredImpl.qll | 16 + .../internal/WhileExprConstructor.qll | 14 + .../rust/elements/internal/WhileExprImpl.qll | 16 + .../elements/internal/WildcardPatImpl.qll | 6 - .../rust/elements/internal/YeetExprImpl.qll | 8 - .../rust/elements/internal/YieldExprImpl.qll | 9 - .../generated/{Declaration.qll => Abi.qll} | 13 +- .../rust/elements/internal/generated/Adt.qll | 21 + .../elements/internal/generated/ArgList.qll | 42 + .../elements/internal/generated/ArrayExpr.qll | 47 +- .../elements/internal/generated/ArrayType.qll | 53 + .../elements/internal/generated/AsmExpr.qll | 32 +- .../elements/internal/generated/AssocItem.qll | 21 + .../internal/generated/AssocItemList.qll | 65 + .../internal/generated/AssocTypeArg.qll | 149 + .../internal/generated/AsyncBlockExpr.qll | 30 - .../rust/elements/internal/generated/Attr.qll | 36 + .../elements/internal/generated/AwaitExpr.qll | 33 +- .../internal/generated/BecomeExpr.qll | 37 +- .../internal/generated/BinaryExpr.qll | 47 +- .../elements/internal/generated/BlockExpr.qll | 51 +- .../internal/generated/BlockExprBase.qll | 58 - .../elements/internal/generated/BoxExpr.qll | 35 - .../elements/internal/generated/BoxPat.qll | 18 +- .../elements/internal/generated/BreakExpr.qll | 48 +- .../elements/internal/generated/CallExpr.qll | 46 +- .../elements/internal/generated/CastExpr.qll | 44 +- .../internal/generated/ClosureBinder.qll | 39 + .../internal/generated/ClosureExpr.qll | 87 +- .../elements/internal/generated/Const.qll | 95 + .../elements/internal/generated/ConstArg.qll | 37 + .../internal/generated/ConstBlockPat.qll | 22 +- .../elements/internal/generated/ConstExpr.qll | 38 - .../internal/generated/ConstParam.qll | 88 + .../internal/generated/ContinueExpr.qll | 50 +- .../internal/generated/DynTraitType.qll | 39 + .../internal/generated/ElementListExpr.qll | 56 - .../rust/elements/internal/generated/Enum.qll | 113 + .../rust/elements/internal/generated/Expr.qll | 1 - .../elements/internal/generated/ExprStmt.qll | 12 +- .../internal/generated/ExternBlock.qll | 74 + .../internal/generated/ExternCrate.qll | 92 + .../internal/generated/ExternItem.qll | 21 + .../internal/generated/ExternItemList.qll | 65 + .../elements/internal/generated/FieldExpr.qll | 45 +- .../elements/internal/generated/FieldList.qll | 21 + .../rust/elements/internal/generated/Fn.qll | 152 + .../elements/internal/generated/FnPtrType.qll | 69 + .../elements/internal/generated/ForExpr.qll | 97 + .../elements/internal/generated/ForType.qll | 52 + .../internal/generated/FormatArgsArg.qll | 55 + .../internal/generated/FormatArgsExpr.qll | 81 + .../elements/internal/generated/Function.qll | 47 - .../internal/generated/GenericArg.qll | 21 + .../internal/generated/GenericArgList.qll | 30 +- .../internal/generated/GenericParam.qll | 21 + .../internal/generated/GenericParamList.qll | 44 + .../elements/internal/generated/IdentPat.qll | 54 +- .../elements/internal/generated/IfExpr.qll | 63 +- .../rust/elements/internal/generated/Impl.qll | 126 + .../internal/generated/ImplTraitType.qll | 39 + .../elements/internal/generated/IndexExpr.qll | 39 +- .../elements/internal/generated/InferType.qll | 23 + .../rust/elements/internal/generated/Item.qll | 21 + .../elements/internal/generated/ItemList.qll | 61 + .../elements/internal/generated/ItemStmt.qll | 30 - .../elements/internal/generated/Label.qll | 20 +- .../elements/internal/generated/LetElse.qll | 39 + .../elements/internal/generated/LetExpr.qll | 43 +- .../elements/internal/generated/LetStmt.qll | 67 +- .../elements/internal/generated/Lifetime.qll | 23 + .../internal/generated/LifetimeArg.qll | 39 + .../internal/generated/LifetimeParam.qll | 76 + .../elements/internal/generated/Literal.qll | 42 + .../internal/generated/LiteralExpr.qll | 33 - .../internal/generated/LiteralPat.qll | 22 +- .../elements/internal/generated/LoopExpr.qll | 56 +- .../elements/internal/generated/MacroCall.qll | 76 + .../elements/internal/generated/MacroDef.qll | 99 + .../elements/internal/generated/MacroExpr.qll | 39 + .../internal/generated/MacroItems.qll | 44 + .../elements/internal/generated/MacroPat.qll | 39 + .../internal/generated/MacroRules.qll | 90 + .../internal/generated/MacroStmts.qll | 58 + .../elements/internal/generated/MacroType.qll | 39 + .../elements/internal/generated/MatchArm.qll | 61 +- .../internal/generated/MatchArmList.qll | 65 + .../elements/internal/generated/MatchExpr.qll | 58 +- .../internal/generated/MatchGuard.qll | 39 + .../rust/elements/internal/generated/Meta.qll | 63 + .../internal/generated/MethodCallExpr.qll | 77 +- .../elements/internal/generated/Missing.qll | 4 +- .../internal/generated/MissingExpr.qll | 29 - .../internal/generated/MissingPat.qll | 30 - .../elements/internal/generated/Module.qll | 74 +- .../rust/elements/internal/generated/Name.qll | 23 + .../elements/internal/generated/NameRef.qll | 23 + .../elements/internal/generated/NeverType.qll | 23 + .../internal/generated/OffsetOfExpr.qll | 48 +- .../elements/internal/generated/OrPat.qll | 20 +- .../elements/internal/generated/Param.qll | 67 + .../elements/internal/generated/ParamList.qll | 60 + .../elements/internal/generated/ParenExpr.qll | 56 + .../elements/internal/generated/ParenPat.qll | 36 + .../elements/internal/generated/ParenType.qll | 37 + .../internal/generated/ParentChild.qll | 2259 +++-- .../rust/elements/internal/generated/Pat.qll | 1 - .../rust/elements/internal/generated/Path.qll | 33 +- .../elements/internal/generated/PathExpr.qll | 33 +- .../elements/internal/generated/PathPat.qll | 14 +- .../internal/generated/PathSegment.qll | 133 + .../elements/internal/generated/PathType.qll | 37 + .../internal/generated/PrefixExpr.qll | 33 +- .../elements/internal/generated/PtrType.qll | 36 + .../elements/internal/generated/RangeExpr.qll | 47 +- .../elements/internal/generated/RangePat.qll | 30 +- .../rust/elements/internal/generated/Raw.qll | 3056 ++++-- .../internal/generated/RecordExpr.qll | 52 +- .../internal/generated/RecordExprField.qll | 47 +- .../generated/RecordExprFieldList.qll | 81 + .../internal/generated/RecordField.qll | 88 + .../internal/generated/RecordFieldList.qll | 44 + .../elements/internal/generated/RecordPat.qll | 31 +- .../internal/generated/RecordPatField.qll | 47 +- .../internal/generated/RecordPatFieldList.qll | 60 + .../elements/internal/generated/RefExpr.qll | 35 +- .../elements/internal/generated/RefPat.qll | 13 +- .../elements/internal/generated/RefType.qll | 50 + .../elements/internal/generated/Rename.qll | 36 + .../internal/generated/RepeatExpr.qll | 45 - .../elements/internal/generated/RestPat.qll | 42 + .../elements/internal/generated/RetType.qll | 36 + .../internal/generated/ReturnExpr.qll | 32 +- .../internal/generated/ReturnTypeSyntax.qll | 23 + .../elements/internal/generated/SelfParam.qll | 86 + .../elements/internal/generated/SlicePat.qll | 52 +- .../elements/internal/generated/SliceType.qll | 37 + .../internal/generated/SourceFile.qll | 65 + .../elements/internal/generated/Static.qll | 98 + .../rust/elements/internal/generated/Stmt.qll | 1 - .../elements/internal/generated/StmtList.qll | 77 + .../elements/internal/generated/Struct.qll | 118 + .../elements/internal/generated/Synth.qll | 2845 +++++- .../internal/generated/SynthConstructors.qll | 106 +- .../elements/internal/generated/TokenTree.qll | 23 + .../elements/internal/generated/Trait.qll | 132 + .../internal/generated/TraitAlias.qll | 122 + .../elements/internal/generated/TryExpr.qll | 55 + .../elements/internal/generated/TupleExpr.qll | 39 +- .../internal/generated/TupleField.qll | 74 + .../internal/generated/TupleFieldList.qll | 44 + .../elements/internal/generated/TuplePat.qll | 31 +- .../internal/generated/TupleStructPat.qll | 50 +- .../elements/internal/generated/TupleType.qll | 44 + .../rust/elements/internal/generated/Type.qll | 21 + .../elements/internal/generated/TypeAlias.qll | 138 + .../elements/internal/generated/TypeArg.qll | 36 + .../elements/internal/generated/TypeBound.qll | 69 + .../internal/generated/TypeBoundList.qll | 44 + .../elements/internal/generated/TypeParam.qll | 88 + .../elements/internal/generated/TypeRef.qll | 30 - .../internal/generated/UnderscoreExpr.qll | 25 +- .../internal/generated/Unimplemented.qll | 4 +- .../generated/UnimplementedDeclaration.qll | 27 - .../elements/internal/generated/Union.qll | 117 + .../internal/generated/UnsafeBlockExpr.qll | 30 - .../rust/elements/internal/generated/Use.qll | 68 + .../elements/internal/generated/UseTree.qll | 66 + .../internal/generated/UseTreeList.qll | 44 + .../elements/internal/generated/Variant.qll | 100 + .../internal/generated/VariantList.qll | 44 + .../internal/generated/Visibility.qll | 37 + .../internal/generated/WhereClause.qll | 44 + .../elements/internal/generated/WherePred.qll | 85 + .../elements/internal/generated/WhileExpr.qll | 86 + .../internal/generated/WildcardPat.qll | 4 - .../elements/internal/generated/YeetExpr.qll | 25 +- .../elements/internal/generated/YieldExpr.qll | 26 +- rust/ql/lib/rust.dbscheme | 2968 +++++- rust/ql/lib/rust.dbscheme.stats | 4 - rust/ql/lib/rust.qll | 5 - .../generated/.generated_tests.list | 61 - .../extractor-tests/generated/.gitattributes | 61 - .../generated/Abi/MISSING_SOURCE.txt | 4 + .../generated/ArgList/MISSING_SOURCE.txt | 4 + .../generated/ArrayExpr/MISSING_SOURCE.txt | 4 + .../generated/ArrayType/MISSING_SOURCE.txt | 4 + .../generated/AsmExpr/AsmExpr.expected | 1 - .../generated/AsmExpr/AsmExpr.ql | 10 - .../generated/AsmExpr/MISSING_SOURCE.txt | 4 + .../generated/AsmExpr/gen_asm_expr.rs | 8 - .../AssocItemList/MISSING_SOURCE.txt | 4 + .../generated/AssocTypeArg/MISSING_SOURCE.txt | 4 + .../AsyncBlockExpr/AsyncBlockExpr.expected | 1 - .../AsyncBlockExpr/AsyncBlockExpr.ql | 11 - .../AsyncBlockExpr_getStatement.expected | 1 - .../AsyncBlockExpr_getStatement.ql | 7 - .../AsyncBlockExpr_getTail.expected | 1 - .../AsyncBlockExpr/AsyncBlockExpr_getTail.ql | 7 - .../AsyncBlockExpr/gen_async_block_expr.rs | 9 - .../generated/Attr/MISSING_SOURCE.txt | 4 + .../generated/AwaitExpr/AwaitExpr.expected | 1 - .../generated/AwaitExpr/AwaitExpr.ql | 10 - .../generated/AwaitExpr/MISSING_SOURCE.txt | 4 + .../generated/AwaitExpr/gen_await_expr.rs | 9 - .../generated/BecomeExpr/BecomeExpr.expected | 1 - .../generated/BecomeExpr/BecomeExpr.ql | 10 - .../generated/BecomeExpr/MISSING_SOURCE.txt | 4 + .../generated/BecomeExpr/gen_become_expr.rs | 10 - .../generated/BinaryExpr/BinaryExpr.expected | 5 - .../generated/BinaryExpr/BinaryExpr.ql | 12 - .../BinaryExpr/BinaryExpr_getOp.expected | 5 - .../generated/BinaryExpr/BinaryExpr_getOp.ql | 7 - .../generated/BinaryExpr/MISSING_SOURCE.txt | 4 + .../generated/BinaryExpr/gen_binary_expr.rs | 10 - .../generated/BlockExpr/BlockExpr.expected | 3 - .../generated/BlockExpr/BlockExpr.ql | 13 - .../BlockExpr/BlockExpr_getLabel.expected | 1 - .../generated/BlockExpr/BlockExpr_getLabel.ql | 7 - .../BlockExpr/BlockExpr_getStatement.expected | 3 - .../BlockExpr/BlockExpr_getStatement.ql | 7 - .../BlockExpr/BlockExpr_getTail.expected | 2 - .../generated/BlockExpr/BlockExpr_getTail.ql | 7 - .../generated/BlockExpr/MISSING_SOURCE.txt | 4 + .../generated/BlockExpr/gen_block_expr.rs | 12 - .../generated/BoxExpr/BoxExpr.expected | 1 - .../generated/BoxExpr/BoxExpr.ql | 10 - .../generated/BoxExpr/gen_box_expr.rs | 6 - .../generated/BoxPat/BoxPat.expected | 2 - .../generated/BoxPat/BoxPat.ql | 10 - .../generated/BoxPat/MISSING_SOURCE.txt | 4 + .../generated/BoxPat/gen_box_pat.rs | 9 - .../generated/BreakExpr/BreakExpr.expected | 2 - .../generated/BreakExpr/BreakExpr.ql | 11 - .../BreakExpr/BreakExpr_getExpr.expected | 1 - .../generated/BreakExpr/BreakExpr_getExpr.ql | 7 - .../BreakExpr/BreakExpr_getLabel.expected | 1 - .../generated/BreakExpr/BreakExpr_getLabel.ql | 7 - .../generated/BreakExpr/MISSING_SOURCE.txt | 4 + .../generated/BreakExpr/gen_break_expr.rs | 15 - .../generated/CallExpr/CallExpr.expected | 4 - .../generated/CallExpr/CallExpr.ql | 13 - .../CallExpr/CallExpr_getArg.expected | 4 - .../generated/CallExpr/CallExpr_getArg.ql | 7 - .../generated/CallExpr/MISSING_SOURCE.txt | 4 + .../generated/CallExpr/gen_call_expr.rs | 9 - .../generated/CastExpr/CastExpr.expected | 1 - .../generated/CastExpr/CastExpr.ql | 11 - .../generated/CastExpr/MISSING_SOURCE.txt | 4 + .../generated/CastExpr/gen_cast_expr.rs | 6 - .../ClosureBinder/MISSING_SOURCE.txt | 4 + .../ClosureExpr/ClosureExpr.expected | 5 - .../generated/ClosureExpr/ClosureExpr.ql | 17 - .../ClosureExpr/ClosureExpr_getArg.expected | 6 - .../ClosureExpr/ClosureExpr_getArg.ql | 7 - .../ClosureExpr_getArgType.expected | 2 - .../ClosureExpr/ClosureExpr_getArgType.ql | 7 - .../ClosureExpr_getRetType.expected | 1 - .../ClosureExpr/ClosureExpr_getRetType.ql | 7 - .../generated/ClosureExpr/MISSING_SOURCE.txt | 4 + .../generated/ClosureExpr/gen_closure_expr.rs | 12 - .../generated/Const/MISSING_SOURCE.txt | 4 + .../generated/ConstArg/MISSING_SOURCE.txt | 4 + .../ConstBlockPat/ConstBlockPat.expected | 1 - .../generated/ConstBlockPat/ConstBlockPat.ql | 10 - .../ConstBlockPat/MISSING_SOURCE.txt | 4 + .../ConstBlockPat/gen_const_block_pat.rs | 9 - .../generated/ConstExpr/ConstExpr.expected | 1 - .../generated/ConstExpr/ConstExpr.ql | 10 - .../generated/ConstExpr/gen_const_expr.rs | 8 - .../generated/ConstParam/MISSING_SOURCE.txt | 4 + .../ContinueExpr/ContinueExpr.expected | 2 - .../generated/ContinueExpr/ContinueExpr.ql | 10 - .../ContinueExpr_getLabel.expected | 1 - .../ContinueExpr/ContinueExpr_getLabel.ql | 7 - .../generated/ContinueExpr/MISSING_SOURCE.txt | 4 + .../ContinueExpr/gen_continue_expr.rs | 15 - .../generated/DynTraitType/MISSING_SOURCE.txt | 4 + .../ElementListExpr/ElementListExpr.expected | 2 - .../ElementListExpr/ElementListExpr.ql | 11 - .../ElementListExpr_getElement.expected | 10 - .../ElementListExpr_getElement.ql | 7 - .../ElementListExpr/gen_element_list_expr.rs | 7 - .../generated/Enum/MISSING_SOURCE.txt | 4 + .../generated/ExprStmt/ExprStmt.expected | 2 - .../generated/ExprStmt/ExprStmt.ql | 11 - .../generated/ExprStmt/MISSING_SOURCE.txt | 4 + .../generated/ExprStmt/gen_expr_stmt.rs | 8 - .../generated/ExternBlock/MISSING_SOURCE.txt | 4 + .../generated/ExternCrate/MISSING_SOURCE.txt | 4 + .../ExternItemList/MISSING_SOURCE.txt | 4 + .../generated/FieldExpr/FieldExpr.expected | 1 - .../generated/FieldExpr/FieldExpr.ql | 11 - .../generated/FieldExpr/MISSING_SOURCE.txt | 4 + .../generated/FieldExpr/gen_field_expr.rs | 6 - .../generated/Fn/MISSING_SOURCE.txt | 4 + .../generated/FnPtrType/MISSING_SOURCE.txt | 4 + .../generated/ForExpr/MISSING_SOURCE.txt | 4 + .../generated/ForType/MISSING_SOURCE.txt | 4 + .../FormatArgsArg/MISSING_SOURCE.txt | 4 + .../FormatArgsExpr/MISSING_SOURCE.txt | 4 + .../generated/Function/Function.expected | 1 - .../generated/Function/Function.ql | 11 - .../generated/Function/gen_function.rs | 8 - .../GenericArgList/GenericArgList.expected | 1 - .../GenericArgList/GenericArgList.ql | 7 - .../GenericArgList/MISSING_SOURCE.txt | 4 + .../GenericArgList/gen_generic_arg_list.rs | 6 - .../GenericParamList/MISSING_SOURCE.txt | 4 + .../generated/IdentPat/IdentPat.expected | 2 - .../generated/IdentPat/IdentPat.ql | 11 - .../IdentPat/IdentPat_getSubpat.expected | 1 - .../generated/IdentPat/IdentPat_getSubpat.ql | 7 - .../generated/IdentPat/MISSING_SOURCE.txt | 4 + .../generated/IdentPat/gen_ident_pat.rs | 13 - .../generated/IfExpr/IfExpr.expected | 2 - .../generated/IfExpr/IfExpr.ql | 12 - .../generated/IfExpr/IfExpr_getElse.expected | 1 - .../generated/IfExpr/IfExpr_getElse.ql | 7 - .../generated/IfExpr/MISSING_SOURCE.txt | 4 + .../generated/IfExpr/gen_if_expr.rs | 13 - .../generated/Impl/MISSING_SOURCE.txt | 4 + .../ImplTraitType/MISSING_SOURCE.txt | 4 + .../generated/IndexExpr/IndexExpr.expected | 2 - .../generated/IndexExpr/IndexExpr.ql | 12 - .../generated/IndexExpr/MISSING_SOURCE.txt | 4 + .../generated/IndexExpr/gen_index_expr.rs | 7 - .../generated/InferType/MISSING_SOURCE.txt | 4 + .../generated/ItemList/MISSING_SOURCE.txt | 4 + .../generated/Label/Label.expected | 2 - .../extractor-tests/generated/Label/Label.ql | 10 - .../generated/Label/MISSING_SOURCE.txt | 4 + .../generated/Label/gen_label.rs | 9 - .../generated/LetElse/MISSING_SOURCE.txt | 4 + .../generated/LetExpr/LetExpr.expected | 1 - .../generated/LetExpr/LetExpr.ql | 11 - .../generated/LetExpr/MISSING_SOURCE.txt | 4 + .../generated/LetExpr/gen_let_expr.rs | 8 - .../generated/LetStmt/LetStmt.expected | 6 - .../generated/LetStmt/LetStmt.ql | 14 - .../LetStmt/LetStmt_getElse.expected | 1 - .../generated/LetStmt/LetStmt_getElse.ql | 7 - .../LetStmt/LetStmt_getInitializer.expected | 4 - .../LetStmt/LetStmt_getInitializer.ql | 7 - .../LetStmt/LetStmt_getType.expected | 2 - .../generated/LetStmt/LetStmt_getType.ql | 7 - .../generated/LetStmt/MISSING_SOURCE.txt | 4 + .../generated/LetStmt/gen_let_stmt.rs | 13 - .../generated/Lifetime/MISSING_SOURCE.txt | 4 + .../generated/LifetimeArg/MISSING_SOURCE.txt | 4 + .../LifetimeParam/MISSING_SOURCE.txt | 4 + .../generated/Literal/MISSING_SOURCE.txt | 4 + .../LiteralExpr/LiteralExpr.expected | 8 - .../generated/LiteralExpr/LiteralExpr.ql | 7 - .../generated/LiteralExpr/gen_literal_expr.rs | 13 - .../generated/LiteralPat/LiteralPat.expected | 1 - .../generated/LiteralPat/LiteralPat.ql | 10 - .../generated/LiteralPat/MISSING_SOURCE.txt | 4 + .../generated/LiteralPat/gen_literal_pat.rs | 9 - .../generated/LoopExpr/LoopExpr.expected | 3 - .../generated/LoopExpr/LoopExpr.ql | 11 - .../LoopExpr/LoopExpr_getLabel.expected | 1 - .../generated/LoopExpr/LoopExpr_getLabel.ql | 7 - .../generated/LoopExpr/MISSING_SOURCE.txt | 4 + .../generated/LoopExpr/gen_loop_expr.rs | 20 - .../generated/MacroCall/MISSING_SOURCE.txt | 4 + .../generated/MacroDef/MISSING_SOURCE.txt | 4 + .../generated/MacroExpr/MISSING_SOURCE.txt | 4 + .../generated/MacroItems/MISSING_SOURCE.txt | 4 + .../generated/MacroPat/MISSING_SOURCE.txt | 4 + .../generated/MacroRules/MISSING_SOURCE.txt | 4 + .../generated/MacroStmts/MISSING_SOURCE.txt | 4 + .../generated/MacroType/MISSING_SOURCE.txt | 4 + .../generated/MatchArm/MISSING_SOURCE.txt | 4 + .../generated/MatchArm/MatchArm.expected | 4 - .../generated/MatchArm/MatchArm.ql | 12 - .../MatchArm/MatchArm_getGuard.expected | 1 - .../generated/MatchArm/MatchArm_getGuard.ql | 7 - .../generated/MatchArm/gen_match_arm.rs | 13 - .../generated/MatchArmList/MISSING_SOURCE.txt | 4 + .../generated/MatchExpr/MISSING_SOURCE.txt | 4 + .../generated/MatchExpr/MatchExpr.expected | 2 - .../generated/MatchExpr/MatchExpr.ql | 11 - .../MatchExpr/MatchExpr_getBranch.expected | 4 - .../MatchExpr/MatchExpr_getBranch.ql | 7 - .../generated/MatchExpr/gen_match_expr.rs | 13 - .../generated/MatchGuard/MISSING_SOURCE.txt | 4 + .../generated/Meta/MISSING_SOURCE.txt | 4 + .../MethodCallExpr/MISSING_SOURCE.txt | 4 + .../MethodCallExpr/MethodCallExpr.expected | 2 - .../MethodCallExpr/MethodCallExpr.ql | 16 - .../MethodCallExpr_getArg.expected | 2 - .../MethodCallExpr/MethodCallExpr_getArg.ql | 7 - .../MethodCallExpr_getGenericArgs.expected | 1 - .../MethodCallExpr_getGenericArgs.ql | 7 - .../MethodCallExpr/gen_method_call_expr.rs | 7 - .../MissingExpr/MissingExpr.expected | 1 - .../generated/MissingExpr/MissingExpr.ql | 7 - .../generated/MissingExpr/gen_missing_expr.rs | 7 - .../generated/MissingPat/MissingPat.expected | 1 - .../generated/MissingPat/MissingPat.ql | 7 - .../generated/MissingPat/gen_missing_pat.rs | 8 - .../generated/Module/MISSING_SOURCE.txt | 4 + .../generated/Module/Module.expected | 7 - .../generated/Module/Module.ql | 10 - .../Module/Module_getDeclaration.expected | 7 - .../generated/Module/Module_getDeclaration.ql | 7 - .../generated/Module/gen_module.rs | 7 - .../generated/Name/MISSING_SOURCE.txt | 4 + .../generated/NameRef/MISSING_SOURCE.txt | 4 + .../generated/NeverType/MISSING_SOURCE.txt | 4 + .../generated/OffsetOfExpr/MISSING_SOURCE.txt | 4 + .../OffsetOfExpr/OffsetOfExpr.expected | 1 - .../generated/OffsetOfExpr/OffsetOfExpr.ql | 11 - .../OffsetOfExpr_getField.expected | 1 - .../OffsetOfExpr/OffsetOfExpr_getField.ql | 7 - .../OffsetOfExpr/gen_offset_of_expr.rs | 6 - .../generated/OrPat/MISSING_SOURCE.txt | 4 + .../generated/OrPat/OrPat.expected | 1 - .../extractor-tests/generated/OrPat/OrPat.ql | 10 - .../generated/OrPat/OrPat_getArg.expected | 2 - .../generated/OrPat/OrPat_getArg.ql | 7 - .../generated/OrPat/gen_or_pat.rs | 8 - .../generated/Param/MISSING_SOURCE.txt | 4 + .../generated/ParamList/MISSING_SOURCE.txt | 4 + .../generated/ParenExpr/MISSING_SOURCE.txt | 4 + .../generated/ParenPat/MISSING_SOURCE.txt | 4 + .../generated/ParenType/MISSING_SOURCE.txt | 4 + .../generated/Path/MISSING_SOURCE.txt | 4 + .../generated/Path/Path.expected | 1 - .../extractor-tests/generated/Path/Path.ql | 7 - .../generated/Path/gen_path.rs | 6 - .../generated/PathExpr/MISSING_SOURCE.txt | 4 + .../generated/PathExpr/PathExpr.expected | 4 - .../generated/PathExpr/PathExpr.ql | 10 - .../generated/PathExpr/gen_path_expr.rs | 9 - .../generated/PathPat/MISSING_SOURCE.txt | 4 + .../generated/PathPat/PathPat.expected | 1 - .../generated/PathPat/PathPat.ql | 10 - .../generated/PathPat/gen_path_pat.rs | 9 - .../generated/PathSegment/MISSING_SOURCE.txt | 4 + .../generated/PathType/MISSING_SOURCE.txt | 4 + .../generated/PrefixExpr/MISSING_SOURCE.txt | 4 + .../generated/PrefixExpr/PrefixExpr.expected | 3 - .../generated/PrefixExpr/PrefixExpr.ql | 11 - .../generated/PrefixExpr/gen_prefix_expr.rs | 8 - .../generated/PtrType/MISSING_SOURCE.txt | 4 + .../generated/RangeExpr/MISSING_SOURCE.txt | 4 + .../generated/RangeExpr/RangeExpr.expected | 6 - .../generated/RangeExpr/RangeExpr.ql | 12 - .../RangeExpr/RangeExpr_getLhs.expected | 3 - .../generated/RangeExpr/RangeExpr_getLhs.ql | 7 - .../RangeExpr/RangeExpr_getRhs.expected | 4 - .../generated/RangeExpr/RangeExpr_getRhs.ql | 7 - .../generated/RangeExpr/gen_range_expr.rs | 11 - .../generated/RangePat/MISSING_SOURCE.txt | 4 + .../generated/RangePat/RangePat.expected | 3 - .../generated/RangePat/RangePat.ql | 11 - .../RangePat/RangePat_getEnd.expected | 2 - .../generated/RangePat/RangePat_getEnd.ql | 7 - .../RangePat/RangePat_getStart.expected | 2 - .../generated/RangePat/RangePat_getStart.ql | 7 - .../generated/RangePat/gen_range_pat.rs | 10 - .../generated/RecordExpr/MISSING_SOURCE.txt | 4 + .../generated/RecordExpr/RecordExpr.expected | 4 - .../generated/RecordExpr/RecordExpr.ql | 17 - .../RecordExpr/RecordExpr_getFld.expected | 5 - .../generated/RecordExpr/RecordExpr_getFld.ql | 7 - .../RecordExpr/RecordExpr_getPath.expected | 4 - .../RecordExpr/RecordExpr_getPath.ql | 7 - .../RecordExpr/RecordExpr_getSpread.expected | 1 - .../RecordExpr/RecordExpr_getSpread.ql | 7 - .../generated/RecordExpr/gen_record_expr.rs | 9 - .../RecordExprField/MISSING_SOURCE.txt | 4 + .../RecordExprField/RecordExprField.expected | 2 - .../RecordExprField/RecordExprField.ql | 11 - .../RecordExprField/gen_record_expr_field.rs | 6 - .../RecordExprFieldList/MISSING_SOURCE.txt | 4 + .../generated/RecordField/MISSING_SOURCE.txt | 4 + .../RecordFieldList/MISSING_SOURCE.txt | 4 + .../generated/RecordPat/MISSING_SOURCE.txt | 4 + .../generated/RecordPat/RecordPat.expected | 2 - .../generated/RecordPat/RecordPat.ql | 12 - .../RecordPat/RecordPat_getFld.expected | 2 - .../generated/RecordPat/RecordPat_getFld.ql | 7 - .../RecordPat/RecordPat_getPath.expected | 2 - .../generated/RecordPat/RecordPat_getPath.ql | 7 - .../generated/RecordPat/gen_record_pat.rs | 9 - .../RecordPatField/MISSING_SOURCE.txt | 4 + .../RecordPatField/RecordPatField.expected | 2 - .../RecordPatField/RecordPatField.ql | 11 - .../RecordPatField/gen_record_pat_field.rs | 6 - .../RecordPatFieldList/MISSING_SOURCE.txt | 4 + .../generated/RefExpr/MISSING_SOURCE.txt | 4 + .../generated/RefExpr/RefExpr.expected | 4 - .../generated/RefExpr/RefExpr.ql | 12 - .../generated/RefExpr/gen_ref_expr.rs | 9 - .../generated/RefPat/MISSING_SOURCE.txt | 4 + .../generated/RefPat/RefPat.expected | 2 - .../generated/RefPat/RefPat.ql | 11 - .../generated/RefPat/gen_ref_pat.rs | 9 - .../generated/RefType/MISSING_SOURCE.txt | 4 + .../generated/Rename/MISSING_SOURCE.txt | 4 + .../generated/RepeatExpr/RepeatExpr.expected | 1 - .../generated/RepeatExpr/RepeatExpr.ql | 11 - .../generated/RepeatExpr/gen_repeat_expr.rs | 6 - .../generated/RestPat/MISSING_SOURCE.txt | 4 + .../generated/RetType/MISSING_SOURCE.txt | 4 + .../generated/ReturnExpr/MISSING_SOURCE.txt | 4 + .../generated/ReturnExpr/ReturnExpr.expected | 2 - .../generated/ReturnExpr/ReturnExpr.ql | 10 - .../ReturnExpr/ReturnExpr_getExpr.expected | 1 - .../ReturnExpr/ReturnExpr_getExpr.ql | 7 - .../generated/ReturnExpr/gen_return_expr.rs | 9 - .../ReturnTypeSyntax/MISSING_SOURCE.txt | 4 + .../generated/SelfParam/MISSING_SOURCE.txt | 4 + .../generated/SlicePat/MISSING_SOURCE.txt | 4 + .../generated/SlicePat/SlicePat.expected | 3 - .../generated/SlicePat/SlicePat.ql | 13 - .../SlicePat/SlicePat_getPrefix.expected | 9 - .../generated/SlicePat/SlicePat_getPrefix.ql | 7 - .../SlicePat/SlicePat_getSlice.expected | 2 - .../generated/SlicePat/SlicePat_getSlice.ql | 7 - .../SlicePat/SlicePat_getSuffix.expected | 2 - .../generated/SlicePat/SlicePat_getSuffix.ql | 7 - .../generated/SlicePat/gen_slice_pat.rs | 10 - .../generated/SliceType/MISSING_SOURCE.txt | 4 + .../generated/SourceFile/MISSING_SOURCE.txt | 4 + .../generated/Static/MISSING_SOURCE.txt | 4 + .../generated/StmtList/MISSING_SOURCE.txt | 4 + .../generated/Struct/MISSING_SOURCE.txt | 4 + .../generated/TokenTree/MISSING_SOURCE.txt | 4 + .../generated/Trait/MISSING_SOURCE.txt | 4 + .../generated/TraitAlias/MISSING_SOURCE.txt | 4 + .../generated/TryExpr/MISSING_SOURCE.txt | 4 + .../generated/TupleExpr/MISSING_SOURCE.txt | 4 + .../generated/TupleExpr/TupleExpr.expected | 2 - .../generated/TupleExpr/TupleExpr.ql | 11 - .../TupleExpr/TupleExpr_getExpr.expected | 4 - .../generated/TupleExpr/TupleExpr_getExpr.ql | 7 - .../generated/TupleExpr/gen_tuple_expr.rs | 7 - .../generated/TupleField/MISSING_SOURCE.txt | 4 + .../TupleFieldList/MISSING_SOURCE.txt | 4 + .../generated/TuplePat/MISSING_SOURCE.txt | 4 + .../generated/TuplePat/TuplePat.expected | 2 - .../generated/TuplePat/TuplePat.ql | 11 - .../TuplePat/TuplePat_getArg.expected | 5 - .../generated/TuplePat/TuplePat_getArg.ql | 7 - .../TuplePat_getEllipsisIndex.expected | 1 - .../TuplePat/TuplePat_getEllipsisIndex.ql | 7 - .../generated/TuplePat/gen_tuple_pat.rs | 7 - .../TupleStructPat/MISSING_SOURCE.txt | 4 + .../TupleStructPat/TupleStructPat.expected | 3 - .../TupleStructPat/TupleStructPat.ql | 13 - .../TupleStructPat_getArg.expected | 5 - .../TupleStructPat/TupleStructPat_getArg.ql | 7 - .../TupleStructPat_getEllipsisIndex.expected | 2 - .../TupleStructPat_getEllipsisIndex.ql | 7 - .../TupleStructPat_getPath.expected | 3 - .../TupleStructPat/TupleStructPat_getPath.ql | 7 - .../TupleStructPat/gen_tuple_struct_pat.rs | 10 - .../generated/TupleType/MISSING_SOURCE.txt | 4 + .../generated/TypeAlias/MISSING_SOURCE.txt | 4 + .../generated/TypeArg/MISSING_SOURCE.txt | 4 + .../generated/TypeBound/MISSING_SOURCE.txt | 4 + .../TypeBoundList/MISSING_SOURCE.txt | 4 + .../generated/TypeParam/MISSING_SOURCE.txt | 4 + .../generated/TypeRef/TypeRef.expected | 3 - .../generated/TypeRef/TypeRef.ql | 7 - .../generated/TypeRef/gen_type_ref.rs | 8 - .../UnderscoreExpr/MISSING_SOURCE.txt | 4 + .../UnderscoreExpr/UnderscoreExpr.expected | 1 - .../UnderscoreExpr/UnderscoreExpr.ql | 7 - .../UnderscoreExpr/gen_underscore_expr.rs | 6 - .../generated/Union/MISSING_SOURCE.txt | 4 + .../UnsafeBlockExpr/UnsafeBlockExpr.expected | 1 - .../UnsafeBlockExpr/UnsafeBlockExpr.ql | 11 - .../UnsafeBlockExpr_getStatement.expected | 1 - .../UnsafeBlockExpr_getStatement.ql | 7 - .../UnsafeBlockExpr_getTail.expected | 1 - .../UnsafeBlockExpr_getTail.ql | 7 - .../UnsafeBlockExpr/gen_unsafe_block_expr.rs | 9 - .../generated/Use/MISSING_SOURCE.txt | 4 + .../generated/UseTree/MISSING_SOURCE.txt | 4 + .../generated/UseTreeList/MISSING_SOURCE.txt | 4 + .../generated/Variant/MISSING_SOURCE.txt | 4 + .../generated/VariantList/MISSING_SOURCE.txt | 4 + .../generated/Visibility/MISSING_SOURCE.txt | 4 + .../generated/WhereClause/MISSING_SOURCE.txt | 4 + .../generated/WherePred/MISSING_SOURCE.txt | 4 + .../generated/WhileExpr/MISSING_SOURCE.txt | 4 + .../generated/WildcardPat/MISSING_SOURCE.txt | 4 + .../WildcardPat/WildcardPat.expected | 1 - .../generated/WildcardPat/WildcardPat.ql | 7 - .../generated/WildcardPat/gen_wildcard_pat.rs | 6 - .../generated/YeetExpr/MISSING_SOURCE.txt | 4 + .../generated/YeetExpr/YeetExpr.expected | 1 - .../generated/YeetExpr/YeetExpr.ql | 10 - .../YeetExpr/YeetExpr_getExpr.expected | 1 - .../generated/YeetExpr/YeetExpr_getExpr.ql | 7 - .../generated/YeetExpr/gen_yeet_expr.rs | 8 - .../generated/YieldExpr/MISSING_SOURCE.txt | 4 + .../generated/YieldExpr/YieldExpr.expected | 1 - .../generated/YieldExpr/YieldExpr.ql | 10 - .../YieldExpr/YieldExpr_getExpr.expected | 1 - .../generated/YieldExpr/YieldExpr_getExpr.ql | 7 - .../generated/YieldExpr/gen_yield_expr.rs | 9 - 1029 files changed, 28758 insertions(+), 9594 deletions(-) create mode 100644 rust/ql/lib/codeql/rust/elements/Abi.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Adt.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ArgList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ArrayType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/AssocItem.qll create mode 100644 rust/ql/lib/codeql/rust/elements/AssocItemList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/AssocTypeArg.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/AsyncBlockExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Attr.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/BlockExprBase.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/BoxExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ClosureBinder.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Const.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ConstArg.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/ConstExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ConstParam.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/Declaration.qll create mode 100644 rust/ql/lib/codeql/rust/elements/DynTraitType.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/ElementListExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Enum.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ExternBlock.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ExternCrate.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ExternItem.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ExternItemList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/FieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Fn.qll create mode 100644 rust/ql/lib/codeql/rust/elements/FnPtrType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ForExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ForType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/FormatArgsArg.qll create mode 100644 rust/ql/lib/codeql/rust/elements/FormatArgsExpr.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/Function.qll create mode 100644 rust/ql/lib/codeql/rust/elements/GenericArg.qll create mode 100644 rust/ql/lib/codeql/rust/elements/GenericParam.qll create mode 100644 rust/ql/lib/codeql/rust/elements/GenericParamList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Impl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ImplTraitType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/InferType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Item.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ItemList.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/ItemStmt.qll create mode 100644 rust/ql/lib/codeql/rust/elements/LetElse.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Lifetime.qll create mode 100644 rust/ql/lib/codeql/rust/elements/LifetimeArg.qll create mode 100644 rust/ql/lib/codeql/rust/elements/LifetimeParam.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Literal.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/LiteralExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MacroCall.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MacroDef.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MacroExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MacroItems.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MacroPat.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MacroRules.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MacroStmts.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MacroType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MatchArmList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/MatchGuard.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Meta.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/MissingExpr.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/MissingPat.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Name.qll create mode 100644 rust/ql/lib/codeql/rust/elements/NameRef.qll create mode 100644 rust/ql/lib/codeql/rust/elements/NeverType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Param.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ParamList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ParenExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ParenPat.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ParenType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/PathSegment.qll create mode 100644 rust/ql/lib/codeql/rust/elements/PathType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/PtrType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/RecordExprFieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/RecordField.qll create mode 100644 rust/ql/lib/codeql/rust/elements/RecordFieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/RecordPatFieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/RefType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Rename.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/RepeatExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/RestPat.qll create mode 100644 rust/ql/lib/codeql/rust/elements/RetType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/ReturnTypeSyntax.qll create mode 100644 rust/ql/lib/codeql/rust/elements/SelfParam.qll create mode 100644 rust/ql/lib/codeql/rust/elements/SliceType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/SourceFile.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Static.qll create mode 100644 rust/ql/lib/codeql/rust/elements/StmtList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Struct.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TokenTree.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Trait.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TraitAlias.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TryExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TupleField.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TupleFieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TupleType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Type.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TypeAlias.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TypeArg.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TypeBound.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TypeBoundList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/TypeParam.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/TypeRef.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/UnimplementedDeclaration.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Union.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/UnsafeBlockExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Use.qll create mode 100644 rust/ql/lib/codeql/rust/elements/UseTree.qll create mode 100644 rust/ql/lib/codeql/rust/elements/UseTreeList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Variant.qll create mode 100644 rust/ql/lib/codeql/rust/elements/VariantList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/Visibility.qll create mode 100644 rust/ql/lib/codeql/rust/elements/WhereClause.qll create mode 100644 rust/ql/lib/codeql/rust/elements/WherePred.qll create mode 100644 rust/ql/lib/codeql/rust/elements/WhileExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/AbiConstructor.qll rename rust/ql/lib/codeql/rust/elements/internal/{BlockExprBaseImpl.qll => AbiImpl.qll} (60%) rename rust/ql/lib/codeql/rust/elements/internal/{DeclarationImpl.qll => AdtImpl.qll} (55%) rename rust/ql/lib/codeql/rust/elements/internal/{TypeRefConstructor.qll => ArgListConstructor.qll} (65%) rename rust/ql/lib/codeql/rust/elements/internal/{RepeatExprImpl.qll => ArgListImpl.qll} (53%) rename rust/ql/lib/codeql/rust/elements/internal/{ConstExprConstructor.qll => ArrayExprConstructor.qll} (65%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ArrayTypeConstructor.qll rename rust/ql/lib/codeql/rust/elements/internal/{BoxExprImpl.qll => ArrayTypeImpl.qll} (52%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/AssocItemImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/AssocItemListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/AssocItemListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/AssocTypeArgConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/AssocTypeArgImpl.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/AsyncBlockExprImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/AttrConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/AttrImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ClosureBinderConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ClosureBinderImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{ItemStmtConstructor.qll => ConstArgConstructor.qll} (65%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ConstArgImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ConstConstructor.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/ConstExprImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ConstImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{MissingPatConstructor.qll => ConstParamConstructor.qll} (64%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ConstParamImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/DynTraitTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/DynTraitTypeImpl.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/ElementListExprImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/EnumConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/EnumImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{LiteralExprConstructor.qll => ExternBlockConstructor.qll} (64%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ExternBlockImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{MissingExprConstructor.qll => ExternCrateConstructor.qll} (64%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ExternCrateImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ExternItemImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{AsyncBlockExprConstructor.qll => ExternItemListConstructor.qll} (64%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ExternItemListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/FieldListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/FnConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/FnImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/FnPtrTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/FnPtrTypeImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{BoxExprConstructor.qll => ForExprConstructor.qll} (65%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ForExprImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ForTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ForTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/FormatArgsArgConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/FormatArgsArgImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/FormatArgsExprConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/FormatArgsExprImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/GenericArgImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/GenericParamImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{ElementListExprConstructor.qll => GenericParamListConstructor.qll} (60%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/GenericParamListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ImplConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ImplImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ImplTraitTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ImplTraitTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/InferTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/InferTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ItemImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{FunctionConstructor.qll => ItemListConstructor.qll} (65%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ItemListImpl.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/ItemStmtImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LetElseConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LetElseImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LifetimeArgConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LifetimeArgImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LifetimeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LifetimeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LifetimeParamConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LifetimeParamImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LiteralConstructor.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/LiteralExprImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/LiteralImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroCallConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroCallImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroDefConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroDefImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroExprConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroExprImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{RepeatExprConstructor.qll => MacroItemsConstructor.qll} (64%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroItemsImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroPatConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroPatImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroRulesConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroRulesImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroStmtsConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroStmtsImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MacroTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MatchArmListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MatchArmListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MatchGuardConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MatchGuardImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MetaConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MetaImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/MissingConstructor.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/MissingExprImpl.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/MissingPatImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/NameConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/NameImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/NameRefConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/NameRefImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/NeverTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/NeverTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParamConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParamImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParamListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParamListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParenExprConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParenExprImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParenPatConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParenPatImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParenTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ParenTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/PathSegmentConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/PathSegmentImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/PathTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/PathTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/PtrTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/PtrTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RecordExprFieldListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RecordExprFieldListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RecordFieldConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RecordFieldImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/{UnsafeBlockExprConstructor.qll => RecordFieldListConstructor.qll} (64%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RecordFieldListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RecordPatFieldListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RecordPatFieldListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RefTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RefTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RenameConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RenameImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RestPatConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RestPatImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RetTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/RetTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ReturnTypeSyntaxConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/ReturnTypeSyntaxImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/SelfParamConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/SelfParamImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/SliceTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/SliceTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/SourceFileConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/SourceFileImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/StaticConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/StaticImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/StmtListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/StmtListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/StructConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/StructImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TokenTreeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TokenTreeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TraitAliasConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TraitAliasImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TraitConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TraitImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TryExprConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TryExprImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TupleFieldConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TupleFieldImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TupleFieldListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TupleFieldListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TupleTypeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TupleTypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeAliasConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeAliasImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeArgConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeArgImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeBoundConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeBoundImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeBoundListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeBoundListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeParamConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeParamImpl.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/TypeRefImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/UnimplementedConstructor.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/UnimplementedDeclarationConstructor.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/UnimplementedDeclarationImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/UnionConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/UnionImpl.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/UnsafeBlockExprImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/UseConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/UseImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/UseTreeConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/UseTreeImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/UseTreeListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/UseTreeListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/VariantConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/VariantImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/VariantListConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/VariantListImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/VisibilityConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/VisibilityImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/WhereClauseConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/WhereClauseImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/WherePredConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/WherePredImpl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/WhileExprConstructor.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/WhileExprImpl.qll rename rust/ql/lib/codeql/rust/elements/internal/generated/{Declaration.qll => Abi.qll} (52%) create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Adt.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ArgList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ArrayType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/AssocItem.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/AssocItemList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/AssocTypeArg.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/AsyncBlockExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Attr.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/BlockExprBase.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/BoxExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ClosureBinder.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Const.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ConstArg.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ConstExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ConstParam.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/DynTraitType.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ElementListExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Enum.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ExternBlock.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ExternCrate.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ExternItem.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ExternItemList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/FieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Fn.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/FnPtrType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ForExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ForType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/FormatArgsArg.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/FormatArgsExpr.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Function.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/GenericArg.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/GenericParam.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/GenericParamList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Impl.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ImplTraitType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/InferType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Item.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ItemList.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ItemStmt.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/LetElse.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Lifetime.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/LifetimeArg.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/LifetimeParam.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Literal.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/LiteralExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MacroCall.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MacroDef.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MacroExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MacroItems.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MacroPat.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MacroRules.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MacroStmts.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MacroType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MatchArmList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MatchGuard.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Meta.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MissingExpr.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/MissingPat.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Name.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/NameRef.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/NeverType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Param.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ParamList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ParenExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ParenPat.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ParenType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/PathSegment.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/PathType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/PtrType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/RecordExprFieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/RecordField.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/RecordFieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/RecordPatFieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/RefType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Rename.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/RepeatExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/RestPat.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/RetType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/ReturnTypeSyntax.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/SelfParam.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/SliceType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/SourceFile.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Static.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/StmtList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Struct.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TokenTree.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Trait.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TraitAlias.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TryExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TupleField.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TupleFieldList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TupleType.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Type.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TypeAlias.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TypeArg.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TypeBound.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TypeBoundList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TypeParam.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/TypeRef.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/UnimplementedDeclaration.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Union.qll delete mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/UnsafeBlockExpr.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Use.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/UseTree.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/UseTreeList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Variant.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/VariantList.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/Visibility.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/WhereClause.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/WherePred.qll create mode 100644 rust/ql/lib/codeql/rust/elements/internal/generated/WhileExpr.qll delete mode 100644 rust/ql/lib/rust.dbscheme.stats delete mode 100644 rust/ql/lib/rust.qll create mode 100644 rust/ql/test/extractor-tests/generated/Abi/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ArgList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ArrayExpr/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ArrayType/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr.ql create mode 100644 rust/ql/test/extractor-tests/generated/AsmExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/AsmExpr/gen_asm_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/AssocItemList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/AssocTypeArg/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/AsyncBlockExpr/AsyncBlockExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/AsyncBlockExpr/AsyncBlockExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/AsyncBlockExpr/AsyncBlockExpr_getStatement.expected delete mode 100644 rust/ql/test/extractor-tests/generated/AsyncBlockExpr/AsyncBlockExpr_getStatement.ql delete mode 100644 rust/ql/test/extractor-tests/generated/AsyncBlockExpr/AsyncBlockExpr_getTail.expected delete mode 100644 rust/ql/test/extractor-tests/generated/AsyncBlockExpr/AsyncBlockExpr_getTail.ql delete mode 100644 rust/ql/test/extractor-tests/generated/AsyncBlockExpr/gen_async_block_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/Attr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr.ql create mode 100644 rust/ql/test/extractor-tests/generated/AwaitExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/AwaitExpr/gen_await_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr.ql create mode 100644 rust/ql/test/extractor-tests/generated/BecomeExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/BecomeExpr/gen_become_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr_getOp.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr_getOp.ql create mode 100644 rust/ql/test/extractor-tests/generated/BinaryExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/BinaryExpr/gen_binary_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getLabel.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getLabel.ql delete mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getStatement.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getStatement.ql delete mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getTail.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getTail.ql create mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/BlockExpr/gen_block_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/BoxExpr/BoxExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BoxExpr/BoxExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/BoxExpr/gen_box_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.ql create mode 100644 rust/ql/test/extractor-tests/generated/BoxPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/BoxPat/gen_box_pat.rs delete mode 100644 rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr_getExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr_getExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr_getLabel.expected delete mode 100644 rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr_getLabel.ql create mode 100644 rust/ql/test/extractor-tests/generated/BreakExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/BreakExpr/gen_break_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/CallExpr/CallExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/CallExpr/CallExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/CallExpr/CallExpr_getArg.expected delete mode 100644 rust/ql/test/extractor-tests/generated/CallExpr/CallExpr_getArg.ql create mode 100644 rust/ql/test/extractor-tests/generated/CallExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/CallExpr/gen_call_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/CastExpr/CastExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/CastExpr/CastExpr.ql create mode 100644 rust/ql/test/extractor-tests/generated/CastExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/CastExpr/gen_cast_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/ClosureBinder/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr_getArg.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr_getArg.ql delete mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr_getArgType.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr_getArgType.ql delete mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr_getRetType.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr_getRetType.ql create mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/gen_closure_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/Const/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ConstArg/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ConstBlockPat/ConstBlockPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ConstBlockPat/ConstBlockPat.ql create mode 100644 rust/ql/test/extractor-tests/generated/ConstBlockPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ConstBlockPat/gen_const_block_pat.rs delete mode 100644 rust/ql/test/extractor-tests/generated/ConstExpr/ConstExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ConstExpr/ConstExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/ConstExpr/gen_const_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/ConstParam/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr_getLabel.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr_getLabel.ql create mode 100644 rust/ql/test/extractor-tests/generated/ContinueExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ContinueExpr/gen_continue_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/DynTraitType/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ElementListExpr/ElementListExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ElementListExpr/ElementListExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/ElementListExpr/ElementListExpr_getElement.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ElementListExpr/ElementListExpr_getElement.ql delete mode 100644 rust/ql/test/extractor-tests/generated/ElementListExpr/gen_element_list_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/Enum/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ExprStmt/ExprStmt.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ExprStmt/ExprStmt.ql create mode 100644 rust/ql/test/extractor-tests/generated/ExprStmt/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ExprStmt/gen_expr_stmt.rs create mode 100644 rust/ql/test/extractor-tests/generated/ExternBlock/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ExternCrate/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ExternItemList/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr.ql create mode 100644 rust/ql/test/extractor-tests/generated/FieldExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/FieldExpr/gen_field_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/Fn/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/FnPtrType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ForExpr/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ForType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/FormatArgsArg/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/FormatArgsExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/Function/Function.expected delete mode 100644 rust/ql/test/extractor-tests/generated/Function/Function.ql delete mode 100644 rust/ql/test/extractor-tests/generated/Function/gen_function.rs delete mode 100644 rust/ql/test/extractor-tests/generated/GenericArgList/GenericArgList.expected delete mode 100644 rust/ql/test/extractor-tests/generated/GenericArgList/GenericArgList.ql create mode 100644 rust/ql/test/extractor-tests/generated/GenericArgList/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/GenericArgList/gen_generic_arg_list.rs create mode 100644 rust/ql/test/extractor-tests/generated/GenericParamList/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getSubpat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getSubpat.ql create mode 100644 rust/ql/test/extractor-tests/generated/IdentPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/IdentPat/gen_ident_pat.rs delete mode 100644 rust/ql/test/extractor-tests/generated/IfExpr/IfExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/IfExpr/IfExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/IfExpr/IfExpr_getElse.expected delete mode 100644 rust/ql/test/extractor-tests/generated/IfExpr/IfExpr_getElse.ql create mode 100644 rust/ql/test/extractor-tests/generated/IfExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/IfExpr/gen_if_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/Impl/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ImplTraitType/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr.ql create mode 100644 rust/ql/test/extractor-tests/generated/IndexExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/IndexExpr/gen_index_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/InferType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ItemList/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/Label/Label.expected delete mode 100644 rust/ql/test/extractor-tests/generated/Label/Label.ql create mode 100644 rust/ql/test/extractor-tests/generated/Label/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/Label/gen_label.rs create mode 100644 rust/ql/test/extractor-tests/generated/LetElse/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/LetExpr/LetExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/LetExpr/LetExpr.ql create mode 100644 rust/ql/test/extractor-tests/generated/LetExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/LetExpr/gen_let_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/LetStmt.expected delete mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/LetStmt.ql delete mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getElse.expected delete mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getElse.ql delete mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getInitializer.expected delete mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getInitializer.ql delete mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getType.expected delete mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getType.ql create mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/gen_let_stmt.rs create mode 100644 rust/ql/test/extractor-tests/generated/Lifetime/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/LifetimeArg/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/LifetimeParam/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/Literal/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/LiteralExpr/LiteralExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/LiteralExpr/LiteralExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/LiteralExpr/gen_literal_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/LiteralPat/LiteralPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/LiteralPat/LiteralPat.ql create mode 100644 rust/ql/test/extractor-tests/generated/LiteralPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/LiteralPat/gen_literal_pat.rs delete mode 100644 rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr_getLabel.expected delete mode 100644 rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr_getLabel.ql create mode 100644 rust/ql/test/extractor-tests/generated/LoopExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/LoopExpr/gen_loop_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/MacroCall/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MacroDef/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MacroExpr/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MacroItems/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MacroPat/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MacroRules/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MacroStmts/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MacroType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MatchArm/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/MatchArm/MatchArm.expected delete mode 100644 rust/ql/test/extractor-tests/generated/MatchArm/MatchArm.ql delete mode 100644 rust/ql/test/extractor-tests/generated/MatchArm/MatchArm_getGuard.expected delete mode 100644 rust/ql/test/extractor-tests/generated/MatchArm/MatchArm_getGuard.ql delete mode 100644 rust/ql/test/extractor-tests/generated/MatchArm/gen_match_arm.rs create mode 100644 rust/ql/test/extractor-tests/generated/MatchArmList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MatchExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getBranch.expected delete mode 100644 rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getBranch.ql delete mode 100644 rust/ql/test/extractor-tests/generated/MatchExpr/gen_match_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/MatchGuard/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/Meta/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/MethodCallExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr_getArg.expected delete mode 100644 rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr_getArg.ql delete mode 100644 rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr_getGenericArgs.expected delete mode 100644 rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr_getGenericArgs.ql delete mode 100644 rust/ql/test/extractor-tests/generated/MethodCallExpr/gen_method_call_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/MissingExpr/MissingExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/MissingExpr/MissingExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/MissingExpr/gen_missing_expr.rs delete mode 100644 rust/ql/test/extractor-tests/generated/MissingPat/MissingPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/MissingPat/MissingPat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/MissingPat/gen_missing_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/Module/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/Module/Module.expected delete mode 100644 rust/ql/test/extractor-tests/generated/Module/Module.ql delete mode 100644 rust/ql/test/extractor-tests/generated/Module/Module_getDeclaration.expected delete mode 100644 rust/ql/test/extractor-tests/generated/Module/Module_getDeclaration.ql delete mode 100644 rust/ql/test/extractor-tests/generated/Module/gen_module.rs create mode 100644 rust/ql/test/extractor-tests/generated/Name/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/NameRef/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/NeverType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/OffsetOfExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr_getField.expected delete mode 100644 rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr_getField.ql delete mode 100644 rust/ql/test/extractor-tests/generated/OffsetOfExpr/gen_offset_of_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/OrPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/OrPat/OrPat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/OrPat/OrPat_getArg.expected delete mode 100644 rust/ql/test/extractor-tests/generated/OrPat/OrPat_getArg.ql delete mode 100644 rust/ql/test/extractor-tests/generated/OrPat/gen_or_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/Param/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ParamList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ParenExpr/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ParenPat/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ParenType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/Path/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/Path/Path.expected delete mode 100644 rust/ql/test/extractor-tests/generated/Path/Path.ql delete mode 100644 rust/ql/test/extractor-tests/generated/Path/gen_path.rs create mode 100644 rust/ql/test/extractor-tests/generated/PathExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/PathExpr/PathExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/PathExpr/PathExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/PathExpr/gen_path_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/PathPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/PathPat/PathPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/PathPat/PathPat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/PathPat/gen_path_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/PathSegment/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/PathType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/PrefixExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/PrefixExpr/PrefixExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/PrefixExpr/PrefixExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/PrefixExpr/gen_prefix_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/PtrType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/RangeExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getLhs.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getLhs.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getRhs.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getRhs.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RangeExpr/gen_range_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/RangePat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/RangePat/RangePat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RangePat/RangePat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RangePat/RangePat_getEnd.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RangePat/RangePat_getEnd.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RangePat/RangePat_getStart.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RangePat/RangePat_getStart.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RangePat/gen_range_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr_getFld.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr_getFld.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr_getPath.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr_getPath.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr_getSpread.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr_getSpread.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExpr/gen_record_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/RecordExprField/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExprField/RecordExprField.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExprField/RecordExprField.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RecordExprField/gen_record_expr_field.rs create mode 100644 rust/ql/test/extractor-tests/generated/RecordExprFieldList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/RecordField/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/RecordFieldList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/RecordPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPat/RecordPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPat/RecordPat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPat/RecordPat_getFld.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPat/RecordPat_getFld.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPat/RecordPat_getPath.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPat/RecordPat_getPath.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPat/gen_record_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/RecordPatField/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPatField/RecordPatField.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPatField/RecordPatField.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RecordPatField/gen_record_pat_field.rs create mode 100644 rust/ql/test/extractor-tests/generated/RecordPatFieldList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/RefExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/RefExpr/RefExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RefExpr/RefExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RefExpr/gen_ref_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/RefPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RefPat/RefPat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RefPat/gen_ref_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/RefType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/Rename/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/RepeatExpr/RepeatExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/RepeatExpr/RepeatExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/RepeatExpr/gen_repeat_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/RestPat/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/RetType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/ReturnExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr_getExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr_getExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/ReturnExpr/gen_return_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/ReturnTypeSyntax/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/SelfParam/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/SlicePat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/SlicePat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getPrefix.expected delete mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getPrefix.ql delete mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getSlice.expected delete mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getSlice.ql delete mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getSuffix.expected delete mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getSuffix.ql delete mode 100644 rust/ql/test/extractor-tests/generated/SlicePat/gen_slice_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/SliceType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/SourceFile/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/Static/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/StmtList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/Struct/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TokenTree/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/Trait/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TraitAlias/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TryExpr/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TupleExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr_getExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr_getExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TupleExpr/gen_tuple_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/TupleField/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TupleFieldList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TuplePat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/TuplePat/TuplePat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TuplePat/TuplePat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TuplePat/TuplePat_getArg.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TuplePat/TuplePat_getArg.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TuplePat/TuplePat_getEllipsisIndex.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TuplePat/TuplePat_getEllipsisIndex.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TuplePat/gen_tuple_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat_getArg.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat_getArg.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat_getEllipsisIndex.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat_getEllipsisIndex.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat_getPath.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat_getPath.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TupleStructPat/gen_tuple_struct_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/TupleType/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TypeAlias/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TypeArg/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TypeBound/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TypeBoundList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/TypeParam/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/TypeRef/TypeRef.expected delete mode 100644 rust/ql/test/extractor-tests/generated/TypeRef/TypeRef.ql delete mode 100644 rust/ql/test/extractor-tests/generated/TypeRef/gen_type_ref.rs create mode 100644 rust/ql/test/extractor-tests/generated/UnderscoreExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/UnderscoreExpr/gen_underscore_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/Union/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/UnsafeBlockExpr/UnsafeBlockExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/UnsafeBlockExpr/UnsafeBlockExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/UnsafeBlockExpr/UnsafeBlockExpr_getStatement.expected delete mode 100644 rust/ql/test/extractor-tests/generated/UnsafeBlockExpr/UnsafeBlockExpr_getStatement.ql delete mode 100644 rust/ql/test/extractor-tests/generated/UnsafeBlockExpr/UnsafeBlockExpr_getTail.expected delete mode 100644 rust/ql/test/extractor-tests/generated/UnsafeBlockExpr/UnsafeBlockExpr_getTail.ql delete mode 100644 rust/ql/test/extractor-tests/generated/UnsafeBlockExpr/gen_unsafe_block_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/Use/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/UseTree/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/UseTreeList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/Variant/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/VariantList/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/Visibility/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/WhereClause/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/WherePred/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/WhileExpr/MISSING_SOURCE.txt create mode 100644 rust/ql/test/extractor-tests/generated/WildcardPat/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/WildcardPat/WildcardPat.expected delete mode 100644 rust/ql/test/extractor-tests/generated/WildcardPat/WildcardPat.ql delete mode 100644 rust/ql/test/extractor-tests/generated/WildcardPat/gen_wildcard_pat.rs create mode 100644 rust/ql/test/extractor-tests/generated/YeetExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr_getExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr_getExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/YeetExpr/gen_yeet_expr.rs create mode 100644 rust/ql/test/extractor-tests/generated/YieldExpr/MISSING_SOURCE.txt delete mode 100644 rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr_getExpr.expected delete mode 100644 rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr_getExpr.ql delete mode 100644 rust/ql/test/extractor-tests/generated/YieldExpr/gen_yield_expr.rs diff --git a/rust/extractor/src/generated/.generated.list b/rust/extractor/src/generated/.generated.list index 795e5d0a5506a..b68bed7b96675 100644 --- a/rust/extractor/src/generated/.generated.list +++ b/rust/extractor/src/generated/.generated.list @@ -1,2 +1,2 @@ mod.rs 4bcb9def847469aae9d8649461546b7c21ec97cf6e63d3cf394e339915ce65d7 4bcb9def847469aae9d8649461546b7c21ec97cf6e63d3cf394e339915ce65d7 -top.rs ec9ec5e218af9a6b449b40f716e00bbe23c2777941d105b9ed68071aa2468ca2 ec9ec5e218af9a6b449b40f716e00bbe23c2777941d105b9ed68071aa2468ca2 +top.rs 6ebb6a7d13c46a9d330f2a4d9851e5bbca800b305d0633e1fad6ea8d0f4839e6 6ebb6a7d13c46a9d330f2a4d9851e5bbca800b305d0633e1fad6ea8d0f4839e6 diff --git a/rust/extractor/src/generated/top.rs b/rust/extractor/src/generated/top.rs index 397120818723e..81e5e08c759d7 100644 --- a/rust/extractor/src/generated/top.rs +++ b/rust/extractor/src/generated/top.rs @@ -78,7 +78,17 @@ impl From> for trap::Label { #[derive(Debug)] pub struct Missing { - _unused: () + pub id: trap::TrapId, +} + +impl trap::TrapEntry for Missing { + fn extract_id(&mut self) -> trap::TrapId { + std::mem::replace(&mut self.id, trap::TrapId::Star) + } + + fn emit(self, id: trap::Label, out: &mut trap::Writer) { + out.add_tuple("missings", vec![id.into()]); + } } impl trap::TrapClass for Missing { @@ -105,7 +115,17 @@ impl From> for trap::Label { #[derive(Debug)] pub struct Unimplemented { - _unused: () + pub id: trap::TrapId, +} + +impl trap::TrapEntry for Unimplemented { + fn extract_id(&mut self) -> trap::TrapId { + std::mem::replace(&mut self.id, trap::TrapId::Star) + } + + fn emit(self, id: trap::Label, out: &mut trap::Writer) { + out.add_tuple("unimplementeds", vec![id.into()]); + } } impl trap::TrapClass for Unimplemented { @@ -131,35 +151,45 @@ impl From> for trap::Label { } #[derive(Debug)] -pub struct Declaration { - _unused: () +pub struct Abi { + pub id: trap::TrapId, +} + +impl trap::TrapEntry for Abi { + fn extract_id(&mut self) -> trap::TrapId { + std::mem::replace(&mut self.id, trap::TrapId::Star) + } + + fn emit(self, id: trap::Label, out: &mut trap::Writer) { + out.add_tuple("abis", vec![id.into()]); + } } -impl trap::TrapClass for Declaration { - fn class_name() -> &'static str { "Declaration" } +impl trap::TrapClass for Abi { + fn class_name() -> &'static str { "Abi" } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme Declaration is a subclass of AstNode +impl From> for trap::Label { + fn from(value: trap::Label) -> Self { + // SAFETY: this is safe because in the dbscheme Abi is a subclass of AstNode unsafe { Self::from_untyped(value.as_untyped()) } } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme Declaration is a subclass of Element +impl From> for trap::Label { + fn from(value: trap::Label) -> Self { + // SAFETY: this is safe because in the dbscheme Abi is a subclass of Element unsafe { Self::from_untyped(value.as_untyped()) } } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme Declaration is a subclass of Locatable +impl From> for trap::Label { + fn from(value: trap::Label) -> Self { + // SAFETY: this is safe because in the dbscheme Abi is a subclass of Locatable unsafe { Self::from_untyped(value.as_untyped()) } @@ -167,35 +197,35 @@ impl From> for trap::Label { } #[derive(Debug)] -pub struct Expr { +pub struct Adt { _unused: () } -impl trap::TrapClass for Expr { - fn class_name() -> &'static str { "Expr" } +impl trap::TrapClass for Adt { + fn class_name() -> &'static str { "Adt" } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme Expr is a subclass of AstNode +impl From> for trap::Label { + fn from(value: trap::Label) -> Self { + // SAFETY: this is safe because in the dbscheme Adt is a subclass of AstNode unsafe { Self::from_untyped(value.as_untyped()) } } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme Expr is a subclass of Element +impl From> for trap::Label { + fn from(value: trap::Label) -> Self { + // SAFETY: this is safe because in the dbscheme Adt is a subclass of Element unsafe { Self::from_untyped(value.as_untyped()) } } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme Expr is a subclass of Locatable +impl From> for trap::Label { + fn from(value: trap::Label) -> Self { + // SAFETY: this is safe because in the dbscheme Adt is a subclass of Locatable unsafe { Self::from_untyped(value.as_untyped()) } @@ -203,63 +233,49 @@ impl From> for trap::Label { } #[derive(Debug)] -pub struct GenericArgList { - pub id: trap::TrapId, +pub struct ArgList { + pub id: trap::TrapId, + pub args: Vec>, } -impl trap::TrapEntry for GenericArgList { +impl trap::TrapEntry for ArgList { fn extract_id(&mut self) -> trap::TrapId { std::mem::replace(&mut self.id, trap::TrapId::Star) } fn emit(self, id: trap::Label, out: &mut trap::Writer) { - out.add_tuple("generic_arg_lists", vec![id.into()]); - } -} - -impl trap::TrapClass for GenericArgList { - fn class_name() -> &'static str { "GenericArgList" } -} - -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme GenericArgList is a subclass of AstNode - unsafe { - Self::from_untyped(value.as_untyped()) + out.add_tuple("arg_lists", vec![id.into()]); + for (i, v) in self.args.into_iter().enumerate() { + out.add_tuple("arg_list_args", vec![id.into(), i.into(), v.into()]); } } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme GenericArgList is a subclass of Element - unsafe { - Self::from_untyped(value.as_untyped()) - } - } +impl trap::TrapClass for ArgList { + fn class_name() -> &'static str { "ArgList" } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme GenericArgList is a subclass of Locatable +impl From> for trap::Label { + fn from(value: trap::Label) -> Self { + // SAFETY: this is safe because in the dbscheme ArgList is a subclass of AstNode unsafe { Self::from_untyped(value.as_untyped()) } } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme GenericArgList is a subclass of Unextracted +impl From> for trap::Label { + fn from(value: trap::Label) -> Self { + // SAFETY: this is safe because in the dbscheme ArgList is a subclass of Element unsafe { Self::from_untyped(value.as_untyped()) } } } -impl From> for trap::Label { - fn from(value: trap::Label) -> Self { - // SAFETY: this is safe because in the dbscheme GenericArgList is a subclass of Unimplemented +impl From> for trap::Label { + fn from(value: trap::Label) -> Self { + // SAFETY: this is safe because in the dbscheme ArgList is a subclass of Locatable unsafe { Self::from_untyped(value.as_untyped()) } @@ -267,46 +283,35 @@ impl From> for trap::Label { } #[derive(Debug)] -pub struct Label { - pub id: trap::TrapId