27 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	12dcd751d3	Rust: Accept test changes	2025-09-12 15:34:09 +02:00
Simon Friis Vindum	322ef4d985	Rust: Account for trait visibility when resolving paths and methods	2025-09-02 09:01:17 +02: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
Simon Friis Vindum	3ba285c298	Rust: Implement certain type information for annotation and simple calls	2025-08-04 14:06:38 +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
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
Tom Hvitved	c7d20eb98a	Rust: Update expected test output	2025-07-10 13:52:19 +02:00
Tom Hvitved	e88d7baa7d	Rust: Apply inherent method prioritization inside type inference loop	2025-07-01 10:17:26 +02:00
Tom Hvitved	1f09f713b9	Rust: Avoid overlapping path resolution consistency checks	2025-06-23 11:26:30 +02:00
Paolo Tranquilli	3590ccaa69	Rust: fix tests	2025-06-20 14:32:24 +02:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +02:00
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Geoffrey White	fd2154d389	Merge branch 'main' into futures	2025-06-10 14:16:06 +01:00
Geoffrey White	918fa3684f	Merge branch 'main' into futures	2025-06-10 13:24:09 +01:00
Tom Hvitved	721ffb11cf	Rust: Path resolution for extern crates	2025-06-04 21:14:22 +02:00
Arthur Baars	0157c16008	Rust: delete empty expected file	2025-05-30 12:57:45 +02:00
Geoffrey White	49dabdb8a5	Rust: Accept consistency test failures.	2025-05-29 17:51:44 +01:00
Arthur Baars	23b4e5042f	Rust: update expected output	2025-05-23 11:18:23 +02:00
Tom Hvitved	76737cb53a	Rust: Follow-up changes after rebase	2025-05-22 10:22:03 +02:00
Arthur Baars	f093c496d5	Rust: normalize file paths for PathResolutionConsistency.ql	2025-05-22 09:53:31 +02:00
Geoffrey White	053da5530f	Rust: Accept test changes after merge with main.	2025-05-21 10:17:14 +01:00
Geoffrey White	d20a602aab	Rust: Accept consistency check failures.	2025-05-19 11:07:37 +01:00