893 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	72854537f4	Merge branch 'main' into rust/type-inference-rename-expectations	2025-07-14 14:15:59 +02:00
Geoffrey White	be7db8079a	Rust: Accept consistency check change (from CI).	2025-07-14 10:59:03 +01:00
Simon Friis Vindum	1f2e0683e7	Rust: Rename type inference test inline expectation tag	2025-07-14 11:02:22 +02: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
Geoffrey White	68a37f99e3	Rust: Add something similar as a type inference test case.	2025-07-11 17:08:05 +01:00
Geoffrey White	33ea822f40	Rust: Workaround for type inference issue in the test.	2025-07-11 16:09:43 +01:00
Arthur Baars	519905ee9e	Rust: type inference: add test for closure argument	2025-07-11 15:59:43 +02:00
Arthur Baars	32e7a9d445	Rust: type inference: more pattern matching tests ... Thanks to co-pilot for generating the examples	2025-07-11 15:55:45 +02:00
Tom Hvitved	edf6c7fbd6	Rust: Handle (Enum::)Variant::<TypeArg> type mentions	2025-07-11 12:44:47 +02:00
Tom Hvitved	a96d3d7be8	Rust: Add more type inference tests	2025-07-11 12:42:54 +02:00
Tom Hvitved	4ab2977358	Rust: Type inference for pattern matching	2025-07-11 10:37:40 +02:00
Tom Hvitved	53ee565fdb	Rust: Add more type inference tests	2025-07-11 10:22:24 +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	01c75e38f7	Rust: The rusqlite row.get() calls are missing a canonical path.	2025-07-10 17:31:37 +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
Geoffrey White	439cf7a659	Merge pull request #19942 from geoffw0/models1 ... Rust: Update legacy MaD models 2	2025-07-10 14:50:48 +01:00
Geoffrey White	2cd4d984cc	Merge pull request #20002 from geoffw0/moresensitive1 ... Rust: Add more test cases for sensitive data	2025-07-10 13:54:20 +01:00
Geoffrey White	117e330d53	Merge branch 'main' into models1	2025-07-10 13:52:48 +01:00
Geoffrey White	3debd1ada9	Merge pull request #19948 from geoffw0/models5 ... Rust: Update legacy MaD models 4	2025-07-10 13:50:54 +01:00
Tom Hvitved	c7d20eb98a	Rust: Update expected test output	2025-07-10 13:52:19 +02:00
Tom Hvitved	95c2b9f8f7	Rust: Add more type inference tests	2025-07-10 13:52:09 +02:00
Geoffrey White	4dea5eef70	Rust: Fix futures_io models.	2025-07-10 10:41:09 +01:00
Arthur Baars	cc5e6b2195	Rust: add test cases for basic unwrapping and pattern matching	2025-07-10 11:15:07 +02:00
Geoffrey White	8177b0938d	Merge branch 'main' into models5	2025-07-10 09:41:48 +01:00
Geoffrey White	36720ca4dd	Rust: Update .expected file after autoformat.	2025-07-09 21:52:23 +01:00
Geoffrey White	6c9c8904d7	Rust: Autoformat.	2025-07-09 18:43:33 +01:00
Geoffrey White	dfbdd2bd02	Rust: Add type inference test cases for tuples.	2025-07-09 16:54:24 +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	4281fe74bd	Rust: We don't really need the split into two test cases any more.	2025-07-09 15:22:04 +01:00
Geoffrey White	4397863586	Rust: Update after merge with main.	2025-07-09 15:17:31 +01:00
Geoffrey White	597f678978	Merge branch 'main' into models1	2025-07-09 14:48:32 +01:00
Geoffrey White	3bb3fccfdb	Rust: Accept consistency check changes.	2025-07-09 12:02:30 +01:00
Geoffrey White	22aa7f378a	Rust: Expand the test cases around IDs as sensitive data.	2025-07-09 11:33:47 +01:00
Geoffrey White	1124355cdb	Rust: Add a test case for 'from_trusted_iterator' as sensitive data FP.	2025-07-09 11:26:59 +01:00
Geoffrey White	b1d5b8175c	Rust: Add the original test back as well.	2025-07-08 15:10:55 +01:00
Geoffrey White	d19259e6bb	Update rust/ql/test/library-tests/frameworks/postgres/main.rs ... Co-authored-by: Arthur Baars <aibaars@github.com>	2025-07-08 15:03:44 +01:00
Tom Hvitved	73f854f073	Rust: Adjust the inferred type of string literals	2025-07-08 13:03:12 +02: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
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