Tom Hvitved
|
1ccea7f6b2
|
Merge pull request #19829 from paldepind/rust/type-tree-constraint
Rust: Add `SatisfiesConstraintInput` module in shared type inference
|
2025-06-23 17:17:23 +02:00 |
|
Paolo Tranquilli
|
823ac5c7ea
|
Merge branch 'main' into redsun82/cargo-upgrade-3
|
2025-06-23 16:01:21 +02:00 |
|
Simon Friis Vindum
|
326c7de521
|
Rust: Ensure index expressions are not handled as calls yet in data flow
|
2025-06-23 16:00:10 +02:00 |
|
Simon Friis Vindum
|
84accd1c81
|
Rust: Implement overloaded index expression in type inference
|
2025-06-23 16:00:07 +02:00 |
|
Tom Hvitved
|
7350196044
|
Rust: Take derive macros into account in is{In,From}MacroExpansion
|
2025-06-23 15:23:06 +02:00 |
|
Tom Hvitved
|
13bc0d2334
|
Merge pull request #19825 from hvitved/rust/path-resolution-consistency-remove-overlap
Rust: Avoid overlapping path resolution consistency checks
|
2025-06-23 15:20:49 +02:00 |
|
Geoffrey White
|
530ded18e4
|
Merge branch 'main' into typeinfer
|
2025-06-23 14:02:58 +01:00 |
|
Paolo Tranquilli
|
16b9bec015
|
Rust: regenerate models after rust-analyzer update
|
2025-06-23 14:39:56 +02:00 |
|
Paolo Tranquilli
|
5162d2cf52
|
Rust: fix DB upgrade/downgrade scripts
|
2025-06-23 14:38:38 +02:00 |
|
Arthur Baars
|
13b28e2b60
|
Rust: add upgrade/downgrade scripts for new tables
|
2025-06-23 14:35:52 +02:00 |
|
Geoffrey White
|
d02a7288ff
|
Update rust/ql/lib/codeql/rust/internal/TypeInference.qll
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-06-23 13:04:56 +01:00 |
|
Tom Hvitved
|
28d3f9b572
|
Merge pull request #19801 from geoffw0/poem
Rust: Update PoemHandlerParam to use getCanonicalPath
|
2025-06-23 13:53:39 +02:00 |
|
Simon Friis Vindum
|
60c27f8c30
|
Rust: Address PR feedback
|
2025-06-23 13:11:15 +02:00 |
|
Simon Friis Vindum
|
6e9fd496a6
|
Rust: Implement await expression using SatisfiesConstraint module
|
2025-06-23 12:51:03 +02:00 |
|
Paolo Tranquilli
|
377fb00dea
|
Merge branch 'main' into redsun82/cargo-upgrade-3
|
2025-06-23 12:26:15 +02:00 |
|
Tom Hvitved
|
1f09f713b9
|
Rust: Avoid overlapping path resolution consistency checks
|
2025-06-23 11:26:30 +02:00 |
|
Paolo Tranquilli
|
bd0d996664
|
Merge branch 'main' into redsun82/rust-doc
|
2025-06-23 10:16:38 +02:00 |
|
Paolo Tranquilli
|
23c449f21f
|
Merge pull request #19824 from github/redsun82/rust-derive-macro-expansion
Rust: expand derive macros
|
2025-06-23 09:42:49 +02:00 |
|
Arthur Baars
|
f4bdd4d35a
|
Merge branch 'main' into redsun82/rust-derive-macro-expansion
|
2025-06-20 19:32:08 +02:00 |
|
Paolo Tranquilli
|
efd318dc01
|
Rust: rerun codegen
|
2025-06-20 17:45:08 +02:00 |
|
Paolo Tranquilli
|
c22526e9d0
|
Rust: add upgrade/downgrade scripts
|
2025-06-20 16:17:22 +02:00 |
|
Paolo Tranquilli
|
02b6e856a3
|
Rust: remove VariantDef
|
2025-06-20 15:59:18 +02:00 |
|
Paolo Tranquilli
|
0d292b785c
|
Rust: remove reduntant Item superclass from Adt subclasses
|
2025-06-20 15:45:18 +02:00 |
|
Paolo Tranquilli
|
6253b5c5d0
|
Merge branch 'main' into redsun82/rust-regenerate-models
|
2025-06-20 15:27:40 +02:00 |
|
Paolo Tranquilli
|
670b835410
|
Merge branch 'main' into redsun82/rust-derive-macro-expansion
|
2025-06-20 15:21:03 +02:00 |
|
Tom Hvitved
|
b234d775ac
|
Merge pull request #19816 from hvitved/rust/path-resolution-crate-self
Rust: Path resolution for `crate::{self as foo}`
|
2025-06-20 14:50:28 +02:00 |
|
Paolo Tranquilli
|
52c0028f85
|
Rust: make Adt be generated
|
2025-06-20 14:35:08 +02:00 |
|
Simon Friis Vindum
|
bd2812c821
|
Rust: Only resolve deref methods on references to avoid blowup
|
2025-06-20 12:49:22 +02:00 |
|
Paolo Tranquilli
|
e935bd6faf
|
Rust: expand derive macros
|
2025-06-20 11:19:06 +02:00 |
|
Simon Friis Vindum
|
09bf05f0df
|
Rust: Fix types for * to deref overload
|
2025-06-19 21:01:26 +02:00 |
|
Paolo Tranquilli
|
11af770cea
|
Merge branch 'main' into redsun82/rust-doc
|
2025-06-19 18:21:47 +02:00 |
|
Geoffrey White
|
7a25596749
|
Merge branch 'main' into typeinfer
|
2025-06-19 14:27:35 +01:00 |
|
Paolo Tranquilli
|
170dd6c9cc
|
Rust: regenerate models
|
2025-06-19 14:58:47 +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
|
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
|
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 |
|
Geoffrey White
|
01c6966cef
|
Rust: Remove redundant code and imports.
|
2025-06-18 13:25:30 +01: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 |
|
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 |
|
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 |
|