Tom Hvitved
|
add2e0fd9d
|
Rust: Extend methodResolutionDependsOnArgument to parameterized implementations
|
2025-07-01 14:22:06 +02:00 |
|
Tom Hvitved
|
961e6201ea
|
Rust: Add more type inference tests
|
2025-07-01 14:22:04 +02:00 |
|
Tom Hvitved
|
b813010b75
|
Merge pull request #19903 from hvitved/rust/type-inference-overlap2
Rust: Apply inherent method prioritization inside type inference loop
|
2025-07-01 14:21:15 +02:00 |
|
Tom Hvitved
|
072339137a
|
Rust: Update expected test output
|
2025-07-01 10:34:16 +02:00 |
|
Tom Hvitved
|
bd1f46b75c
|
Rust: Assume prelude is always available in path resolution
|
2025-07-01 10:18:02 +02:00 |
|
Tom Hvitved
|
e88d7baa7d
|
Rust: Apply inherent method prioritization inside type inference loop
|
2025-07-01 10:17:26 +02:00 |
|
Tom Hvitved
|
e5f0ef6ae8
|
Rust: Add more type inference tests
|
2025-07-01 10:17:25 +02:00 |
|
Tom Hvitved
|
57661df306
|
Rust: Fix variable capture inconsistencies
|
2025-06-30 10:19:42 +02:00 |
|
Tom Hvitved
|
8c240399c1
|
Rust: Apply MaD trait models to implementations
|
2025-06-25 21:32:24 +02:00 |
|
Tom Hvitved
|
3e54c61f52
|
Rust: Add MaD trait tests
|
2025-06-25 21:32:22 +02:00 |
|
Tom Hvitved
|
5e265b10c7
|
Rust: Trait call dispatch in dataflow
|
2025-06-25 21:32:21 +02:00 |
|
Tom Hvitved
|
a4ed5da50b
|
Rust: Add data flow tests involving traits
|
2025-06-25 21:32:19 +02:00 |
|
Geoffrey White
|
21bea7e403
|
Merge branch 'main' into typeinfer
|
2025-06-24 11:23:34 +01:00 |
|
Simon Friis Vindum
|
601e317bfe
|
Merge pull request #19833 from paldepind/rust/overloaded-index
Rust: Add type inference for overloaded index expressions
|
2025-06-24 10:51:31 +02:00 |
|
Paolo Tranquilli
|
29b37a42ef
|
Merge pull request #19524 from github/redsun82/cargo-upgrade-3
Rust: upgrade `rust-analyzer` to 0.0.288
|
2025-06-23 17:43:39 +02:00 |
|
Paolo Tranquilli
|
823ac5c7ea
|
Merge branch 'main' into redsun82/cargo-upgrade-3
|
2025-06-23 16:01:21 +02:00 |
|
Simon Friis Vindum
|
846ef9ad5a
|
Rust: Document spurious type
|
2025-06-23 16:00:08 +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 |
|
Geoffrey White
|
530ded18e4
|
Merge branch 'main' into typeinfer
|
2025-06-23 14:02:58 +01:00 |
|
Geoffrey White
|
4530e85c93
|
Rust: Repair the test annotations.
|
2025-06-23 13:12:53 +01:00 |
|
Geoffrey White
|
8c848ac019
|
Rust: Effects of rustfmt on .expected.
|
2025-06-23 13:08:42 +01:00 |
|
Geoffrey White
|
34cd9766d5
|
Rust: Run rustfmt --edition 2024 on the test.
|
2025-06-23 12:59:42 +01:00 |
|
Geoffrey White
|
bfaabab929
|
Rust: Update more expectations.
|
2025-06-23 12:58:35 +01:00 |
|
Paolo Tranquilli
|
cbd62a8b75
|
Rust: address review and test failure
|
2025-06-23 13:15:09 +02:00 |
|
Paolo Tranquilli
|
84de91b7d8
|
Rust: accept test changes
|
2025-06-23 12:51:46 +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
|
eb3b717b2f
|
Rust: accept test changes for now
|
2025-06-23 10:50:10 +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
|
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
|
3590ccaa69
|
Rust: fix tests
|
2025-06-20 14:32:24 +02:00 |
|
Paolo Tranquilli
|
691281a481
|
Rust: mark one value flow as spurious (should be taint)
|
2025-06-20 14:13:37 +02:00 |
|
Simon Friis Vindum
|
bd2812c821
|
Rust: Only resolve deref methods on references to avoid blowup
|
2025-06-20 12:49:22 +02:00 |
|
Simon Friis Vindum
|
6b2c125bb0
|
Rust: Updated expected files
|
2025-06-19 21:01:53 +02:00 |
|
Simon Friis Vindum
|
09bf05f0df
|
Rust: Fix types for * to deref overload
|
2025-06-19 21:01:26 +02:00 |
|
Paolo Tranquilli
|
0e9d4aacd9
|
Rust: accept test changes
|
2025-06-19 16:13:26 +02: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 |
|
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 |
|