956 Commits

Author	SHA1	Message	Date
Geoffrey White	4eea4431b5	Merge pull request #20222 from geoffw0/pathbuf ... Rust: Add a type inference test case resembling PathBuf.canonicalize.	2025-08-18 11:06:41 +01:00
Tom Hvitved	f1bff93bc5	Merge pull request #20203 from hvitved/rust/if-let-chain-test ... Rust: Handle chained `let` expressions	2025-08-14 19:51:43 +02:00
Tom Hvitved	51fb2157ef	Rust: Remove references to getResolvedPath and getExtendedCanonicalPath	2025-08-14 11:31:42 +02:00
Geoffrey White	1c186e2a59	Merge remote-tracking branch 'upstream/main' into pathbuf	2025-08-14 09:38:38 +01:00
Tom Hvitved	f63e55c1fd	Rust: Handle chained let expressions	2025-08-14 10:36:43 +02:00
Tom Hvitved	fd1d9401c0	Rust: Add tests for chained let expressions	2025-08-14 10:36:41 +02:00
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