Tom Hvitved
80ccdcc696
Inline test expectations: Rename tagIsOptional to tagIsIgnored
2026-05-04 11:21:33 +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
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
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
5523b5e25f
Merge pull request #21271 from geoffw0/neutralmodels
...
Rust: Add support for neutral models.
2026-02-25 16:15:55 +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
Tom Hvitved
e587541e55
Rust: Restrict type propagation into receivers
2026-02-17 13:42:56 +01:00
Tom Hvitved
8a051d7e57
Rust: Add type inference test
2026-02-17 13:40:16 +01:00
Tom Hvitved
d3541b87d6
Rust: Make path resolution robust against invalid code with conflicting declarations
2026-02-17 11:13:32 +01:00
Simon Friis Vindum
522e4d64de
Merge pull request #21273 from paldepind/rust/tp-assoc
...
Rust: Implement support for associated types accessed on type parameters
2026-02-11 13:39:55 +01:00
Tom Hvitved
89e9a253eb
Rust: Distinguish path resolution expectations from type inference expectations
2026-02-11 10:33:41 +01:00
Simon Friis Vindum
2fa71f0c17
Rust: Add examples with associated type accessed on associated type
2026-02-11 09:10:21 +01:00
Simon Friis Vindum
624ee1898a
Rust: Implement support for associated types accessed on type parameters
2026-02-10 09:53:56 +01:00
Simon Friis Vindum
0cd5366034
Rust: Add type inference test for associated type acces on a type parameter of an impl block
2026-02-10 09:51:56 +01:00
Tom Hvitved
16539b4667
Address review comments
2026-02-09 19:30:58 +01:00
Geoffrey White
a5aeadd31d
Rust: Fix for neutral summaries.
2026-02-06 18:15:13 +00:00
Geoffrey White
08174d7ec9
Rust: Add test cases for summaries as well.
2026-02-06 18:05:54 +00:00
Tom Hvitved
32aaac27ec
Rust: Add type inference regression test
2026-02-05 17:29:42 +01:00
Tom Hvitved
2dc7576232
Rust: Rework call disambiguation logic
2026-02-05 17:29:40 +01:00
Geoffrey White
c0a5c63e8e
Merge branch 'main' into neutralmodels
2026-02-05 15:53:28 +00:00
Tom Hvitved
c62d95ac9d
Rust: More type inference tests
2026-02-05 14:29:41 +01:00
Tom Hvitved
025f73301b
Rust: Move some overloading tests into a separate file
2026-02-05 12:49:53 +01:00
Geoffrey White
9de5f5c72b
Rust: Clean up and change note.
2026-02-05 08:58:08 +00:00
Geoffrey White
d40071321a
Rust: Implement neutral models for Rust.
2026-02-04 18:58:09 +00:00
Geoffrey White
97f7dcb04a
Rust: Add dataflow test cases for neutral models.
2026-02-04 17:43:05 +00:00
