Tom Hvitved
00fb11b028
Merge pull request #21778 from hvitved/rust/type-inference-verbose-type-path-expectations
...
Rust: Use verbose type paths in inline expectation comments
2026-05-05 20:23:25 +02:00
Tom Hvitved
80ccdcc696
Inline test expectations: Rename tagIsOptional to tagIsIgnored
2026-05-04 11:21:33 +02:00
Tom Hvitved
a291548fd8
Update rust/ql/test/library-tests/type-inference/main.rs
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2026-04-30 14:31:24 +02:00
Tom Hvitved
e1cd708c75
Rust: Use verbose type paths in inline expectation comments
2026-04-30 13:54:09 +02:00
Tom Hvitved
e60275c4de
Rust: Refine implSiblings
...
Consider two implementations of the same trait to be siblings when the
type being implemented by one is an instantiation of the type being
implemented by the other.
2026-04-22 13:32:56 +02:00
Tom Hvitved
069431941e
Merge pull request #21596 from hvitved/rust/data-flow-closure-type
...
Rust: Track closure types in data flow
2026-04-15 10:32:05 +02:00
Tom Hvitved
be329c8ab4
Rust: Replace recursion through forall with ranked recursion
2026-04-10 13:18:57 +02:00
Tom Hvitved
42fe2d5002
Rust: Add another type inference test
2026-04-10 10:18:54 +02:00
Tom Hvitved
23f081006e
Rust: Track closure types in data flow
2026-04-09 15:25:52 +02:00
Tom Hvitved
3fa5c952b3
Rust: Add more closure flow tests
2026-04-09 15:25:50 +02:00
Tom Hvitved
6dc98cfd01
Rust: Infer argument types based on trait bounds on parameters
2026-03-27 11:39:03 +01:00
Tom Hvitved
b8a8a160c5
Rust: More type inference tests
2026-03-26 18:06:32 +01:00
Tom Hvitved
6295f57a87
Rust: Take additional type parameter constraints into account
2026-03-25 10:11:04 +01:00
Tom Hvitved
ddc407257f
Rust: Type inference test
2026-03-24 15:41:43 +01:00
Owen Mansel-Chan
fd8821fcb5
Merge pull request #21475 from owen-mc/rust/mad-barriers
...
Rust: Add support for defining barriers and barrier guards using models-as-data
2026-03-24 09:31:24 +00:00
Owen Mansel-Chan
bde9378cee
Update MaD barrier guard test output
2026-03-20 11:10:08 +00:00
Owen Mansel-Chan
77cb35380c
Add MaD barrier guard model to make test pass
2026-03-20 11:06:41 +00:00
Owen Mansel-Chan
c5457d3e30
Add (failing) test for MaD barrier guard
2026-03-20 11:06:39 +00:00
Owen Mansel-Chan
93c656065d
Add test for MaD barriers
2026-03-20 11:06:36 +00:00
Tom Hvitved
7fc1d53ede
Rust: Disambiguate types inferred from trait bounds
2026-03-19 12:57:22 +01:00
Tom Hvitved
e8e46accc0
Rust: Refine AssociatedTypeTypeParameter.toString
2026-03-18 19:52:43 +01:00
Tom Hvitved
082dc61620
Rust: Add type inference test
2026-03-18 19:52:39 +01:00
Tom Hvitved
ca2838b361
Address review comments
2026-03-13 15:38:07 +01:00
Tom Hvitved
7a6ab70091
Rust: Add test for free function with context-based typing
2026-03-13 15:36:06 +01:00
Tom Hvitved
1b6f3a43ef
Rust: Unify type inference logic for associated functions
2026-03-12 10:31:35 +01:00
Tom Hvitved
ca7017f3d7
Rust: Add more type inference tests
2026-03-12 09:02:40 +01:00
Geoffrey White
fd7093e74d
Merge pull request #21375 from geoffw0/mapfix
...
Rust: Add neutral models (map, from)
2026-03-06 17:20:14 +00:00
Tom Hvitved
84bef5d4bc
Merge pull request #21420 from hvitved/rust/type-inference-qualified-trait-arg-path
...
Rust: More conservative resolution of `<Foo as Bar<...>>` paths
2026-03-06 15:14:01 +01:00
Tom Hvitved
ff41917147
Rust: More conservative resolution of <Foo as Bar<...>> paths
2026-03-05 21:42:33 +01:00
Tom Hvitved
838f3b90e7
Rust: Add type inference test
2026-03-05 20:57:32 +01:00
Owen Mansel-Chan
926725a87f
Merge pull request #21405 from owen-mc/java/consistent-inline-expectation-tests
...
Inline expectation tests should always have space before and after `$`
2026-03-05 11:27:37 +00:00
Owen Mansel-Chan
aa28c94562
Remove double space after $ in inline expectations tests
2026-03-04 14:12:42 +00:00
Geoffrey White
370c5157f1
Merge branch 'main' into mapfix
2026-03-04 10:20:04 +00:00
Tom Hvitved
18d2f586b3
Rust: Update AccessAfterLifetime query to use FeatureEscapesSourceCallContextOrEqualSourceSinkCallContext
2026-03-04 10:44:25 +01:00
Geoffrey White
bb5bfda14b
Rust: Update the models.
2026-03-03 09:26:54 +00:00
Geoffrey White
062fbf2b3c
Rust: Accept consistency check changes from CI.
2026-02-26 15:45:40 +00:00
Tom Hvitved
4280d35bf3
Merge pull request #21366 from hvitved/rust/type-inference-unify-method-resolution
...
Rust: Unify logic in `MethodResolution`; remove `TypeQualifierIsInstantiationOfImplSelf` logic
2026-02-26 14:38:35 +01:00
Geoffrey White
ec0b90f4b4
Rust: Simplify with the Copilot suggestions.
2026-02-26 13:00:07 +00:00
Geoffrey White
96a06bed8d
Rust: Accept consistency check changes.
2026-02-26 12:41:17 +00:00
Geoffrey White
78f855d7e3
Rust: Make the manual model for Option::map more accurate.
2026-02-26 11:34:30 +00:00
Geoffrey White
75fea4245a
Rust: Add neutral models of From::from (corresponding with existing generated sink models).
2026-02-26 10:00:30 +00:00
Geoffrey White
5c108e5c12
Rust: Add a manual model for flow through Option::map.
2026-02-26 09:12:33 +00:00
Geoffrey White
53e886380c
Rust: Add a neutral model of Option::map (so that we don't use the generated models).
2026-02-26 08:36:28 +00:00
Geoffrey White
97f7a26e11
Rust: Add test cases for log injection + uncontrolled allocation size with from.
2026-02-25 19:12:06 +00:00
Geoffrey White
5523b5e25f
Merge pull request #21271 from geoffw0/neutralmodels
...
Rust: Add support for neutral models.
2026-02-25 16:15:55 +00:00
Geoffrey White
1213369d75
Rust: Add test cases for log injection with map.
2026-02-25 14:30:01 +00:00
Tom Hvitved
de9b1adf63
Rust: Unify logic in MethodResolution; remove TypeQualifierIsInstantiationOfImplSelf logic
2026-02-25 09:05:58 +01:00
Tom Hvitved
018674cfde
Merge pull request #21333 from hvitved/rust/type-inference-restrict-receiver-type-propagation
...
Rust: Restrict type propagation into receivers
2026-02-25 08:48:14 +01:00
Tom Hvitved
f9869daa91
Address review comments
2026-02-24 12:12:47 +01:00
Tom Hvitved
61d809b41a
Rust: Add another type inference test
2026-02-24 12:08:40 +01:00
