Tom Hvitved
|
4b3816e14e
|
Rust: Variants inherit visibility from their parent enum
|
2025-04-03 16:05:12 +02:00 |
|
Tom Hvitved
|
f09c3c5813
|
Rust: Handle self enum/struct uses
|
2025-04-03 16:05:11 +02:00 |
|
Tom Hvitved
|
3bfb4fbd8d
|
Rust: More path resolution tests
|
2025-04-03 16:05:09 +02:00 |
|
Simon Friis Vindum
|
a1d36c0501
|
Rust: Implement support for inference of type aliases
|
2025-04-03 15:18:15 +02:00 |
|
Simon Friis Vindum
|
e7027f0979
|
Rust: Add type inference tests for type aliases
|
2025-04-03 15:13:19 +02:00 |
|
Simon Friis Vindum
|
e6c7ad8ee0
|
Rust: Add comment as suggested in review
|
2025-04-03 14:34:23 +02:00 |
|
Simon Friis Vindum
|
a53f664e85
|
Rust: Fix bad join
|
2025-04-03 14:33:02 +02:00 |
|
Simon Friis Vindum
|
d5d61dd8b3
|
Rust: Add inline expectations test for type inference
|
2025-04-03 12:49:34 +02:00 |
|
Simon Friis Vindum
|
b0c40111e7
|
Rust: Tweaks to stringification
|
2025-04-03 12:45:08 +02:00 |
|
Simon Friis Vindum
|
52660fa57d
|
Merge pull request #19149 from paldepind/rust-ti-self-param
Rust: Make trait a base type mention of the self type parameter
|
2025-04-03 08:44:09 +02:00 |
|
Tom Hvitved
|
a01b211f79
|
Merge pull request #19185 from hvitved/rust/ssa-capture-psudeo-read-dominate
Rust: Fix `capturedCallRead`
|
2025-04-02 19:16:55 +02:00 |
|
Anders Schack-Mulligen
|
47b1c3d3ce
|
Merge pull request #19154 from aschackmull/ssa/variablecapture
Ssa: Replace phi-read references in VariableCapture with default use-use flow
|
2025-04-02 10:16:17 +02:00 |
|
Tom Hvitved
|
01810cbac9
|
Rust: Update PhiDefinition.toString
|
2025-04-01 14:59:05 +02:00 |
|
Simon Friis Vindum
|
8acf9ceef4
|
Rust: Make trait a base type mention of the self type parameter
|
2025-04-01 14:04:46 +02:00 |
|
Tom Hvitved
|
f54d8325ae
|
Merge pull request #19133 from hvitved/rust/more-path-resolution
Rust: More path resolution improvements
|
2025-04-01 11:25:16 +02:00 |
|
Anders Schack-Mulligen
|
56c46d74f9
|
Java/Rust/Swift: Accept qltest changes.
|
2025-03-31 11:44:37 +02:00 |
|
Tom Hvitved
|
605cf35970
|
Rust: More path resolution improvements
|
2025-03-28 15:32:20 +01:00 |
|
Simon Friis Vindum
|
884c828452
|
Merge pull request #19102 from paldepind/rust-ti-refactor
Shared, type inference: Add inference for type parameters with constraints (base type mentions)
|
2025-03-28 13:58:16 +01:00 |
|
Anders Schack-Mulligen
|
0c74f21107
|
Merge pull request #19044 from aschackmull/ssa/useuse-trim
Ssa: Trim the use-use relation to skip irrelevant nodes
|
2025-03-28 11:55:34 +01:00 |
|
Tom Hvitved
|
f6ac82aff0
|
Rust: Add more path resolution tests
|
2025-03-27 15:54:57 +01:00 |
|
Simon Friis Vindum
|
0d75054955
|
Rust: Implement toString on type aliases and add docs
|
2025-03-27 11:34:39 +01:00 |
|
Arthur Baars
|
9dd7b20db7
|
Merge pull request #18960 from github/aibaars/rust-tainted-path
Rust: TaintedPath query
|
2025-03-27 10:37:36 +01:00 |
|
Tom Hvitved
|
72028c034e
|
Rust: Add reverse post-update flow steps
|
2025-03-26 09:03:18 +01:00 |
|
Tom Hvitved
|
fcb1d9433a
|
Rust: Add more data flow tests
|
2025-03-26 09:02:23 +01:00 |
|
Tom Hvitved
|
278d251dc1
|
Merge pull request #19107 from hvitved/rust/mad-argument-source
Rust: Support `Argument[x]` MaD source definitions
|
2025-03-26 09:02:06 +01:00 |
|
Geoffrey White
|
3ad4de400f
|
Merge pull request #19067 from geoffw0/convtest
Rust: Add a couple of test cases for data flow through conversions
|
2025-03-25 17:44:29 +00:00 |
|
Simon Friis Vindum
|
efcffc55e3
|
Merge branch 'main' into rust-ti-refactor
|
2025-03-25 15:44:39 +01:00 |
|
Anders Schack-Mulligen
|
ae47339d1a
|
Rust: Accept test changes.
|
2025-03-25 12:31:05 +01:00 |
|
Tom Hvitved
|
d6d3028e5a
|
Rust: Support Argument[x] MaD source definitions
|
2025-03-25 09:08:40 +01:00 |
|
Tom Hvitved
|
cf1b19f7c4
|
Rust: Add test for MaD argument source
|
2025-03-25 09:06:56 +01:00 |
|
Simon Friis Vindum
|
06c8963f70
|
Shared: Infer types for type parameters with contraints
|
2025-03-25 09:03:44 +01:00 |
|
Simon Friis Vindum
|
831413b5ec
|
Rust: Expand on type parameter bounds type inference test
|
2025-03-25 08:41:05 +01:00 |
|
Tom Hvitved
|
0f1aee025c
|
Merge pull request #19051 from hvitved/rust/path-resolution-cross-crate
Rust: Path resolution improvements
|
2025-03-24 14:14:12 +01:00 |
|
Geoffrey White
|
d1ef2b50fb
|
Rust: Model futures::executor::block_on.
|
2025-03-21 16:51:10 +00:00 |
|
Simon Friis Vindum
|
b2fc4f80fb
|
Rust: Adjustments to type inference
|
2025-03-20 16:38:06 +01:00 |
|
Tom Hvitved
|
b2fc7e771f
|
Rust: Handle super in use statements
|
2025-03-20 14:14:33 +01:00 |
|
Tom Hvitved
|
57dfbf4faa
|
Rust: Add path resolution test for super in use statement
|
2025-03-20 14:14:29 +01:00 |
|
Tom Hvitved
|
7c2bafeb17
|
Rust: Handle self in use statements
|
2025-03-20 14:13:12 +01:00 |
|
Tom Hvitved
|
8f8f6f74bc
|
Rust: Add use+self path resolution test
|
2025-03-20 14:13:11 +01:00 |
|
Tom Hvitved
|
c91176116f
|
Rust: Cross-crate path resolution
|
2025-03-20 14:13:06 +01:00 |
|
Tom Hvitved
|
bd4c85a5bc
|
Rust: Add cross-crate path resolution test
|
2025-03-20 13:50:20 +01:00 |
|
Tom Hvitved
|
c5106f78ac
|
Rust: Handle pub use reexports in path resolution
|
2025-03-20 13:50:18 +01:00 |
|
Tom Hvitved
|
6cf83d3a68
|
Rust: Add path resolution test for reexported items
|
2025-03-20 13:50:16 +01:00 |
|
Simon Friis Vindum
|
b02a249fbd
|
Merge branch 'main' into rust-ti-1
|
2025-03-20 11:49:58 +01:00 |
|
Arthur Baars
|
2804c13027
|
Rust: use optionalBarrier
|
2025-03-20 11:37:05 +01:00 |
|
Geoffrey White
|
0f622b38ab
|
Rust: Update test results.
|
2025-03-19 18:42:50 +00:00 |
|
Geoffrey White
|
b609bbb4d8
|
Merge branch 'main' into convtest
|
2025-03-19 18:41:56 +00:00 |
|
Geoffrey White
|
bbef3fe7fa
|
Rust: Test dataflow through conversions.
|
2025-03-19 18:13:23 +00:00 |
|
Simon Friis Vindum
|
0d770c8c91
|
Rust: Improve handling of type parameters with trait bounds
|
2025-03-19 16:34:23 +01:00 |
|
Simon Friis Vindum
|
aa97bf932a
|
Rust: Add type inference tests
|
2025-03-19 13:26:06 +01:00 |
|