551 Commits

Author	SHA1	Message	Date
Geoffrey White	c821f27309	Merge branch 'main' into badalloc	2025-04-14 09:36:59 +01:00
Tom Hvitved	1ba06ab3bf	Merge pull request #19216 from hvitved/rust/path-resolution-path-attr ... Rust: Handle path attributes in path resolution	2025-04-09 18:57:56 +02:00
Simon Friis Vindum	9dc008b9f4	Merge pull request #19214 from paldepind/rust-ti-associated ... Rust: Associated types	2025-04-08 13:46:36 +02:00
Geoffrey White	e2f63db96d	Merge branch 'main' into badalloc	2025-04-08 10:15:38 +01:00
Geoffrey White	88439b42e6	Merge pull request #19095 from geoffw0/blockon ... Rust: Model futures::executor::block_on.	2025-04-07 17:41:49 +01:00
Simon Friis Vindum	48e5b0a731	Merge branch 'main' into rust-ti-associated	2025-04-07 17:07:05 +02:00
Simon Friis Vindum	602e617bc6	Rust: Add type inference test for trait with multiple associated types	2025-04-07 17:02:51 +02:00
Tom Hvitved	13f4a6afa6	Rust: Handle path attributes in path resolution	2025-04-07 15:24:17 +02:00
Tom Hvitved	edb7aaabab	Rust: Add path attribute test	2025-04-07 15:23:27 +02:00
Simon Friis Vindum	74583e4fbf	Merge pull request #19227 from paldepind/rust-pr-self ... Rust: Resolve `Self` path in trait type of implementation	2025-04-07 14:21:02 +02:00
Simon Friis Vindum	3441af136c	Merge pull request #19146 from paldepind/rust-ti-alias ... Rust: Implement support for inference of type aliases	2025-04-07 13:03:30 +02:00
Simon Friis Vindum	5dba2412b5	Rust: Fix annotation in comment	2025-04-07 12:53:13 +02:00
Simon Friis Vindum	6cecf7e618	Rust: Resolve Self path in trait type of implementation	2025-04-07 11:55:03 +02:00
Simon Friis Vindum	5c2d6e3d0f	Rust: Add path resolution test for Self in trait implementation	2025-04-07 11:45:43 +02:00
Geoffrey White	a5883b1627	Rust: Accept test changes (due to added models?).	2025-04-04 21:45:37 +01:00
Geoffrey White	c783549b5c	Merge branch 'main' into blockon	2025-04-04 17:35:00 +01:00
Simon Friis Vindum	77e1b231a6	Rust: Handle associated types in trait methods	2025-04-04 10:24:55 +02:00
Simon Friis Vindum	f9ff92a705	Rust: Expand on type inference tests for associated types	2025-04-04 10:16:09 +02:00
Tom Hvitved	f4e9382622	Rust: Take prelude into account when resolving paths	2025-04-03 16:07:26 +02:00
Tom Hvitved	4b3816e14e	Rust: Variants inherit visibility from their parent enum	2025-04-03 16:05:12 +02:00
Tom Hvitved	f09c3c5813	Rust: Handle self enum/struct uses	2025-04-03 16:05:11 +02:00
Tom Hvitved	3bfb4fbd8d	Rust: More path resolution tests	2025-04-03 16:05:09 +02:00
Simon Friis Vindum	a1d36c0501	Rust: Implement support for inference of type aliases	2025-04-03 15:18:15 +02:00
Simon Friis Vindum	e7027f0979	Rust: Add type inference tests for type aliases	2025-04-03 15:13:19 +02:00
Simon Friis Vindum	e6c7ad8ee0	Rust: Add comment as suggested in review	2025-04-03 14:34:23 +02:00
Simon Friis Vindum	a53f664e85	Rust: Fix bad join	2025-04-03 14:33:02 +02:00
Simon Friis Vindum	d5d61dd8b3	Rust: Add inline expectations test for type inference	2025-04-03 12:49:34 +02:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Simon Friis Vindum	52660fa57d	Merge pull request #19149 from paldepind/rust-ti-self-param ... Rust: Make trait a base type mention of the self type parameter	2025-04-03 08:44:09 +02:00
Tom Hvitved	a01b211f79	Merge pull request #19185 from hvitved/rust/ssa-capture-psudeo-read-dominate ... Rust: Fix `capturedCallRead`	2025-04-02 19:16:55 +02:00
Anders Schack-Mulligen	47b1c3d3ce	Merge pull request #19154 from aschackmull/ssa/variablecapture ... Ssa: Replace phi-read references in VariableCapture with default use-use flow	2025-04-02 10:16:17 +02:00
Tom Hvitved	01810cbac9	Rust: Update PhiDefinition.toString	2025-04-01 14:59:05 +02:00
Simon Friis Vindum	8acf9ceef4	Rust: Make trait a base type mention of the self type parameter	2025-04-01 14:04:46 +02:00
Tom Hvitved	f54d8325ae	Merge pull request #19133 from hvitved/rust/more-path-resolution ... Rust: More path resolution improvements	2025-04-01 11:25:16 +02:00
Anders Schack-Mulligen	56c46d74f9	Java/Rust/Swift: Accept qltest changes.	2025-03-31 11:44:37 +02:00
Tom Hvitved	605cf35970	Rust: More path resolution improvements	2025-03-28 15:32:20 +01:00
Simon Friis Vindum	884c828452	Merge pull request #19102 from paldepind/rust-ti-refactor ... Shared, type inference: Add inference for type parameters with constraints (base type mentions)	2025-03-28 13:58:16 +01:00
Anders Schack-Mulligen	0c74f21107	Merge pull request #19044 from aschackmull/ssa/useuse-trim ... Ssa: Trim the use-use relation to skip irrelevant nodes	2025-03-28 11:55:34 +01:00
Tom Hvitved	f6ac82aff0	Rust: Add more path resolution tests	2025-03-27 15:54:57 +01:00
Simon Friis Vindum	0d75054955	Rust: Implement toString on type aliases and add docs	2025-03-27 11:34:39 +01:00
Arthur Baars	9dd7b20db7	Merge pull request #18960 from github/aibaars/rust-tainted-path ... Rust: TaintedPath query	2025-03-27 10:37:36 +01:00
Tom Hvitved	72028c034e	Rust: Add reverse post-update flow steps	2025-03-26 09:03:18 +01:00
Tom Hvitved	fcb1d9433a	Rust: Add more data flow tests	2025-03-26 09:02:23 +01:00
Tom Hvitved	278d251dc1	Merge pull request #19107 from hvitved/rust/mad-argument-source ... Rust: Support `Argument[x]` MaD source definitions	2025-03-26 09:02:06 +01:00
Geoffrey White	3ad4de400f	Merge pull request #19067 from geoffw0/convtest ... Rust: Add a couple of test cases for data flow through conversions	2025-03-25 17:44:29 +00:00
Simon Friis Vindum	efcffc55e3	Merge branch 'main' into rust-ti-refactor	2025-03-25 15:44:39 +01:00
Anders Schack-Mulligen	ae47339d1a	Rust: Accept test changes.	2025-03-25 12:31:05 +01:00
Tom Hvitved	d6d3028e5a	Rust: Support Argument[x] MaD source definitions	2025-03-25 09:08:40 +01:00
Tom Hvitved	cf1b19f7c4	Rust: Add test for MaD argument source	2025-03-25 09:06:56 +01:00
Simon Friis Vindum	06c8963f70	Shared: Infer types for type parameters with contraints	2025-03-25 09:03:44 +01:00