diff --git a/rust/ql/.generated.list b/rust/ql/.generated.list index c181fcb29196..d9ccb60163ec 100644 --- a/rust/ql/.generated.list +++ b/rust/ql/.generated.list @@ -15,7 +15,7 @@ lib/codeql/rust/elements/BlockExprBase.qll 1b24ea5fd43dce0e240e1d7740a062228c19e lib/codeql/rust/elements/BlockExprConstructor.qll 7fc9214582f0e6e8b4db06f7c6ac3712dc260abc12ff65f3e93bec5f210b0098 13bc676b67ed14b326e4bdaaa43b497ce486dc2c3145a76a25fe960c82a6ba54 lib/codeql/rust/elements/BoxExpr.qll f4727005f1b07d0d2f2230379778929351ad9fda986754b48980e8b166cd68a9 adae835238f824a48ad700310c3fce70bc9a890538cf361b4ed5b3d213fcc67a lib/codeql/rust/elements/BoxExprConstructor.qll e30e71b88978b5d0f156152acaf7eaebe26232b7a5a562cf22f1bb9659ae5deb 3ca41494c5101ef73877737420fbc468483ac7ef215d11b431dac2dd6a08ecc5 -lib/codeql/rust/elements/BoxPat.qll 37dd3362eee8ff330de6c5b27364878031500ec75150746b1e88fa16f76b44f6 a58fcecf1772f918ade434dd58ced3b68a16ee144fb0da2d4a41010cbf976dfb +lib/codeql/rust/elements/BoxPat.qll 15d63d499678417c6dd5118944fae3abc416f550acd18810651b85999bdc0d55 5360a2bef9e42e7274bfa68349a3b19020e000919358865c272338721956e384 lib/codeql/rust/elements/BoxPatConstructor.qll 20f79f18beb8b7eeec63b1e30302d9f2e514354a7b1ae077f240db3cda4ecc4c f41ca3fdafc70c6b972598a3af3434bf60687bc2f0252dd11ddd09ec874fe63c lib/codeql/rust/elements/BreakExpr.qll 526da383194cfc0600ba623182ef8e984b44da76609d335b209067b9381e2e18 6d7b6e970b69f093be5015e847512830937e79a2460a6c49d286cd5c8ebd350d lib/codeql/rust/elements/BreakExprConstructor.qll 48b71a034b7b6b0ecda47c72379696c6d4ebb9eadcd6403f9c001945855c5365 fbbccb6d1718393ad6ff3a2bd473dd51691c871db9181cb1e041b318f91d27a7 @@ -46,7 +46,7 @@ lib/codeql/rust/elements/FieldExprConstructor.qll 75bd0526fae157460750f3ea1e087c lib/codeql/rust/elements/FunctionConstructor.qll a9269b37182c0bf432f9b2b015691da5dbd64819b9bd25445af229d873014a91 69107a7503af14a51e091e6918094a4e9fc316a72de2e1514f001872ce0f2c0c lib/codeql/rust/elements/GenericArgList.qll 3db540d2cc2ee748aae2d4ed7917644e78e0016649e8a8e0d96aab78f2893564 b6b826e9a5ab14448e1ae35d5a22029050c08a18f9ef68d4731c6641c7e0f6cb lib/codeql/rust/elements/GenericArgListConstructor.qll 68e8739557bb470c04ae12f6b39d34c6fa4966bfdad1768b9e4f1a596447cd72 e0fc7e51fea925b7f21e771eca7e1bb2d506d6992c80ecd7902c9656610e545c -lib/codeql/rust/elements/IdentPat.qll a38187662d8e7db4a448f10aede36a3bfbebae3ff352758e28c951245f1c656f 3f8c5ffb92d5c2e79c98a6b19084d78215156c5fb3d86ccfccc8c5fdf3a5fffe +lib/codeql/rust/elements/IdentPat.qll 239fde12e3dcc46ca94be91c039f26e0a74b5c2e550118a03d451b30a0bfc03f 926ba7ef1dbfa8423a85771872131b1d2e7a55730e281ddb2b360cbac9781e59 lib/codeql/rust/elements/IdentPatConstructor.qll 3144353f70712a224b5e7af6c5a2cd3452d4c2e164c38092ecb5f6c668401a92 26732573959eec1690afbc1d99ddc76d1fe4936244e0108e7d7c84f69136539f lib/codeql/rust/elements/IfExpr.qll 87d29f7f6eec05e03d3e929e32b526787f41d5320141bfe96028973e15ef225d 42789266b2c54b222c1d980f85e3150c80397668e61c9952df6905f1bf0fc4b0 lib/codeql/rust/elements/IfExprConstructor.qll 961ac42fe811db7c56c9d85e98724a87571e8543265c0424a7b61f26ef41b369 43d9412a22908a7e5c38f1f5e8f88162367407b71037f469dfb7d8dfdc3a063f @@ -66,21 +66,21 @@ lib/codeql/rust/elements/LiteralPat.qll 1971f70ba0b872de28e1a168ac63d35afc123c5a lib/codeql/rust/elements/LiteralPatConstructor.qll abe137b2b8ec9dd9450fc77d2d826fe891bbb0af23b0c26ff5e2d1751988f747 e1642805588737ed98eebec1d16cb0fb9fd081db203ec725db85b02c4837bdcb lib/codeql/rust/elements/LoopExpr.qll a32330e9f6c5420e7fbd4a61f53dde892c1acadabef074b7e9aa3beae39617eb 97061b3dd86af3ef271587aa337d10f2a7094cb69d7e339baf13e5a7817e1389 lib/codeql/rust/elements/LoopExprConstructor.qll 635348fe22fb47c7e59bed02a8ed6420be5a9ce92a7d9bf4475465ee170c917b 2bcfe70247c55659b3a3e09562da52fc645cc3166748f268c5a38b35fca24233 -lib/codeql/rust/elements/MatchArm.qll 2508d03a0a8f8e29483855affd08eca118ed756a18a60fc7ae6a9e5d63fae2d7 b88a33eaefe08131f7c8e80ca056c237aad9ef7c21deb2bf35a2f5ecfd320f55 +lib/codeql/rust/elements/MatchArm.qll cde6e94b3e65fe0fe35c2e5e801d9a8297a6770d4e7a26f75f433321a6e2c781 c17031a4570f712a092d629f5c347e4b9e246145e2fcc09e56baf041158aad62 lib/codeql/rust/elements/MatchArmConstructor.qll 49d134823a445a1ee995ebf5637fd0d736b9ab7f2b141026712f231ec4ed3389 f16e8adc8375e6a7334589d5732dcbe10f5ada9de7a12c549c55be3f028ec628 -lib/codeql/rust/elements/MatchExpr.qll cb38dfcdf896e8f5c429d13493f423d926c39ca928a5a8ef890e258b6ce7a048 5dc5f9e07d1021ac39f29ce6695ceab3d7bc751f33ea8b4ab463df50d3fd24e6 +lib/codeql/rust/elements/MatchExpr.qll 6938b5b9aca51f15cc0c0c6374a5845c9c298cb49d17c8111abb03001fdf5508 1e43ba73fae5fbe01645cbc762ab229f2148a53da3de1c8d083c1292d9019fff lib/codeql/rust/elements/MatchExprConstructor.qll 74df937d7d8bfbfb02bdbf095595eb3f2129ed4c0854bae6d73b5b38d4fc902d 5c388c02f02462d843945111b72de12bce33c7c332d55993d903aeb250213407 lib/codeql/rust/elements/MethodCallExpr.qll e92c5214160d6b5bebba76c78f5ec0380a629230991513326585c99dab7be1f3 ed05c7f40fb6d1c97fa0a3a631db1913b8e6abb5c2b3513d0e81a82a2e5f7f95 lib/codeql/rust/elements/MethodCallExprConstructor.qll c9e1137ba6b76eabd941ecaa27a5b43b6fc3ff445ad46d3f625ad086de0e0af6 47bc4c30182b891c7009ba536edad7393dc068b72d9dfc16b26174b15d49748e lib/codeql/rust/elements/MissingExpr.qll 618f80b813afda19783c689c67c79b2106483b559f49dc21ed713281d6b1ac87 9de89e36754a98b8caf9010690ceb8a9d32999d192e325a1a24892311f874268 lib/codeql/rust/elements/MissingExprConstructor.qll c51f4f6e897ef2107a27bd91ecf31ce875611b29a5a12238d5312b9489a35b8d b9ea3fdae459aba6c7ed9eb48edbc5bdbdb4cb41220fff81ed4cd256648612e0 -lib/codeql/rust/elements/MissingPat.qll 74a84a04d0aaabb3353419bba2225e6ca3f02ada55e00d28e6cceb37cefce43a c8ee5e6c411e0955ca0a775c8b09b894e2914fe24f9d16df1f0e6d186d15ebd2 +lib/codeql/rust/elements/MissingPat.qll a2d6ee4f7bbb69b9c05026b71c0283a6b229a7eaf492894296294fbe533e40d9 c9823a3a06ff2ff25ad3f7ca573f122637571f7d351bfd1f7f339c7629404852 lib/codeql/rust/elements/MissingPatConstructor.qll 7bff2fb7fe96388dd703cca5f0bb1d04cea5d1f0729bb54c6604b58e338c7d6b eec9fea46593b3850da111658848cb54cfa9992286eeee313a55def184cf7ec5 lib/codeql/rust/elements/Module.qll a104ed007091e5361db9e6be640fba6a22b02913c16fe50cb5d348399504f7b0 7633ef24e7c9e1daca9a82d89870462482536cded234e0e1bb7da9eabc43c00d lib/codeql/rust/elements/ModuleConstructor.qll 109ed8c1b5c61cc1d3e8613aa8bb8c168dc1943c93b5b622fa79665751b78318 601526c7f56578883d261d14653fdad08329f80fea71de14a5ac5ce671a8d436 lib/codeql/rust/elements/OffsetOfExpr.qll e7490d4db7cb4dd1c711ce57934970da8c9cc61af913a62b6963667313dcb0c5 c9043c5e68483b3d4da03ab191dc56e0150ff23af361a227fe91062e10ad66b2 lib/codeql/rust/elements/OffsetOfExprConstructor.qll 8034eb1d3510dffe9e38cdfcb57a0235ee01bb50e1fbaa6e5601e0e232c1977d 6e3b7c20a17fe4c45d503ba32264aea8f6dfdc69ccd95905a5bfb1e8b0cc91d0 -lib/codeql/rust/elements/OrPat.qll 448ebaddc1b42fbb90e3240d990cb841d4775d9129350e8f5195904798efb27c ffb6121a0b4f0e661e1653c396d565053b9f89eb358bbaa1c218c31eac3b8221 +lib/codeql/rust/elements/OrPat.qll d5fab9f9d837d0d330ccf447cca4b079a6f48bf6b4886f0e68937444152bec97 ba6a9ddec6c49a4941e30b0a1bf68873aaf5a726368cc3ace9e7c2812b3ead48 lib/codeql/rust/elements/OrPatConstructor.qll 9a24cc095adc55ae8ea66f68c695f42de0181a43e23d70e210c63351b47e2586 1f773ae88276289672d93708f4ae9f8c95199e7370a0c610a52c92b5e018e632 lib/codeql/rust/elements/Pat.qll 79ac8430cc9047cf89fcf80cdb527166bd72e979d03e051fa2d60fa2f64f2294 914362a06ad0cac1e1777874bf4425fcc805021197f635ddd87b96d9e5c221d9 lib/codeql/rust/elements/Path.qll 3863a424a10b840f05584e17cb642859b18093b205eb9125f9aa0a0c2de6bab3 0db28b1b40218961ff8db478842b54ed7eee7660229113aca93c180aa45bb243 @@ -105,7 +105,7 @@ lib/codeql/rust/elements/RecordPatField.qll 0ef9ff7a71d938a39d2cc220ba395426198c lib/codeql/rust/elements/RecordPatFieldConstructor.qll c105362a0d1acdd69bbb3b0c1f0ae2e20f677020d15d02aa9e7416803ddb3a21 5cdd18cb9c26197eca67e162ac080b7f17dbb46061419bad07c6f6d12508f642 lib/codeql/rust/elements/RefExpr.qll 4c3176d24c52d61dc220d0ebf0c277126975a7e4189094c5f36e0d386bbd95e3 dd143ae809b9c3cd1ca20e8ccf2ed2fa79f0b75d3ce3d92de5e88dad68bf7fed lib/codeql/rust/elements/RefExprConstructor.qll 4a2b9dd4ec2638a5ccfca268ba377980aab3179b27177e34e44e0e9dc6653b36 752f6f298369b8c0f59d49ca9e729c20aceb3559df68be416c7bbf65f578489d -lib/codeql/rust/elements/RefPat.qll a273a13acefaaf366a6c9092f5a60e37bf8467e6d245384fad97a79f682cca9a 19199e218fb18920c5338e748106c53d13dd72b6b49681768b3781c93e277b46 +lib/codeql/rust/elements/RefPat.qll 44db6d9cb0b4c796027116f00f43bb3a542df2535622a7ae884c0529044d2996 1778f2bb7f6df9b99ea5f3a20633b75738fa4034afaf12d39f33b85ecfb79ab6 lib/codeql/rust/elements/RefPatConstructor.qll 98497e0ef76bec0390a23aede2fc6f80050ad2d00bb60f1d473362111a53d4dd e4fde4e3e88c33daee90ab6d90ef2e38b36faedcfe1b6d6304f4eed92980b5b1 lib/codeql/rust/elements/RepeatExpr.qll 376199e9efc3b20efd8c26a020c5e7b7f19bf9490ab9698673ae842cb4ff6721 7dcbfbf8029811657e07850a1fadfe70025881e70f474fc49378b215e65d6d43 lib/codeql/rust/elements/RepeatExprConstructor.qll 7e141ed538f1dd5debd83de045eadc74ef032acc8a64ee2e8ac760da60ede525 d20206b72b14d03f8a41571948210619ad7d7dc438ba04ae45d929776a11915d @@ -146,7 +146,7 @@ lib/codeql/rust/generated/BinExpr.qll 1e50692aa42f5b57b4644a368941b29f5941c7cd75 lib/codeql/rust/generated/BlockExpr.qll a04d98a1b846a78d5df7c9340348bdc0d4e27f1aebf81ecc389f90010aeb9f39 caa43e2ab10a401af6813218318a970efd60eba23bfaca3210954be277cddaa1 lib/codeql/rust/generated/BlockExprBase.qll f651ce968170b6e05e555924f8004d55b85ff0ae59bce4fea0804691cef0cf66 6ece8056e83d047fc27cdf1110fac166c0d1ba0e26a8d4a7a7cffc05bd6b3b42 lib/codeql/rust/generated/BoxExpr.qll 939fc9a934c5787e3f3bf9aef8694abe65caeeaeca57079047f6177301e39841 a9563f56abe4fc816f9768735624038e60ff5a075e67c17970a054ffd4d23a12 -lib/codeql/rust/generated/BoxPat.qll 8a856d3bc45313bb67b3411fe500c4fa508f7d80abcacb8bbe0a497624282b0a 2e0c7e16f437792c3de5d66dee5562dd7955a22a3e835d723915cc296d3264ea +lib/codeql/rust/generated/BoxPat.qll 8d9fc5a784473c7bd8c76c5f4a3a5eb6912bfe8691205f311cd1008b27ff5b74 e06a16614897df217948840e084474499b05edc6249ba0115d7cde516f98e165 lib/codeql/rust/generated/BreakExpr.qll d1cc6452044b4f0351380adc9e46dc52279746d0cfa37baefce8e89494b385f1 c129e16ad176f40bbda2fb1e6af800a5bd240f3e0dca6e2fbc23b75e105ca8b9 lib/codeql/rust/generated/CallExpr.qll 44cc428b1950e0d560a4e2c18136a956dbc3f85c575317cbf10a0cb5b2dded97 1a5d8dfd704b289774d7190ee331858b39563dcbb2c52940b02df4c5c2208637 lib/codeql/rust/generated/CastExpr.qll bda5ec9c2639325ac6ffc65ef44bad0ce7769a0618925d93e59101c3a7b6b804 a40eba5690369b55f373e2c2d724e19791f7721c50365fa6ce1ac93b387a1ea1 @@ -165,7 +165,7 @@ lib/codeql/rust/generated/FieldExpr.qll 5050cabcc1109f0c404a64a80cf8e595088b1dfd lib/codeql/rust/generated/File.qll 2eff5c882d044d2e360fe6382fb55e5a45f6ccb9df323cfa1fae41eae9d2a47f 87e7a906b3a1b4de056952e288ddd7f69fa7cb1bd9dc7dd3972868a9002ac1e4 lib/codeql/rust/generated/Function.qll 133693679cd69f0c011d6aa779b067924e8d58ea15bc3f6b749cc3aa5d5e962d 5a18e3be5c7c681cebec762b2c2d3b1cb08c5fcc11ef422bf65c9b15fc82c893 lib/codeql/rust/generated/GenericArgList.qll abc549b0a763d2f5a162794676ab8f9a2fef8a02c77dbd14467dbafccf261c29 abc549b0a763d2f5a162794676ab8f9a2fef8a02c77dbd14467dbafccf261c29 -lib/codeql/rust/generated/IdentPat.qll 981fac200aecc4fc956c7fbd68f2516b5bd66be241ddefce21863ecf582bb283 8f371c7e08013fdd641d090c4a07b51b28e64cfe7114ab910ba4e151e5894e7b +lib/codeql/rust/generated/IdentPat.qll 1acf5c9a4f20930f33339904be534c3b64dc16b06ad6c6189c3561f3f0acd244 c5f03e20dd26a21a492766dbeda8896ceb00369cff91df566b99238c3d627a26 lib/codeql/rust/generated/IfExpr.qll 3b68ac5d7741f566081dd8ad028f762c849d02e4f1532267a7660e24335bf08f bcc6b52c950afbe4654ccdbc10d578ca9e134597cc2653daa1832fcb2bef2ab6 lib/codeql/rust/generated/IndexExpr.qll a8263fb60cb625712b3ca875076994d9a28796482a9fc8fd524610d3107f20d2 a837f66ef6d70dd9ca04ef39d4fff5077e03ffaaf6efaf93e9f6b38eae37b454 lib/codeql/rust/generated/ItemStmt.qll 7ac07a294031523ae83b1600a2327bab26c7ebda5c41f040485f9b978a50e159 7ac07a294031523ae83b1600a2327bab26c7ebda5c41f040485f9b978a50e159 @@ -177,14 +177,14 @@ lib/codeql/rust/generated/LiteralPat.qll 6cb250e374f6c3d2c86aaea6ad7baeaa40ee438 lib/codeql/rust/generated/Locatable.qll 9e9685bba50ad2220701f3465e63af9331f7f9dc548ad906ff954fc2ce0a4400 78c89b2cc78a357d682ab65310dd474603071f07c1eaaab07711714ce17549f2 lib/codeql/rust/generated/Location.qll bce4c72988ec6fedd1439c60a37c45aa6147c962904709ef9f12206937174be4 d57000571771a2d997c50d9a43ef1c2f075960f847effa0e80ea91fd4c6b4d6c lib/codeql/rust/generated/LoopExpr.qll ddc646e715dced161b60638ac36a7671b45ddd6245a6876d647916d41495faf1 864be7033c093a8513be05691f772f19f99b606abe510f810af5f004596c0c7c -lib/codeql/rust/generated/MatchArm.qll c82a871b33633dc5908d6abc665048b0bc3d761f134b8ceca51338c4a84a55c3 90faaed01f5e7c3ff6b9114b275c80418737c48b64082763e83cb63499fefa6a -lib/codeql/rust/generated/MatchExpr.qll cf48ca2000a1cf2b2fa05b42403bba9be94aac23a88bc88e1b97e86982ff4fe9 244960785828aa62c4c3d17251ef5a3b7dd3ce3e10fd99a364f98f760ca84e77 +lib/codeql/rust/generated/MatchArm.qll e4e129ac42537138a3f5d288113ee805b49a5c914cf44564e59be389e07d6eda 5e5ae462925501265237f06a68549d5a26e01864386d16d0e28a12305127cb71 +lib/codeql/rust/generated/MatchExpr.qll 74966bd8286aa8cd4238c5f6964b5668d3f95fd47a56fcece47fbd0abe3a8376 9afcc11f0af8e5daee2746226b2c39bec0f9cbc74d0cb1bf567a8ea122409331 lib/codeql/rust/generated/MethodCallExpr.qll 187d28d3869f5b44cca8420948266e8370ca1e3e389dc3317dc24364c8d53088 7a4744cce29b53ca04b6b2eaf4fd146b9a64e3f53151e5c6cd1085fc35d50823 lib/codeql/rust/generated/MissingExpr.qll 34cb27c927a62cc06b0fe26a085e2658abd5019e549c3e01b8273d99e9a9616f 34bf4cfbf3659b600b4aac121f7c2d6da0b00b61c3002f8fb1d554c11968c748 -lib/codeql/rust/generated/MissingPat.qll 9fa2685c9f8b285c6b2f470a2c482b3bd1f071707192bc963937cbb1092d6a18 9fa2685c9f8b285c6b2f470a2c482b3bd1f071707192bc963937cbb1092d6a18 +lib/codeql/rust/generated/MissingPat.qll 40fa87d446056c7263ef5843fb13fe60b644e169a65697be4ca0b5361a8267ee 40fa87d446056c7263ef5843fb13fe60b644e169a65697be4ca0b5361a8267ee lib/codeql/rust/generated/Module.qll c6007444c796654fb48fbe4a4596580f08feec2aac13932043062a170dd73f0b 0560c738dbee3937baf0f2ab661c8e4dacd69eb886635241b1ff90f2c0f4bd67 lib/codeql/rust/generated/OffsetOfExpr.qll 5f2c1d2b5d63d2a86c02c8a20fede528403f8dd267f3026ddc420e128f53c73c d4a7eb9e533a943913aa3bdc6f57d89023a0a2075681b6aaa53d5c4dd7ad764b -lib/codeql/rust/generated/OrPat.qll a9a606b001c9b3c6f5cb3d65a593cce043f49b1e8a237310c058f5293eec46a8 4b6ab0d2192c93c64a5f98b6083e91ac03fd040bead24831a1a88d274847c79d +lib/codeql/rust/generated/OrPat.qll 52e637c652f8caf64d2388a1829159d187d3799384cc3318e07785f518ff0c4b 598a11d067519bb7bb279d8f8a3ea85a48ae99c2974182636c157ba111b9605e lib/codeql/rust/generated/ParentChild.qll 1988b870c14148c2b23136dd00456d898a73d52a8cfb10039a0db414f5c01dbd bda2c0e7a5333206a6f7ab3a2c438be376c8b75f4d5810d91439cd10b88214a2 lib/codeql/rust/generated/Pat.qll b035e7866ea500232421ef9f79e7e60b90b9c27dbe47d25758548e94750d2965 adf701ad35559ea7d0284d6718ad507518778dc78100f48063e6a6bf3705c91f lib/codeql/rust/generated/Path.qll ffd26e9e5e3878f374bc1163d6ccb47072cc1d3abd937d0206bf1a7c62c843ff ffd26e9e5e3878f374bc1163d6ccb47072cc1d3abd937d0206bf1a7c62c843ff @@ -194,13 +194,13 @@ lib/codeql/rust/generated/PrefixExpr.qll a3f6cc62e5a12acd253ea59cb6957fb7157aa70 lib/codeql/rust/generated/PureSynthConstructors.qll 5eb1fc4f6a04172c34ae31e4931e4bf1f8b72fbe414c5f644731a45372d13573 5eb1fc4f6a04172c34ae31e4931e4bf1f8b72fbe414c5f644731a45372d13573 lib/codeql/rust/generated/RangeExpr.qll 1678fa524166552a36d73cad9d34213309b1989c1e427bc990b5c11a12588ce5 beb90978cea26a2ec9d3e8cc7b0b6a728ae952212ada5d6ad19319120f3218a8 lib/codeql/rust/generated/RangePat.qll 2e96aece5ff2300659c2729c7037f7334790456d86160dc1e16ae99545c6ed0d eae4f95f9eaacbc2319ee67556dcc164527d82a6eaa5af59f6efce9caf3cba3b -lib/codeql/rust/generated/Raw.qll 47db9ce20eece07992d6ffb61c38b1d57eca72c0e88b6d69f38a79d60aeb1787 ab32e25162b7338246b920c50318e961ba62bdb71b9680ecd6f6eaa21e460205 +lib/codeql/rust/generated/Raw.qll 965c8d9172ca1e887e7ab7e9c0177919febc40312e6a2ef720fddb054356a96c ee71ddc24f2694502d9d7649441fd5b605ca8d7360bd688da7f499994a154670 lib/codeql/rust/generated/RecordExpr.qll bdafc10cde139617b67cb46bb205f99bc3fc0b9fd8634d304b81b524b9592aa8 2826c453c72416237467b08cf9ad9421b03203a8593420146dad8e1e71711b8a lib/codeql/rust/generated/RecordExprField.qll eb06236fbdb856169dfe50ae1ebf59384222de6670ca91c34eed647823dda4ce 750bc7ab1e156db3927d6dd206e9d2c9388519425c0e8665afd322a6594aa5e2 lib/codeql/rust/generated/RecordPat.qll 20b62cfd4ee4e911ad4a2b8e5762da2abb7ff0c1d7f21cc6f72b1ebcbebbcd42 c0502e6bfc637058524cf7369c63396ca5440c58e5e91600fecd35ca5299d86c lib/codeql/rust/generated/RecordPatField.qll d862245163667ede676e407f109ad44e4ce732de59ea9025b696dd8b9803fbef 60166a21d7deee112325bc301b5893cf3072c4d8d095dbf9080cb00269b71d40 lib/codeql/rust/generated/RefExpr.qll 917d810bda28f3f4319770ae5c8eb4ae40887f3c97669fde072078d3f5536114 7793027298da1fb787f8823146507f1ccfab046977cc71743045b3c2f3b5da02 -lib/codeql/rust/generated/RefPat.qll 2a451553084306acc625f0433dc02546d07a1b6174a7d614379c9e8e28550118 40b845320c68283d0f6e47f17f4d4d893ef613f41422d35663582cfa3b5e7d75 +lib/codeql/rust/generated/RefPat.qll 1a0322f152758edb6650c530073cc6aead3d81ee51310e2d99936e10b56dac6d 5201f6455665c655daf6b9f686c66e14f9994b4d83624f0a478837a9a420cb0f lib/codeql/rust/generated/RepeatExpr.qll 5a33101a5e2ba973beafe0d933ad5ca238050eb6f88638826dc37a712c05afaa c2cea180b7c068a3483cbda73168effe762ab2aa56bb8c590c8a15b6e54961ce lib/codeql/rust/generated/ReturnExpr.qll 3d8fffeb6420a35d78f4f2e2e3e4ccf1c8454022c50395be2e8446f29740ddfa cc9dd916dc18114469d2eed9b82f83518af0de78797ad98777b29a5055bc77df lib/codeql/rust/generated/SlicePat.qll 73dce5e310068357eb41e8c51923ff5c4054548db27987cde85735ddf071fc44 67fa0c285c110f18446689d1eaad9e82896df79d62999ad3f788fc295fa1d2c3 diff --git a/rust/ql/lib/codeql/rust/elements/BoxPat.qll b/rust/ql/lib/codeql/rust/elements/BoxPat.qll index b0f977aa4520..ba0d1d732ffc 100644 --- a/rust/ql/lib/codeql/rust/elements/BoxPat.qll +++ b/rust/ql/lib/codeql/rust/elements/BoxPat.qll @@ -9,8 +9,8 @@ private import codeql.rust.generated.BoxPat * A box pattern. For example: * ``` * match x { - * box Some(y) => y, - * box None => 0, + * box Option::Some(y) => y, + * box Option::None => 0, * }; * ``` */ diff --git a/rust/ql/lib/codeql/rust/elements/IdentPat.qll b/rust/ql/lib/codeql/rust/elements/IdentPat.qll index 7c38db53b8be..4668ecdb853f 100644 --- a/rust/ql/lib/codeql/rust/elements/IdentPat.qll +++ b/rust/ql/lib/codeql/rust/elements/IdentPat.qll @@ -9,14 +9,14 @@ private import codeql.rust.generated.IdentPat * A binding pattern. For example: * ``` * match x { - * Some(y) => y, - * None => 0, + * Option::Some(y) => y, + * Option::None => 0, * }; * ``` * ``` * match x { - * y@Some(_) => y, - * None => 0, + * y@Option::Some(_) => y, + * Option::None => 0, * }; * ``` */ diff --git a/rust/ql/lib/codeql/rust/elements/MatchArm.qll b/rust/ql/lib/codeql/rust/elements/MatchArm.qll index a1c38456276e..9a83487cd225 100644 --- a/rust/ql/lib/codeql/rust/elements/MatchArm.qll +++ b/rust/ql/lib/codeql/rust/elements/MatchArm.qll @@ -9,8 +9,8 @@ private import codeql.rust.generated.MatchArm * A match arm. For example: * ``` * match x { - * Some(y) => y, - * None => 0, + * Option::Some(y) => y, + * Option::None => 0, * }; * ``` * ``` diff --git a/rust/ql/lib/codeql/rust/elements/MatchExpr.qll b/rust/ql/lib/codeql/rust/elements/MatchExpr.qll index 1b5f7b51e968..752b795e5e0b 100644 --- a/rust/ql/lib/codeql/rust/elements/MatchExpr.qll +++ b/rust/ql/lib/codeql/rust/elements/MatchExpr.qll @@ -9,8 +9,8 @@ private import codeql.rust.generated.MatchExpr * A match expression. For example: * ``` * match x { - * Some(y) => y, - * None => 0, + * Option::Some(y) => y, + * Option::None => 0, * } * ``` * ``` diff --git a/rust/ql/lib/codeql/rust/elements/MissingPat.qll b/rust/ql/lib/codeql/rust/elements/MissingPat.qll index ce6ad1c144c6..c1d875555e3a 100644 --- a/rust/ql/lib/codeql/rust/elements/MissingPat.qll +++ b/rust/ql/lib/codeql/rust/elements/MissingPat.qll @@ -9,8 +9,7 @@ private import codeql.rust.generated.MissingPat * A missing pattern, used as a place holder for incomplete syntax. * ``` * match Some(42) { - * .. => "ok", - * _ => "fail", + * .. => "bad use of .. syntax", * }; * ``` */ diff --git a/rust/ql/lib/codeql/rust/elements/OrPat.qll b/rust/ql/lib/codeql/rust/elements/OrPat.qll index 5dd45a01cc48..d07bfe004769 100644 --- a/rust/ql/lib/codeql/rust/elements/OrPat.qll +++ b/rust/ql/lib/codeql/rust/elements/OrPat.qll @@ -9,7 +9,7 @@ private import codeql.rust.generated.OrPat * An or pattern. For example: * ``` * match x { - * Some(y) | None => 0, + * Option::Some(y) | Option::None => 0, * } * ``` */ diff --git a/rust/ql/lib/codeql/rust/elements/RefPat.qll b/rust/ql/lib/codeql/rust/elements/RefPat.qll index a34c7a4d7213..91aa06c50145 100644 --- a/rust/ql/lib/codeql/rust/elements/RefPat.qll +++ b/rust/ql/lib/codeql/rust/elements/RefPat.qll @@ -9,8 +9,8 @@ private import codeql.rust.generated.RefPat * A reference pattern. For example: * ``` * match x { - * &mut Some(y) => y, - * &None => 0, + * &mut Option::Some(y) => y, + * &Option::None => 0, * }; * ``` */ diff --git a/rust/ql/lib/codeql/rust/generated/BoxPat.qll b/rust/ql/lib/codeql/rust/generated/BoxPat.qll index bf9f175d95c6..c6b7e4c22bff 100644 --- a/rust/ql/lib/codeql/rust/generated/BoxPat.qll +++ b/rust/ql/lib/codeql/rust/generated/BoxPat.qll @@ -17,8 +17,8 @@ module Generated { * A box pattern. For example: * ``` * match x { - * box Some(y) => y, - * box None => 0, + * box Option::Some(y) => y, + * box Option::None => 0, * }; * ``` * INTERNAL: Do not reference the `Generated::BoxPat` class directly. diff --git a/rust/ql/lib/codeql/rust/generated/IdentPat.qll b/rust/ql/lib/codeql/rust/generated/IdentPat.qll index 857795ce3156..9ebabc254ad9 100644 --- a/rust/ql/lib/codeql/rust/generated/IdentPat.qll +++ b/rust/ql/lib/codeql/rust/generated/IdentPat.qll @@ -17,14 +17,14 @@ module Generated { * A binding pattern. For example: * ``` * match x { - * Some(y) => y, - * None => 0, + * Option::Some(y) => y, + * Option::None => 0, * }; * ``` * ``` * match x { - * y@Some(_) => y, - * None => 0, + * y@Option::Some(_) => y, + * Option::None => 0, * }; * ``` * INTERNAL: Do not reference the `Generated::IdentPat` class directly. diff --git a/rust/ql/lib/codeql/rust/generated/MatchArm.qll b/rust/ql/lib/codeql/rust/generated/MatchArm.qll index f21c9b3550c4..5198bf908a9e 100644 --- a/rust/ql/lib/codeql/rust/generated/MatchArm.qll +++ b/rust/ql/lib/codeql/rust/generated/MatchArm.qll @@ -19,8 +19,8 @@ module Generated { * A match arm. For example: * ``` * match x { - * Some(y) => y, - * None => 0, + * Option::Some(y) => y, + * Option::None => 0, * }; * ``` * ``` diff --git a/rust/ql/lib/codeql/rust/generated/MatchExpr.qll b/rust/ql/lib/codeql/rust/generated/MatchExpr.qll index 7a7368027fae..bf2eb004981e 100644 --- a/rust/ql/lib/codeql/rust/generated/MatchExpr.qll +++ b/rust/ql/lib/codeql/rust/generated/MatchExpr.qll @@ -18,8 +18,8 @@ module Generated { * A match expression. For example: * ``` * match x { - * Some(y) => y, - * None => 0, + * Option::Some(y) => y, + * Option::None => 0, * } * ``` * ``` diff --git a/rust/ql/lib/codeql/rust/generated/MissingPat.qll b/rust/ql/lib/codeql/rust/generated/MissingPat.qll index 0444917903c6..ac1c7f349a9c 100644 --- a/rust/ql/lib/codeql/rust/generated/MissingPat.qll +++ b/rust/ql/lib/codeql/rust/generated/MissingPat.qll @@ -17,8 +17,7 @@ module Generated { * A missing pattern, used as a place holder for incomplete syntax. * ``` * match Some(42) { - * .. => "ok", - * _ => "fail", + * .. => "bad use of .. syntax", * }; * ``` * INTERNAL: Do not reference the `Generated::MissingPat` class directly. diff --git a/rust/ql/lib/codeql/rust/generated/OrPat.qll b/rust/ql/lib/codeql/rust/generated/OrPat.qll index 5efcc9bf641a..946e7679af05 100644 --- a/rust/ql/lib/codeql/rust/generated/OrPat.qll +++ b/rust/ql/lib/codeql/rust/generated/OrPat.qll @@ -17,7 +17,7 @@ module Generated { * An or pattern. For example: * ``` * match x { - * Some(y) | None => 0, + * Option::Some(y) | Option::None => 0, * } * ``` * INTERNAL: Do not reference the `Generated::OrPat` class directly. diff --git a/rust/ql/lib/codeql/rust/generated/Raw.qll b/rust/ql/lib/codeql/rust/generated/Raw.qll index c6a232c24480..2e28e9a2e182 100644 --- a/rust/ql/lib/codeql/rust/generated/Raw.qll +++ b/rust/ql/lib/codeql/rust/generated/Raw.qll @@ -132,8 +132,8 @@ module Raw { * A match arm. For example: * ``` * match x { - * Some(y) => y, - * None => 0, + * Option::Some(y) => y, + * Option::None => 0, * }; * ``` * ``` @@ -374,8 +374,8 @@ module Raw { * A box pattern. For example: * ``` * match x { - * box Some(y) => y, - * box None => 0, + * box Option::Some(y) => y, + * box Option::None => 0, * }; * ``` */ @@ -657,14 +657,14 @@ module Raw { * A binding pattern. For example: * ``` * match x { - * Some(y) => y, - * None => 0, + * Option::Some(y) => y, + * Option::None => 0, * }; * ``` * ``` * match x { - * y@Some(_) => y, - * None => 0, + * y@Option::Some(_) => y, + * Option::None => 0, * }; * ``` */ @@ -898,8 +898,8 @@ module Raw { * A match expression. For example: * ``` * match x { - * Some(y) => y, - * None => 0, + * Option::Some(y) => y, + * Option::None => 0, * } * ``` * ``` @@ -971,8 +971,7 @@ module Raw { * A missing pattern, used as a place holder for incomplete syntax. * ``` * match Some(42) { - * .. => "ok", - * _ => "fail", + * .. => "bad use of .. syntax", * }; * ``` */ @@ -1027,7 +1026,7 @@ module Raw { * An or pattern. For example: * ``` * match x { - * Some(y) | None => 0, + * Option::Some(y) | Option::None => 0, * } * ``` */ @@ -1259,8 +1258,8 @@ module Raw { * A reference pattern. For example: * ``` * match x { - * &mut Some(y) => y, - * &None => 0, + * &mut Option::Some(y) => y, + * &Option::None => 0, * }; * ``` */ diff --git a/rust/ql/lib/codeql/rust/generated/RefPat.qll b/rust/ql/lib/codeql/rust/generated/RefPat.qll index 38680ae4946e..a13e517a3c87 100644 --- a/rust/ql/lib/codeql/rust/generated/RefPat.qll +++ b/rust/ql/lib/codeql/rust/generated/RefPat.qll @@ -17,8 +17,8 @@ module Generated { * A reference pattern. For example: * ``` * match x { - * &mut Some(y) => y, - * &None => 0, + * &mut Option::Some(y) => y, + * &Option::None => 0, * }; * ``` * INTERNAL: Do not reference the `Generated::RefPat` class directly. diff --git a/rust/ql/test/extractor-tests/generated/.generated_tests.list b/rust/ql/test/extractor-tests/generated/.generated_tests.list index 402b15f3d6a6..f70375a20103 100644 --- a/rust/ql/test/extractor-tests/generated/.generated_tests.list +++ b/rust/ql/test/extractor-tests/generated/.generated_tests.list @@ -5,7 +5,7 @@ BecomeExpr/gen_become_expr.rs 15f42386c7362b50d8bcefda432167104e537fa63f038c1ab0 BinExpr/gen_bin_expr.rs fcfdfa8cc35f12c9a1114cdbc00b06e9759abae9ee8a4a3fed19f979dc6fed4d fcfdfa8cc35f12c9a1114cdbc00b06e9759abae9ee8a4a3fed19f979dc6fed4d BlockExpr/gen_block_expr.rs b09aa0406d2e772bc14bb1be4959ac21ebaf75c65a1d9f92bb3d8be5fd571023 b09aa0406d2e772bc14bb1be4959ac21ebaf75c65a1d9f92bb3d8be5fd571023 BoxExpr/gen_box_expr.rs f4392a8e9daae2492c087fc8f7323f45ffbdb43a4ae5035be61e6edeaf427f23 f4392a8e9daae2492c087fc8f7323f45ffbdb43a4ae5035be61e6edeaf427f23 -BoxPat/gen_box_pat.rs ba50537d68f9a635fc64ecd23955ef478e106e497c85ec2500b869673446ee67 ba50537d68f9a635fc64ecd23955ef478e106e497c85ec2500b869673446ee67 +BoxPat/gen_box_pat.rs 4f6c7ea95d49a350bcfe8bc381229b89c08eb44580d98c853cf6b2ab6649b3a6 4f6c7ea95d49a350bcfe8bc381229b89c08eb44580d98c853cf6b2ab6649b3a6 BreakExpr/gen_break_expr.rs 4938cdab0fdb9b7bafa021912d59595a190fffbabfb3889ea7ee0917150b0a55 4938cdab0fdb9b7bafa021912d59595a190fffbabfb3889ea7ee0917150b0a55 CallExpr/gen_call_expr.rs 8a3b00e4af996dcfd4593783316b2d793e8b90b24b4bb78acccca6f974cf9c36 8a3b00e4af996dcfd4593783316b2d793e8b90b24b4bb78acccca6f974cf9c36 CastExpr/gen_cast_expr.rs 35ba1e109899f5b6297cb0db6d6a48270e031c91b27fab212b07a9f93948f816 35ba1e109899f5b6297cb0db6d6a48270e031c91b27fab212b07a9f93948f816 @@ -18,7 +18,7 @@ ExprStmt/gen_expr_stmt.rs eedad804b2fbd49385c284ece44ecddf18eb56b61ff54607dfdd65 FieldExpr/gen_field_expr.rs 7ab04efc8b45892d3214eccaeac0b1659213623ae95acb463c531b865988f148 7ab04efc8b45892d3214eccaeac0b1659213623ae95acb463c531b865988f148 Function/gen_function.rs 1048512614569eaf818e16a30df256556e25f3b7fb97eee2a8df4b0036b10e99 1048512614569eaf818e16a30df256556e25f3b7fb97eee2a8df4b0036b10e99 GenericArgList/gen_generic_arg_list.rs 428b05b7dd2c2060ac752f4d98a4d3daf44eb9f0a7cfb05bccbe284a91f4be27 428b05b7dd2c2060ac752f4d98a4d3daf44eb9f0a7cfb05bccbe284a91f4be27 -IdentPat/gen_ident_pat.rs f8cd49453ef1600542143c60ecefcf98cc1fb863735b78246017b516a0b5024d f8cd49453ef1600542143c60ecefcf98cc1fb863735b78246017b516a0b5024d +IdentPat/gen_ident_pat.rs 719807aae94b372b489cac7e9ae00d91c2df6e2de7bae9b24e5f6f9aaf8f1b64 719807aae94b372b489cac7e9ae00d91c2df6e2de7bae9b24e5f6f9aaf8f1b64 IfExpr/gen_if_expr.rs 073ba575b54a553945d3131d7e92cdb1520c24f380361723a1b9d848b6296d7b 073ba575b54a553945d3131d7e92cdb1520c24f380361723a1b9d848b6296d7b IndexExpr/gen_index_expr.rs b1a1b9eadd40ac1652d944dc925337435ef5782bf485a0f0360c971f4938cdd8 b1a1b9eadd40ac1652d944dc925337435ef5782bf485a0f0360c971f4938cdd8 Label/gen_label.rs 463ae5ff89ef1222896d7c2009fb8ae7f437c51bc767415e37f6a50b76b9edbd 463ae5ff89ef1222896d7c2009fb8ae7f437c51bc767415e37f6a50b76b9edbd @@ -27,14 +27,14 @@ LetStmt/gen_let_stmt.rs d22098db07cbdd4e4616c24bc9738f989e553336c7ce1a5391e1b403 Literal/gen_literal.rs 5d0091bb686fb8d9b9115f9bb7a66d4d79dde7b0d66cc8e4df2ef00adaed25f1 5d0091bb686fb8d9b9115f9bb7a66d4d79dde7b0d66cc8e4df2ef00adaed25f1 LiteralPat/gen_literal_pat.rs b97dfb678d9e78d8b1673862e6d88593cfccb648fd5915a5849eb20fdc5d2165 b97dfb678d9e78d8b1673862e6d88593cfccb648fd5915a5849eb20fdc5d2165 LoopExpr/gen_loop_expr.rs 0a7e6dd7690fae82495c466f8a175b3a4097478041ec0e0bc0b7db97d2e50e66 0a7e6dd7690fae82495c466f8a175b3a4097478041ec0e0bc0b7db97d2e50e66 -MatchArm/gen_match_arm.rs b3d7fc8be0f739787415a4fc9788e462f3ea9f46fc2e734198745aaa62c0d0f4 b3d7fc8be0f739787415a4fc9788e462f3ea9f46fc2e734198745aaa62c0d0f4 -MatchExpr/gen_match_expr.rs 7b20fb5bd04d5c93021d7daf3be9f30c13c854fac088835d9d7d9d16c0d963c5 7b20fb5bd04d5c93021d7daf3be9f30c13c854fac088835d9d7d9d16c0d963c5 +MatchArm/gen_match_arm.rs cad136c0d9ffd9fb4250e1e26ccaa7a2920b614d004c25296b819b8d33e87cf9 cad136c0d9ffd9fb4250e1e26ccaa7a2920b614d004c25296b819b8d33e87cf9 +MatchExpr/gen_match_expr.rs 5c444ccc272acd26aabed0462d0527096dbb52a783f8353e6385335314f1035f 5c444ccc272acd26aabed0462d0527096dbb52a783f8353e6385335314f1035f MethodCallExpr/gen_method_call_expr.rs 2e303e2677134db6d1e757f093f78bbd0db08f067c86d6d9b141b7115f352fd7 2e303e2677134db6d1e757f093f78bbd0db08f067c86d6d9b141b7115f352fd7 MissingExpr/gen_missing_expr.rs 24bed82f1e2a4bc18c00d59bc06ad0aa59371d5fab71e67a8b4eb1a5f59c61cb 24bed82f1e2a4bc18c00d59bc06ad0aa59371d5fab71e67a8b4eb1a5f59c61cb -MissingPat/gen_missing_pat.rs 0d31993464689611846dfea19ae856f71294aa5620b7248625ca273e7d840e87 0d31993464689611846dfea19ae856f71294aa5620b7248625ca273e7d840e87 +MissingPat/gen_missing_pat.rs a4e05c03a08074e332ae5bf18edabb87950119ff938d825efa18e4362ccd4c12 a4e05c03a08074e332ae5bf18edabb87950119ff938d825efa18e4362ccd4c12 Module/gen_module.rs 6ef553f0782cacf198efe10885a7784e208bbe8da27a65f7f004b49581a75120 6ef553f0782cacf198efe10885a7784e208bbe8da27a65f7f004b49581a75120 OffsetOfExpr/gen_offset_of_expr.rs 3744346b0e37fd18193f41e45b74ba9a5dca8ae3dc6a30381272358e6ec8e495 3744346b0e37fd18193f41e45b74ba9a5dca8ae3dc6a30381272358e6ec8e495 -OrPat/gen_or_pat.rs a59e67d5481bb3c21b10eddb99d5dce1de4321dc584c91d72bd3ddb00a0edd06 a59e67d5481bb3c21b10eddb99d5dce1de4321dc584c91d72bd3ddb00a0edd06 +OrPat/gen_or_pat.rs 5b27d1397060dab0aba02ce35b7d182394d8b0a84a42984d2508868673d36b2c 5b27d1397060dab0aba02ce35b7d182394d8b0a84a42984d2508868673d36b2c Path/gen_path.rs 9c70415477de7f794bc1b43eb5cc62a9d8280e312c0aa2039c7bf1f8d6760fb2 9c70415477de7f794bc1b43eb5cc62a9d8280e312c0aa2039c7bf1f8d6760fb2 PathExpr/gen_path_expr.rs b29cc007c4a158fb2bc464db02464614f1664a80c67a81696978e2715ce2652d b29cc007c4a158fb2bc464db02464614f1664a80c67a81696978e2715ce2652d PathPat/gen_path_pat.rs a858875ccc5baffb04c46127e1f4cd41e5fcc7843eebbdf791c20ba2efe78e5a a858875ccc5baffb04c46127e1f4cd41e5fcc7843eebbdf791c20ba2efe78e5a @@ -46,7 +46,7 @@ RecordExprField/gen_record_expr_field.rs ca3335ee9a4e091f2a4ebc183bd6f8ff9cd8f37 RecordPat/gen_record_pat.rs 4df648cfb7babf7f3b610499f279681b20840b63eb6ebbdda996298d8ff28aed 4df648cfb7babf7f3b610499f279681b20840b63eb6ebbdda996298d8ff28aed RecordPatField/gen_record_pat_field.rs 83f05d7acccbf792f952272bf049253100d7590ce25c3665d7bb284f88cd62d5 83f05d7acccbf792f952272bf049253100d7590ce25c3665d7bb284f88cd62d5 RefExpr/gen_ref_expr.rs b79b89935a758c51488ffe654c662bb51af867abd140825859db97197dc7af29 b79b89935a758c51488ffe654c662bb51af867abd140825859db97197dc7af29 -RefPat/gen_ref_pat.rs fe7a990172263730e412649f446cf9976633fb8f21fee1b5134f00f695bf5823 fe7a990172263730e412649f446cf9976633fb8f21fee1b5134f00f695bf5823 +RefPat/gen_ref_pat.rs e12a9380919d62f8910efd09ce6883b7bb53257879eef0aaeaa9f1870af29ad5 e12a9380919d62f8910efd09ce6883b7bb53257879eef0aaeaa9f1870af29ad5 RepeatExpr/gen_repeat_expr.rs 98e06e5b9d1750a6ec64513d451b7a46eb215e2f2a6d482eaeeb07dec6dc8564 98e06e5b9d1750a6ec64513d451b7a46eb215e2f2a6d482eaeeb07dec6dc8564 ReturnExpr/gen_return_expr.rs ab3d5f8f19c8b2ad1410c9855b7f437b96dc9d50d67e99047678b515e58e5425 ab3d5f8f19c8b2ad1410c9855b7f437b96dc9d50d67e99047678b515e58e5425 SlicePat/gen_slice_pat.rs fbbd5568cbadef51a7970fdbb8d99bf591e29d06987fe3c53b7c19f437431568 fbbd5568cbadef51a7970fdbb8d99bf591e29d06987fe3c53b7c19f437431568 diff --git a/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected b/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected index 655e3c463163..41597634b951 100644 --- a/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected +++ b/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected @@ -1,2 +1,2 @@ -| gen_box_pat.rs:6:9:6:19 | BoxPat | getInner: | gen_box_pat.rs:6:13:6:19 | TupleStructPat | -| gen_box_pat.rs:7:9:7:16 | BoxPat | getInner: | gen_box_pat.rs:7:13:7:16 | PathPat | +| gen_box_pat.rs:6:9:6:27 | BoxPat | getInner: | gen_box_pat.rs:6:13:6:27 | TupleStructPat | +| gen_box_pat.rs:7:9:7:24 | BoxPat | getInner: | gen_box_pat.rs:7:13:7:24 | PathPat | diff --git a/rust/ql/test/extractor-tests/generated/BoxPat/gen_box_pat.rs b/rust/ql/test/extractor-tests/generated/BoxPat/gen_box_pat.rs index 291e7d67c54d..a8e16c413476 100644 --- a/rust/ql/test/extractor-tests/generated/BoxPat/gen_box_pat.rs +++ b/rust/ql/test/extractor-tests/generated/BoxPat/gen_box_pat.rs @@ -3,7 +3,7 @@ fn test_box_pat() -> () { // A box pattern. For example: match x { - box Some(y) => y, - box None => 0, + box Option::Some(y) => y, + box Option::None => 0, }; } diff --git a/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected b/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected index e0d1b3ed902b..6973ca9aba2e 100644 --- a/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected +++ b/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected @@ -1,2 +1,2 @@ -| gen_ident_pat.rs:6:14:6:14 | IdentPat | getBindingId: | y | hasSubpat: | no | -| gen_ident_pat.rs:10:9:10:17 | IdentPat | getBindingId: | y | hasSubpat: | yes | +| gen_ident_pat.rs:6:22:6:22 | IdentPat | getBindingId: | y | hasSubpat: | no | +| gen_ident_pat.rs:10:9:10:25 | IdentPat | getBindingId: | y | hasSubpat: | yes | diff --git a/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getSubpat.expected b/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getSubpat.expected index 78b903ed5e03..705456753b9c 100644 --- a/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getSubpat.expected +++ b/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getSubpat.expected @@ -1 +1 @@ -| gen_ident_pat.rs:10:9:10:17 | IdentPat | gen_ident_pat.rs:10:11:10:17 | TupleStructPat | +| gen_ident_pat.rs:10:9:10:25 | IdentPat | gen_ident_pat.rs:10:11:10:25 | TupleStructPat | diff --git a/rust/ql/test/extractor-tests/generated/IdentPat/gen_ident_pat.rs b/rust/ql/test/extractor-tests/generated/IdentPat/gen_ident_pat.rs index 7480705b3b68..0b8111cc1072 100644 --- a/rust/ql/test/extractor-tests/generated/IdentPat/gen_ident_pat.rs +++ b/rust/ql/test/extractor-tests/generated/IdentPat/gen_ident_pat.rs @@ -3,11 +3,11 @@ fn test_ident_pat() -> () { // A binding pattern. For example: match x { - Some(y) => y, - None => 0, + Option::Some(y) => y, + Option::None => 0, }; match x { - y@Some(_) => y, - None => 0, + y@Option::Some(_) => y, + Option::None => 0, }; } diff --git a/rust/ql/test/extractor-tests/generated/MatchArm/MatchArm.expected b/rust/ql/test/extractor-tests/generated/MatchArm/MatchArm.expected index 36d20b495a4c..3f55c28f585d 100644 --- a/rust/ql/test/extractor-tests/generated/MatchArm/MatchArm.expected +++ b/rust/ql/test/extractor-tests/generated/MatchArm/MatchArm.expected @@ -1,4 +1,4 @@ -| gen_match_arm.rs:6:9:6:15 | MatchArm | getPat: | gen_match_arm.rs:6:9:6:15 | TupleStructPat | hasGuard: | no | getExpr: | gen_match_arm.rs:6:20:6:20 | PathExpr | -| gen_match_arm.rs:7:9:7:12 | MatchArm | getPat: | gen_match_arm.rs:7:9:7:12 | PathPat | hasGuard: | no | getExpr: | gen_match_arm.rs:7:17:7:17 | Literal | +| gen_match_arm.rs:6:9:6:23 | MatchArm | getPat: | gen_match_arm.rs:6:9:6:23 | TupleStructPat | hasGuard: | no | getExpr: | gen_match_arm.rs:6:28:6:28 | PathExpr | +| gen_match_arm.rs:7:9:7:20 | MatchArm | getPat: | gen_match_arm.rs:7:9:7:20 | PathPat | hasGuard: | no | getExpr: | gen_match_arm.rs:7:25:7:25 | Literal | | gen_match_arm.rs:10:9:10:15 | MatchArm | getPat: | gen_match_arm.rs:10:9:10:15 | TupleStructPat | hasGuard: | yes | getExpr: | gen_match_arm.rs:10:30:10:34 | BinExpr | | gen_match_arm.rs:11:9:11:9 | MatchArm | getPat: | gen_match_arm.rs:11:9:11:9 | WildcardPat | hasGuard: | no | getExpr: | gen_match_arm.rs:11:14:11:14 | Literal | diff --git a/rust/ql/test/extractor-tests/generated/MatchArm/gen_match_arm.rs b/rust/ql/test/extractor-tests/generated/MatchArm/gen_match_arm.rs index 5fe2f9c6e8e2..bda762f694bf 100644 --- a/rust/ql/test/extractor-tests/generated/MatchArm/gen_match_arm.rs +++ b/rust/ql/test/extractor-tests/generated/MatchArm/gen_match_arm.rs @@ -3,8 +3,8 @@ fn test_match_arm(x: i32) -> i32 { // A match arm. For example: match x { - Some(y) => y, - None => 0, + Option::Some(y) => y, + Option::None => 0, }; match x { Some(y) if y != 0 => 1 / y, diff --git a/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getBranch.expected b/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getBranch.expected index 75da7cef94d4..ff70602e20dd 100644 --- a/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getBranch.expected +++ b/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getBranch.expected @@ -1,4 +1,4 @@ -| gen_match_expr.rs:5:5:8:5 | MatchExpr | 0 | gen_match_expr.rs:6:9:6:15 | MatchArm | -| gen_match_expr.rs:5:5:8:5 | MatchExpr | 1 | gen_match_expr.rs:7:9:7:12 | MatchArm | +| gen_match_expr.rs:5:5:8:5 | MatchExpr | 0 | gen_match_expr.rs:6:9:6:23 | MatchArm | +| gen_match_expr.rs:5:5:8:5 | MatchExpr | 1 | gen_match_expr.rs:7:9:7:20 | MatchArm | | gen_match_expr.rs:9:5:12:5 | MatchExpr | 0 | gen_match_expr.rs:10:9:10:15 | MatchArm | | gen_match_expr.rs:9:5:12:5 | MatchExpr | 1 | gen_match_expr.rs:11:9:11:9 | MatchArm | diff --git a/rust/ql/test/extractor-tests/generated/MatchExpr/gen_match_expr.rs b/rust/ql/test/extractor-tests/generated/MatchExpr/gen_match_expr.rs index efae3774aadc..2e50514cc552 100644 --- a/rust/ql/test/extractor-tests/generated/MatchExpr/gen_match_expr.rs +++ b/rust/ql/test/extractor-tests/generated/MatchExpr/gen_match_expr.rs @@ -3,8 +3,8 @@ fn test_match_expr(x: i32) -> i32 { // A match expression. For example: match x { - Some(y) => y, - None => 0, + Option::Some(y) => y, + Option::None => 0, } match x { Some(y) if y != 0 => 1 / y, diff --git a/rust/ql/test/extractor-tests/generated/MissingPat/gen_missing_pat.rs b/rust/ql/test/extractor-tests/generated/MissingPat/gen_missing_pat.rs index bed70f4d7ff9..4a76319568a9 100644 --- a/rust/ql/test/extractor-tests/generated/MissingPat/gen_missing_pat.rs +++ b/rust/ql/test/extractor-tests/generated/MissingPat/gen_missing_pat.rs @@ -3,7 +3,6 @@ fn test_missing_pat() -> () { // A missing pattern, used as a place holder for incomplete syntax. match Some(42) { - .. => "ok", - _ => "fail", + .. => "bad use of .. syntax", }; } diff --git a/rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected b/rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected index 73e937f56e73..bca61721ca45 100644 --- a/rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected +++ b/rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected @@ -1 +1 @@ -| gen_or_pat.rs:6:9:6:22 | OrPat | getNumberOfArgs: | 2 | +| gen_or_pat.rs:6:9:6:38 | OrPat | getNumberOfArgs: | 2 | diff --git a/rust/ql/test/extractor-tests/generated/OrPat/OrPat_getArg.expected b/rust/ql/test/extractor-tests/generated/OrPat/OrPat_getArg.expected index a80d9a19e8f5..a701548b2345 100644 --- a/rust/ql/test/extractor-tests/generated/OrPat/OrPat_getArg.expected +++ b/rust/ql/test/extractor-tests/generated/OrPat/OrPat_getArg.expected @@ -1,2 +1,2 @@ -| gen_or_pat.rs:6:9:6:22 | OrPat | 0 | gen_or_pat.rs:6:9:6:15 | TupleStructPat | -| gen_or_pat.rs:6:9:6:22 | OrPat | 1 | gen_or_pat.rs:6:19:6:22 | PathPat | +| gen_or_pat.rs:6:9:6:38 | OrPat | 0 | gen_or_pat.rs:6:9:6:23 | TupleStructPat | +| gen_or_pat.rs:6:9:6:38 | OrPat | 1 | gen_or_pat.rs:6:27:6:38 | PathPat | diff --git a/rust/ql/test/extractor-tests/generated/OrPat/gen_or_pat.rs b/rust/ql/test/extractor-tests/generated/OrPat/gen_or_pat.rs index 2409c4e41794..2ad139d6e374 100644 --- a/rust/ql/test/extractor-tests/generated/OrPat/gen_or_pat.rs +++ b/rust/ql/test/extractor-tests/generated/OrPat/gen_or_pat.rs @@ -3,6 +3,6 @@ fn test_or_pat() -> () { // An or pattern. For example: match x { - Some(y) | None => 0, + Option::Some(y) | Option::None => 0, } } diff --git a/rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected b/rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected index d45f05245203..095e9af1d6f0 100644 --- a/rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected +++ b/rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected @@ -1,2 +1,2 @@ -| gen_ref_pat.rs:6:9:6:20 | RefPat | getPat: | gen_ref_pat.rs:6:14:6:20 | TupleStructPat | isMut: | yes | -| gen_ref_pat.rs:7:9:7:13 | RefPat | getPat: | gen_ref_pat.rs:7:10:7:13 | PathPat | isMut: | no | +| gen_ref_pat.rs:6:9:6:28 | RefPat | getPat: | gen_ref_pat.rs:6:14:6:28 | TupleStructPat | isMut: | yes | +| gen_ref_pat.rs:7:9:7:21 | RefPat | getPat: | gen_ref_pat.rs:7:10:7:21 | PathPat | isMut: | no | diff --git a/rust/ql/test/extractor-tests/generated/RefPat/gen_ref_pat.rs b/rust/ql/test/extractor-tests/generated/RefPat/gen_ref_pat.rs index 58b24ddfbf5a..cf5d7375b06f 100644 --- a/rust/ql/test/extractor-tests/generated/RefPat/gen_ref_pat.rs +++ b/rust/ql/test/extractor-tests/generated/RefPat/gen_ref_pat.rs @@ -3,7 +3,7 @@ fn test_ref_pat() -> () { // A reference pattern. For example: match x { - &mut Some(y) => y, - &None => 0, + &mut Option::Some(y) => y, + &Option::None => 0, }; } diff --git a/rust/schema.py b/rust/schema.py index 598786d10e9c..ba132c8bc233 100644 --- a/rust/schema.py +++ b/rust/schema.py @@ -380,8 +380,8 @@ class MatchArm(AstNode): A match arm. For example: ``` match x { - Some(y) => y, - None => 0, + Option::Some(y) => y, + Option::None => 0, }; ``` ``` @@ -402,8 +402,8 @@ class MatchExpr(Expr): A match expression. For example: ``` match x { - Some(y) => y, - None => 0, + Option::Some(y) => y, + Option::None => 0, } ``` ``` @@ -858,8 +858,7 @@ class MissingPat(Pat): A missing pattern, used as a place holder for incomplete syntax. ``` match Some(42) { - .. => "ok", - _ => "fail", + .. => "bad use of .. syntax", }; ``` """ @@ -896,7 +895,7 @@ class OrPat(Pat): An or pattern. For example: ``` match x { - Some(y) | None => 0, + Option::Some(y) | Option::None => 0, } ``` """ @@ -998,14 +997,14 @@ class IdentPat(Pat): A binding pattern. For example: ``` match x { - Some(y) => y, - None => 0, + Option::Some(y) => y, + Option::None => 0, }; ``` ``` match x { - y@Some(_) => y, - None => 0, + y@Option::Some(_) => y, + Option::None => 0, }; ``` """ @@ -1036,8 +1035,8 @@ class RefPat(Pat): A reference pattern. For example: ``` match x { - &mut Some(y) => y, - &None => 0, + &mut Option::Some(y) => y, + &Option::None => 0, }; ``` """ @@ -1051,8 +1050,8 @@ class BoxPat(Pat): A box pattern. For example: ``` match x { - box Some(y) => y, - box None => 0, + box Option::Some(y) => y, + box Option::None => 0, }; ``` """