Commit Graph

3279 Commits

Author SHA1 Message Date
Paolo Tranquilli
2bf5a70884 Rust: update model generator tests 2025-06-19 17:08:33 +02:00
Paolo Tranquilli
b5a7f87bbc Rust: fix debug/CaptureSummaryModelsPartialPath.ql 2025-06-19 16:17:18 +02:00
Paolo Tranquilli
0e9d4aacd9 Rust: accept test changes 2025-06-19 16:13:26 +02:00
Geoffrey White
b40bd75e64 Rust: Revert consistency check failures (cross fingers...) 2025-06-19 14:33:30 +01:00
Geoffrey White
7a25596749 Merge branch 'main' into typeinfer 2025-06-19 14:27:35 +01:00
Geoffrey White
26e7b2d5f8 Rust: Accept path resolution consistency changes. 2025-06-19 14:19:13 +01:00
Paolo Tranquilli
170dd6c9cc Rust: regenerate models 2025-06-19 14:58:47 +02:00
Paolo Tranquilli
79fd10d31f Rust: move model generator to new format 2025-06-19 14:58:46 +02:00
Simon Friis Vindum
7d536a3c80 Rust: When resolving methods on reference also consider the reference itself 2025-06-19 14:57:52 +02:00
Geoffrey White
d55e8b7010 Rust: Add another test case for ranges. 2025-06-19 13:45:54 +01:00
Simon Friis Vindum
845179665c Rust: Add type inference test with borrow of unknown argument 2025-06-19 14:29:27 +02:00
Simon Friis Vindum
7c9d15b605 Rust: Add test with method on borrow 2025-06-19 14:29:26 +02:00
Simon Friis Vindum
9bdb541065 Rust: Add type inference tests for dereferencing 2025-06-19 14:29:15 +02:00
Geoffrey White
7170e97e22 Rust: Update test expectations format (type=...). 2025-06-19 13:09:28 +01:00
Geoffrey White
f670fcb301 Rust: Add a Vec test case that we actually get (explicit type). 2025-06-19 11:28:17 +01:00
Geoffrey White
1622d08624 Rust: Add inferArrayExprType. 2025-06-19 11:21:37 +01:00
Geoffrey White
639f85a556 Merge branch 'main' into typeinfer 2025-06-19 11:15:52 +01:00
Simon Friis Vindum
bea855abd7 Merge pull request #19789 from paldepind/rust/operator-borrowing
Rust: Account for borrows in operators in type inference
2025-06-19 11:33:56 +02:00
Geoffrey White
4b7c7c1c21 Rust: Accept consistency check changes (again). 2025-06-19 10:30:06 +01:00
Geoffrey White
64d0e174c4 Merge branch 'main' into poem 2025-06-19 10:19:05 +01:00
Tom Hvitved
519e56f752 Rust: Path resolution for crate::{self as foo} 2025-06-18 19:57:57 +02:00
Tom Hvitved
77a92c062b Rust: Add path resolution test 2025-06-18 19:55:33 +02:00
Geoffrey White
36cf4b613e Rust: Accept consistency changes. 2025-06-18 17:32:20 +01:00
Geoffrey White
117a80e8d7 Rust: Accept consistency check changes. 2025-06-18 17:24:45 +01:00
Geoffrey White
5edd6e85e7 Rust: Restrict results to 'unsafe' blocks. 2025-06-18 15:45:31 +01:00
Geoffrey White
dbde8418bb Rust: Another test case (unsafe function). 2025-06-18 15:29:37 +01:00
Geoffrey White
01c6966cef Rust: Remove redundant code and imports. 2025-06-18 13:25:30 +01:00
Tamás Vajk
f5f0918563 Merge pull request #19808 from tamasvajk/quality/extended-suite
Add code-quality-extended query suites
2025-06-18 14:23:22 +02:00
Paolo Tranquilli
494d192b32 Merge branch 'main' into redsun82/rust-doc 2025-06-18 14:02:31 +02:00
Tom Hvitved
ee9ceb5066 Merge pull request #19790 from hvitved/rust/new-mad-format
Rust: Add new MaD format based on QL-computed canonical paths
2025-06-18 13:55:23 +02:00
Tom Hvitved
e5ef09a127 Merge pull request #19809 from hvitved/rust/jump-to-method-call
Rust: Extend jump-to-def query with method calls
2025-06-18 13:17:02 +02:00
Tom Hvitved
c88a5049e0 Rust: Fix column orders in interpretModelForTest 2025-06-18 13:15:36 +02:00
Tamas Vajk
e6a9ff08a3 Adjust query-suite integration test expected files 2025-06-18 13:10:34 +02:00
Tamas Vajk
40274dcd69 Add code-quality-extended query suites 2025-06-18 13:10:34 +02:00
Geoffrey White
79cedc2586 Rust: Rename predicate again. 2025-06-18 11:56:04 +01:00
Geoffrey White
5bf799e717 Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
2025-06-18 11:52:02 +01:00
Tom Hvitved
63379df004 Rust: Add new MaD format based on QL-computed canonical paths 2025-06-18 12:14:36 +02:00
Tom Hvitved
c35598a2ea Rust: Add Deprecated suffix to existing MaD extensible predicates 2025-06-18 12:14:30 +02:00
Paolo Tranquilli
75616de613 Rust: make proc_macro test version also 0.0.1 2025-06-18 11:12:13 +02:00
Paolo Tranquilli
27eeaf25fd Rust: fix lock files 2025-06-18 10:47:44 +02:00
Geoffrey White
9c3e362594 Rust: Add TupleStructPat.getStruct. 2025-06-18 09:29:14 +01:00
Paolo Tranquilli
b29ad5b12a Rust: add attribute macro expansion to path resolution test 2025-06-18 10:22:19 +02:00
Tom Hvitved
5cd729545d Rust: Extend jump-to-def query with method calls 2025-06-18 09:27:25 +02:00
Paolo Tranquilli
03599b43cb Merge branch 'main' into redsun82/rust-qltest-proc-macro 2025-06-18 09:01:28 +02:00
Geoffrey White
df221ea8f8 Rust: Remove excess 'cached' annotation. 2025-06-17 23:17:58 +01:00
Geoffrey White
dec0deb4d1 Rust: Add some more test cases for type inference on Vecs. 2025-06-17 23:07:32 +01:00
Geoffrey White
cd6975f7b7 Rust: Update DotDotCheck from getResolvedPath -> getCanonicalPath. 2025-06-17 17:07:39 +01:00
Paolo Tranquilli
d2a05886c8 Rust: do not do html escaping in cargo template 2025-06-17 17:16:47 +02:00
Paolo Tranquilli
299fe2eb3f Rust: add proc-macro capabilities to QL tests
This adds the possibility to add a special `proc_macro.rs` source file
to QL tests, which will be generated into a `proc_macro` crate the
usual `lib` crate depends on.

This allow to define procedural macros in QL tests, and is here used to
move the `macro-expansion` integration test to be a language test
instead.

As the generated manifests involved were starting to get a bit complex,
they are now generated from a `mustache` template.
2025-06-17 16:58:33 +02:00
Geoffrey White
dc08274aa2 Rust: Update SqlxQuery, SqlxExecute from getResolvedPath -> getCanonicalPath. 2025-06-17 15:56:18 +01:00