1000 Commits

Author	SHA1	Message	Date
Geoffrey White	3dabd51cf7	Rust: Fix a summaryModelDeprecated that was causing problems.	2025-07-08 11:24:57 +01:00
Tom Hvitved	7701a31f4a	Rust: Improve type inference for for loops and range expressions	2025-07-08 11:20:42 +02:00
Geoffrey White	f57d691424	Rust: Fix typo in model.	2025-07-08 09:51:20 +01:00
Geoffrey White	a1e9a4eddf	Rust: Accept test .expected changes.	2025-07-08 08:44:24 +01:00
Arthur Baars	8114071804	Merge branch 'main' into models1	2025-07-07 19:47:53 +02:00
Tom Hvitved	fad5e0daa8	Rust: Add type inference inline expectations for all function calls	2025-07-07 17:20:15 +02:00
Tom Hvitved	6a9ed88d6e	Merge pull request #19975 from hvitved/rust/ssa-phi-in-capture ... Rust: Fix SSA inconsistencies	2025-07-07 09:21:57 +02:00
Tom Hvitved	d1dd05e7bb	Rust: Fix SSA inconsistencies	2025-07-04 14:43:10 +02:00
Arthur Baars	3d435ddca0	Merge branch 'main' into rust/type-inference-explicit-args	2025-07-04 14:17:52 +02:00
Tom Hvitved	2b2bd17d10	Rust: Add more SSA tests	2025-07-04 10:47:56 +02:00
Geoffrey White	831509539b	Merge pull request #19934 from geoffw0/models0 ... Rust: Update legacy MaD models 1	2025-07-03 14:24:21 +01:00
Paolo Tranquilli	c10d89927d	Merge pull request #19945 from github/redsun82/fix-expansion-in-lib ... Rust: fix macro expansion in library code	2025-07-02 18:11:36 +02:00
Tom Hvitved	f7195f04f8	Rust: Handle more explicit type arguments in type inference	2025-07-02 11:37:05 +02:00
Tom Hvitved	b6d5225bf5	Rust: Add more type inference tests	2025-07-02 11:37:03 +02:00
Paolo Tranquilli	63ccbec933	Rust: accept language test changes	2025-07-02 10:19:52 +02:00
Geoffrey White	3e11dbded0	Rust: Accept test changes.	2025-07-02 09:08:15 +01:00
Tom Hvitved	add2e0fd9d	Rust: Extend methodResolutionDependsOnArgument to parameterized implementations	2025-07-01 14:22:06 +02:00
Tom Hvitved	961e6201ea	Rust: Add more type inference tests	2025-07-01 14:22:04 +02:00
Tom Hvitved	b813010b75	Merge pull request #19903 from hvitved/rust/type-inference-overlap2 ... Rust: Apply inherent method prioritization inside type inference loop	2025-07-01 14:21:15 +02:00
Tom Hvitved	072339137a	Rust: Update expected test output	2025-07-01 10:34:16 +02:00
Tom Hvitved	bd1f46b75c	Rust: Assume prelude is always available in path resolution	2025-07-01 10:18:02 +02:00
Tom Hvitved	e88d7baa7d	Rust: Apply inherent method prioritization inside type inference loop	2025-07-01 10:17:26 +02:00
Tom Hvitved	e5f0ef6ae8	Rust: Add more type inference tests	2025-07-01 10:17:25 +02:00
Geoffrey White	59b74871c2	Rust: Accept regressions.	2025-06-30 21:13:44 +01:00
Geoffrey White	91072477b7	Rust: Trivial test changes.	2025-06-30 20:15:18 +01:00
Tom Hvitved	57661df306	Rust: Fix variable capture inconsistencies	2025-06-30 10:19:42 +02:00
Tom Hvitved	8c240399c1	Rust: Apply MaD trait models to implementations	2025-06-25 21:32:24 +02:00
Tom Hvitved	3e54c61f52	Rust: Add MaD trait tests	2025-06-25 21:32:22 +02:00
Tom Hvitved	5e265b10c7	Rust: Trait call dispatch in dataflow	2025-06-25 21:32:21 +02:00
Tom Hvitved	a4ed5da50b	Rust: Add data flow tests involving traits	2025-06-25 21:32:19 +02:00
Geoffrey White	21bea7e403	Merge branch 'main' into typeinfer	2025-06-24 11:23:34 +01:00
Simon Friis Vindum	601e317bfe	Merge pull request #19833 from paldepind/rust/overloaded-index ... Rust: Add type inference for overloaded index expressions	2025-06-24 10:51:31 +02:00
Paolo Tranquilli	29b37a42ef	Merge pull request #19524 from github/redsun82/cargo-upgrade-3 ... Rust: upgrade `rust-analyzer` to 0.0.288	2025-06-23 17:43:39 +02:00
Paolo Tranquilli	823ac5c7ea	Merge branch 'main' into redsun82/cargo-upgrade-3	2025-06-23 16:01:21 +02:00
Simon Friis Vindum	846ef9ad5a	Rust: Document spurious type	2025-06-23 16:00:08 +02:00
Simon Friis Vindum	84accd1c81	Rust: Implement overloaded index expression in type inference	2025-06-23 16:00:07 +02:00
Tom Hvitved	7350196044	Rust: Take derive macros into account in is{In,From}MacroExpansion	2025-06-23 15:23:06 +02:00
Geoffrey White	530ded18e4	Merge branch 'main' into typeinfer	2025-06-23 14:02:58 +01:00
Geoffrey White	4530e85c93	Rust: Repair the test annotations.	2025-06-23 13:12:53 +01:00
Geoffrey White	8c848ac019	Rust: Effects of rustfmt on .expected.	2025-06-23 13:08:42 +01:00
Geoffrey White	34cd9766d5	Rust: Run rustfmt --edition 2024 on the test.	2025-06-23 12:59:42 +01:00
Geoffrey White	bfaabab929	Rust: Update more expectations.	2025-06-23 12:58:35 +01:00
Paolo Tranquilli	cbd62a8b75	Rust: address review and test failure	2025-06-23 13:15:09 +02:00
Paolo Tranquilli	84de91b7d8	Rust: accept test changes	2025-06-23 12:51:46 +02:00
Paolo Tranquilli	377fb00dea	Merge branch 'main' into redsun82/cargo-upgrade-3	2025-06-23 12:26:15 +02:00
Tom Hvitved	1f09f713b9	Rust: Avoid overlapping path resolution consistency checks	2025-06-23 11:26:30 +02:00
Paolo Tranquilli	eb3b717b2f	Rust: accept test changes for now	2025-06-23 10:50:10 +02:00
Paolo Tranquilli	23c449f21f	Merge pull request #19824 from github/redsun82/rust-derive-macro-expansion ... Rust: expand derive macros	2025-06-23 09:42:49 +02:00
Arthur Baars	f4bdd4d35a	Merge branch 'main' into redsun82/rust-derive-macro-expansion	2025-06-20 19:32:08 +02:00
Paolo Tranquilli	6253b5c5d0	Merge branch 'main' into redsun82/rust-regenerate-models	2025-06-20 15:27:40 +02:00