1124 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	a07f015d01	Rust: Accept changes to expected files	2025-11-17 12:39:36 +01:00
Simon Friis Vindum	089bffff94	Rust: Make impl blocks only give rise to direct trait implementation	2025-11-17 10:22:18 +01:00
Tom Hvitved	4c7f9c0144	Rust: Rename ContextType -> UnknownType	2025-11-14 10:16:21 +01:00
Tom Hvitved	79bdf897d7	Rust: Context typing for constructors	2025-11-14 09:45:03 +01:00
Tom Hvitved	c16b42119d	Rust: More type inference tests	2025-11-14 09:45:02 +01:00
Tom Hvitved	e69ff0d5e8	Rust: Restrict type propagation into arguments	2025-11-14 09:44:58 +01:00
Tom Hvitved	72b7dd8955	Rust: Add more type inference tests	2025-11-14 09:41:30 +01:00
Tom Hvitved	bfa35629ac	Merge pull request #20744 from hvitved/rust/path-resolution-unqualified-use-tree ... Rust: Handle unqualified `UseTree`s in path resolution	2025-11-13 11:18:41 +01:00
Tom Hvitved	c81f5f5190	Rust: Remove elements superseded by attribute macro expansions	2025-11-10 09:18:58 +01:00
Tom Hvitved	000f33fcbf	Merge pull request #20765 from hvitved/rust/variable-if-let-guard ... Rust: Handle variables introduced in if-let guards	2025-11-06 13:49:38 +01:00
Tom Hvitved	f8cde74eac	Merge pull request #20736 from github/copilot/add-constaccess-class ... Rust: Add ConstAccess class with getConst() predicate	2025-11-06 10:25:06 +01:00
Tom Hvitved	c80301d58a	Rust: Handle variables introduced in if-let guards	2025-11-05 19:46:54 +01:00
Tom Hvitved	db7b187961	Rust: Add more variables tests	2025-11-05 15:32:24 +01:00
Tom Hvitved	50552da4d8	Rust: Handle unqualified UseTrees in path resolution	2025-11-04 13:57:33 +01:00
Geoffrey White	077bcf6b92	Merge pull request #20740 from geoffw0/rustbarriers ... Rust: Add numeric type barriers for three queries	2025-11-04 10:08:46 +00:00
Tom Hvitved	0ca62ca5b6	Fix copilot implementation	2025-11-03 14:15:16 +01:00
Tom Hvitved	39dd3acd76	Rust: More path resolution tests	2025-11-03 10:34:50 +01:00
Geoffrey White	8548c167be	Rust: Autoformat.	2025-10-31 17:30:04 +00:00
Geoffrey White	6433bec699	Rust: Add a test for BuiltinTypes.	2025-10-31 16:24:51 +00:00
copilot-swe-agent[bot]	6011ecbef4	Add ConstAccess class with getConst() predicate and test cases ... Co-authored-by: hvitved <3667920+hvitved@users.noreply.github.com>	2025-10-31 13:01:25 +00:00
Tom Hvitved	95e60ad4a7	Merge pull request #20705 from hvitved/rust/type-inference-unit ... Rust: Infer more `()` types	2025-10-31 13:43:10 +01:00
Tom Hvitved	7d5664f2a8	Address review comment	2025-10-31 09:43:18 +01:00
Tom Hvitved	f850025583	Rust: Add another type inference test	2025-10-31 09:39:00 +01:00
Tom Hvitved	5a2467414c	Rust: Fix variable access overlap	2025-10-30 21:52:36 +01:00
Tom Hvitved	3d7b60a439	Rust: Add variable consistency query	2025-10-30 21:40:37 +01:00
Tom Hvitved	d71f2dee9c	Rust: Add more variable tests	2025-10-30 21:39:28 +01:00
Tom Hvitved	cca458c2ac	Rust: Address review comments and handle ! types in type inference	2025-10-30 13:30:42 +01:00
Tom Hvitved	5697a7e612	Rust: More type inference tests	2025-10-30 10:43:44 +01:00
Tom Hvitved	bc53fee1c5	Rust: Infer more () types	2025-10-29 15:43:00 +01:00
Tom Hvitved	f395162afd	Rust: More type inference tests	2025-10-29 15:41:23 +01:00
Tom Hvitved	6ed8bcbcf3	Rust: Add type inference tests for method resolution overlap	2025-10-29 14:53:28 +01:00
Tom Hvitved	e5f1238e26	Merge pull request #20707 from paldepind/rust/ti-self-trait ... Rust: Improve handling of `Self` type parameter	2025-10-29 13:17:14 +01:00
Geoffrey White	558ca74e9c	Merge pull request #20702 from geoffw0/gen2 ... Rust: Generalize more models	2025-10-29 11:32:00 +00:00
Simon Friis Vindum	ce8cffc331	Rust: Address comments	2025-10-29 11:18:02 +01:00
Simon Friis Vindum	9022f996e8	Rust: Improve handling of occurrences of the Self type parameter	2025-10-29 10:41:46 +01:00
Simon Friis Vindum	9ff3c61c6e	Rust: Add type inference tests involving Self	2025-10-29 10:41:44 +01:00
Geoffrey White	03204b7881	Rust: Accept tests repaired.	2025-10-27 17:53:40 +00:00
Geoffrey White	a468b1d647	Rust: Accept regressions spotted by CI.	2025-10-27 17:46:01 +00:00
Geoffrey White	bd11873e0d	Rust: Generalize a model of futures_io...poll_read.	2025-10-27 12:22:13 +00:00
Geoffrey White	d650ccb74b	Rust: Generalize some std::io::Read models.	2025-10-27 12:09:04 +00:00
Tom Hvitved	0e885e9297	Rust: Compute incompatible blanket implementations	2025-10-24 11:37:24 +02:00
Tom Hvitved	2a43a95049	Rust: More type inference tests	2025-10-24 11:37:22 +02:00
Tom Hvitved	672977acfa	Merge pull request #20592 from hvitved/rust/type-inference-branch-propagation ... Rust: Non-symmetric type propagation for lub coercions	2025-10-24 11:35:24 +02:00
Tom Hvitved	ff31f0e3df	Address review comments	2025-10-23 20:17:28 +02:00
Geoffrey White	47334fbab7	Rust: Accept changes to the web_frameworks results.	2025-10-23 09:06:11 +01:00
Tom Hvitved	65b706ab80	Rust: Non-symmetric type propagation for lub coercions	2025-10-22 19:57:38 +02:00
Tom Hvitved	00bf049c85	Rust: Add more type inference tests	2025-10-22 19:57:37 +02:00
Geoffrey White	e18bf1661a	Rust: Accept result de-regression.	2025-10-22 17:52:12 +01:00
Geoffrey White	6b08297c2a	Rust: Repair after merge.	2025-10-22 17:46:25 +01:00
Geoffrey White	bc4d8a8425	Merge branch 'main' into sourcestest	2025-10-22 17:31:25 +01:00