442 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	0ed6428a94	Merge pull request #20321 from paldepind/rust/trait-method-scope-2 ... Rust: Take trait visibility into account when resolving paths and methods	2025-09-02 10:58:00 +02:00
Simon Friis Vindum	322ef4d985	Rust: Account for trait visibility when resolving paths and methods	2025-09-02 09:01:17 +02:00
Tom Hvitved	5b51bb2ef0	Rust: Deref as taint step	2025-09-02 08:55:10 +02:00
Geoffrey White	e8b7ce43a5	Merge pull request #20270 from geoffw0/pathi ... Rust: Improve FS models	2025-08-28 14:30:18 +01:00
Geoffrey White	4a4f782d86	Rust: Accept another consistency test change.	2025-08-22 16:57:51 +01:00
Geoffrey White	08cb038086	Rust: Accept changes to other tests.	2025-08-22 16:17:50 +01:00
Geoffrey White	8b04bc0ceb	Rust: Model std::fs::OpenOptions and similar.	2025-08-22 09:58:07 +01:00
Geoffrey White	1d2ac33bb6	Rust: Model async-std::fs.	2025-08-22 09:58:00 +01:00
Geoffrey White	49b4adcc99	Rust: Add more tests for DirEntry, PathBuf, OsString.	2025-08-22 09:57:59 +01:00
Geoffrey White	bc226e2117	Rust: Add more general test cases for async_std::fs and tokio::fs.	2025-08-21 16:47:10 +01:00
Geoffrey White	5da296d77f	Rust: Add tests for std::fs::OpenOptions and similar.	2025-08-21 16:47:08 +01:00
Paolo Tranquilli	71edc48c0e	Merge branch 'main' into redsun82/cargo-upgrade-2	2025-08-15 10:15:26 +02:00
Paolo Tranquilli	0924d795b4	Rust: accept test changes	2025-08-15 10:12:12 +02: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
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
Simon Friis Vindum	3ba285c298	Rust: Implement certain type information for annotation and simple calls	2025-08-04 14:06:38 +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	97e77944eb	Rust: Accept test changes	2025-07-15 10:21:53 +02:00
Geoffrey White	be7db8079a	Rust: Accept consistency check change (from CI).	2025-07-14 10:59:03 +01:00
Geoffrey White	05e1cd437d	Rust: Fix garbled merge.	2025-07-11 17:50:24 +01:00
Geoffrey White	e20ae48699	Merge branch 'main' into models3b	2025-07-11 17:37:52 +01:00
Tom Hvitved	4ab2977358	Rust: Type inference for pattern matching	2025-07-11 10:37:40 +02:00
Tom Hvitved	1d7d45e16b	Rust: Update expected test output	2025-07-10 19:40:39 +02:00
Tom Hvitved	1e9520c737	Merge pull request #19995 from hvitved/rust/disambiguate-assoc-function-calls ... Rust: Disambiguate associated function calls	2025-07-10 19:38:06 +02:00
Geoffrey White	6de5a618f3	Rust: Accept consistency changes as well.	2025-07-10 18:03:12 +01:00
Geoffrey White	75078346c0	Rust: Accept .expected changes (mostly renumberings).	2025-07-10 17:05:12 +01:00
Geoffrey White	7ba18fa5d0	Merge branch 'main' into models3b	2025-07-10 14:53:09 +01:00
Tom Hvitved	c7d20eb98a	Rust: Update expected test output	2025-07-10 13:52:19 +02:00
Geoffrey White	4dea5eef70	Rust: Fix futures_io models.	2025-07-10 10:41:09 +01:00
Geoffrey White	8177b0938d	Merge branch 'main' into models5	2025-07-10 09:41:48 +01:00
Geoffrey White	47a4ba33a4	Rust: Fix typo in models (also fixed in another open PR).	2025-07-09 16:00:35 +01:00
Geoffrey White	a034e29040	Rust: Simplify the test a little.	2025-07-09 15:52:54 +01:00
Geoffrey White	097ac69207	Rust: Current sources test regressions.	2025-07-09 15:52:19 +01:00
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
Geoffrey White	831509539b	Merge pull request #19934 from geoffw0/models0 ... Rust: Update legacy MaD models 1	2025-07-03 14:24:21 +01:00
Tom Hvitved	072339137a	Rust: Update expected test output	2025-07-01 10:34:16 +02:00
Tom Hvitved	e88d7baa7d	Rust: Apply inherent method prioritization inside type inference loop	2025-07-01 10:17:26 +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	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
Tom Hvitved	1f09f713b9	Rust: Avoid overlapping path resolution consistency checks	2025-06-23 11:26:30 +02:00