Tom Hvitved
dc6e76a0d7
Merge pull request #20182 from hvitved/rust/type-inference-tuple-types-follow-up
...
Rust: Unify type inference for tuple indexing expressions
2025-08-13 13:32:53 +02:00
Geoffrey White
91eb4dad4e
Rust: Add a type inference test case resembling PathBuf.canonicalize.
2025-08-13 12:25:12 +01:00
Geoffrey White
17b468239b
Merge pull request #20208 from geoffw0/sqlmodels
...
Rust: Fill some gaps in our database models.
2025-08-13 08:54:23 +01:00
Tom Hvitved
454ab4db8c
Rust: Unify type inference for tuple indexing expressions
2025-08-12 10:32:23 +02:00
Tom Hvitved
b2343f94c1
Rust: Add another type inference test
2025-08-12 10:32:21 +02:00
Geoffrey White
af20d335c8
Rust: Accept consistency test changes.
2025-08-11 20:25:41 +01:00
Geoffrey White
398d2ac930
Rust: Fix a couple more gaps.
2025-08-11 19:24:54 +01:00
Geoffrey White
4bbffc56a8
Rust: Expand tokio-postgres sources.
2025-08-11 18:42:44 +01:00
Geoffrey White
5056ebf186
Rust: Fix typo in one of the models.
2025-08-11 18:05:42 +01:00
Geoffrey White
17741af88e
Rust: Fill out a few gaps in the models.
2025-08-11 17:45:51 +01:00
Geoffrey White
b31186451f
Rust: Test more variants of rusqlite usage.
2025-08-11 17:41:28 +01:00
Geoffrey White
31353e7efc
Rust: Test more variants of postgres usage.
2025-08-11 17:41:24 +01:00
Tom Hvitved
e172e74357
Rust: Remove comment from type inference test
2025-08-07 10:37:19 +02:00
Tom Hvitved
1be542ec56
Rust: Generalize certain type inference logic
2025-08-07 10:37:17 +02:00
Simon Friis Vindum
0cfb22ff3f
Rust: Add example with multiple where clause items for the same type parameter
2025-08-06 11:15:24 +02:00
Simon Friis Vindum
b302f3f98f
Rust: Improve handling of where clauses in type inference and path resolution
2025-08-06 11:08:18 +02:00
Simon Friis Vindum
766083290c
Rust: Add tests with where clause
2025-08-06 11:08:13 +02:00
Tom Hvitved
d201ce1705
Merge pull request #20155 from paldepind/rust/type-inference-certain
...
Rust: Add predicate for certain type information
2025-08-06 10:55:34 +02:00
Simon Friis Vindum
3ba285c298
Rust: Implement certain type information for annotation and simple calls
2025-08-04 14:06:38 +02:00
Simon Friis Vindum
c3349bbb04
Rust: Add type inference example with cycle blowup
2025-08-04 14:06:37 +02:00
Geoffrey White
2ec6dafd18
Rust: Add a type inference test case resembling missing call targets in SQLx.
2025-08-04 10:21:59 +01:00
Simon Friis Vindum
5540b9df71
Merge branch 'main' into rust/type-inference-fn
2025-07-29 16:43:17 +02:00
Simon Friis Vindum
9761580b7e
Merge branch 'main' into rust/type-inference-assoc-type-tp
2025-07-28 10:39:00 +02:00
Simon Friis Vindum
2c758a9842
Rust: Add type inference for closures and calls to first-class functions
2025-07-27 21:28:10 +02:00
Simon Friis Vindum
8c6c28d61f
Rust: Add type inference tests for closures
2025-07-27 21:16:30 +02:00
Simon Friis Vindum
13d9d8ad3f
Merge pull request #20122 from paldepind/rust/type-inference-dyn-assoc
...
Rust: Fix type inference for trait objects for traits with associated types
2025-07-26 12:40:09 +02:00
Geoffrey White
2192ed04be
Rust: Add clone MaD trait model.
2025-07-25 09:43:34 +01:00
Geoffrey White
4140579dd6
Rust: Remove QL model for clone.
2025-07-25 08:17:52 +01:00
Simon Friis Vindum
466bf85a67
Rust: Fix type inference for trait objects for traits with associated types
2025-07-24 16:07:39 +02:00
Simon Friis Vindum
1b2f160b55
Rust: Add type inference tests for associated types
2025-07-24 16:07:37 +02:00
Simon Friis Vindum
39f602c032
Rust: Create injective ids for impl trait type parameters
2025-07-24 12:07:11 +02:00
Simon Friis Vindum
bb56b0d45b
Rust: Add type inference test with consistency issue
2025-07-24 11:55:23 +02:00
Simon Friis Vindum
9a0c5877ea
Rust: Support impl trait types in return position with function type parameters
2025-07-24 11:00:01 +02:00
Simon Friis Vindum
a20fed8ae5
Rust: Add type inference tests for impl trait types
2025-07-24 10:36:51 +02:00
Simon Friis Vindum
82387461ee
Merge pull request #20084 from paldepind/rust/type-inference-trait-object
...
Rust: Implement type inference for trait objects/`dyn` types
2025-07-24 10:17:23 +02:00
Simon Friis Vindum
12942667bf
Rust: Add type inference for dyn types
2025-07-23 14:08:15 +02:00
Simon Friis Vindum
605c8e201e
Rust: Add type inference tests for dyn types
2025-07-23 14:03:53 +02:00
Geoffrey White
4f6b698ca3
Merge branch 'main' into moresensitive2
2025-07-23 08:50:25 +01:00
Simon Friis Vindum
6b366d8384
Merge branch 'main' into rust/type-inference-tuples
2025-07-22 10:45:41 +02:00
Simon Friis Vindum
28850460b2
Rust: Accept test changes
2025-07-21 12:07:08 +02:00
Simon Friis Vindum
8ebebf03c2
Rust: Add type inference test with associated type that collides with type parameter
2025-07-21 10:11:41 +02:00
Simon Friis Vindum
ac6715fb3a
Rust: Avoid mixing up type parameters and associated types in path resolution
2025-07-21 10:07:41 +02:00
Simon Friis Vindum
71a5e410d7
Rust: Add path resolution test
2025-07-21 09:59:12 +02:00
Simon Friis Vindum
7f8829ad8e
Rust: Add additional inline expectation
...
Co-authored-by: Arthur Baars <aibaars@github.com >
2025-07-16 14:00:27 +02:00
Simon Friis Vindum
bbd7ed57ce
Rust: Add inline expectation
2025-07-16 12:32:35 +02:00
Simon Friis Vindum
a508089df8
Rust: Improvements to tuple type inference based on PR feedback
2025-07-16 09:38:29 +02:00
Simon Friis Vindum
97e77944eb
Rust: Accept test changes
2025-07-15 10:21:53 +02:00
Simon Friis Vindum
7c04c9f969
Rust: Store arity in tuple type parameters
...
Type parameters are required to belong to a single type only. Since we store the arity for tuple types, we need to store the arity in tuple type parameters as well such that we can associate them to the tuple type of the same arity.
2025-07-15 09:50:15 +02:00
Simon Friis Vindum
03a9a1688e
Rust: Add type inference for tuples
2025-07-14 16:37:05 +02:00
Simon Friis Vindum
21c030fa46
Rust: Expand on type inference test for tuples
2025-07-14 16:24:11 +02:00
