1619 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	bea855abd7	Merge pull request #19789 from paldepind/rust/operator-borrowing ... Rust: Account for borrows in operators in type inference	2025-06-19 11:33:56 +02:00
Geoffrey White	64d0e174c4	Merge branch 'main' into poem	2025-06-19 10:19:05 +01:00
Tom Hvitved	519e56f752	Rust: Path resolution for crate::{self as foo}	2025-06-18 19:57:57 +02:00
Geoffrey White	01c6966cef	Rust: Remove redundant code and imports.	2025-06-18 13:25:30 +01:00
Paolo Tranquilli	494d192b32	Merge branch 'main' into redsun82/rust-doc	2025-06-18 14:02:31 +02:00
Tom Hvitved	ee9ceb5066	Merge pull request #19790 from hvitved/rust/new-mad-format ... Rust: Add new MaD format based on QL-computed canonical paths	2025-06-18 13:55:23 +02:00
Tom Hvitved	e5ef09a127	Merge pull request #19809 from hvitved/rust/jump-to-method-call ... Rust: Extend jump-to-def query with method calls	2025-06-18 13:17:02 +02:00
Tom Hvitved	c88a5049e0	Rust: Fix column orders in interpretModelForTest	2025-06-18 13:15:36 +02:00
Geoffrey White	79cedc2586	Rust: Rename predicate again.	2025-06-18 11:56:04 +01:00
Geoffrey White	5bf799e717	Apply suggestions from code review ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-06-18 11:52:02 +01:00
Tom Hvitved	63379df004	Rust: Add new MaD format based on QL-computed canonical paths	2025-06-18 12:14:36 +02:00
Tom Hvitved	c35598a2ea	Rust: Add Deprecated suffix to existing MaD extensible predicates	2025-06-18 12:14:30 +02:00
Geoffrey White	9c3e362594	Rust: Add TupleStructPat.getStruct.	2025-06-18 09:29:14 +01:00
Paolo Tranquilli	b29ad5b12a	Rust: add attribute macro expansion to path resolution test	2025-06-18 10:22:19 +02:00
Tom Hvitved	5cd729545d	Rust: Extend jump-to-def query with method calls	2025-06-18 09:27:25 +02:00
Geoffrey White	df221ea8f8	Rust: Remove excess 'cached' annotation.	2025-06-17 23:17:58 +01:00
Geoffrey White	cd6975f7b7	Rust: Update DotDotCheck from getResolvedPath -> getCanonicalPath.	2025-06-17 17:07:39 +01:00
Geoffrey White	dc08274aa2	Rust: Update SqlxQuery, SqlxExecute from getResolvedPath -> getCanonicalPath.	2025-06-17 15:56:18 +01:00
Geoffrey White	942a980dac	Rust: Update PoemHandlerParam from getResolvedPath -> getCanonicalPath.	2025-06-17 15:55:40 +01:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +02:00
Geoffrey White	4292b03b5c	Rust: Add logic for Vecs and slices.	2025-06-17 10:58:26 +01:00
Geoffrey White	66d6770c3f	Rust: If we're inferring both ways, it should really be to any element.	2025-06-17 10:47:35 +01:00
Geoffrey White	69da4e7462	Rust: Move inferArrayExprType logic into typeEquality predicate.	2025-06-17 10:45:57 +01:00
Simon Friis Vindum	f18acdf11f	Rust: Generalize type of debug predicate	2025-06-17 10:34:42 +02:00
Simon Friis Vindum	a0bc455d53	Rust: Account for borrows in operators in type inference	2025-06-17 10:34:41 +02:00
Simon Friis Vindum	ebdffcc4ef	Rust: Refactor and generalize Call	2025-06-17 10:34:38 +02:00
Tom Hvitved	631b14a0df	Rust: Fix three models	2025-06-16 14:28:06 +02:00
Simon Friis Vindum	8fe737ca52	Rust: Use defaults for type parameters	2025-06-16 09:54:01 +02:00
Simon Friis Vindum	38aacb04c2	Rust: Add debug predicate for type mentions	2025-06-16 09:52:42 +02:00
Paolo Tranquilli	2a51749a31	Merge pull request #19748 from github/redsun82/rust-models ... Rust: regenerate models	2025-06-16 08:37:00 +02:00
Simon Friis Vindum	ef15df35c6	Rust: Apply review suggestions	2025-06-13 15:43:44 +02:00
Simon Friis Vindum	eacf034dde	Rust: Disambiguate some method calls based on argument types	2025-06-13 15:43:39 +02:00
Tom Hvitved	6cca01662d	Merge pull request #19755 from hvitved/rust/type-inference-operand-workaround ... Rust: Temporarily disable type information to flow into operands	2025-06-13 15:25:34 +02:00
Geoffrey White	62e3cc57c6	Merge branch 'main' into typeinfer	2025-06-13 13:45:19 +01:00
Tom Hvitved	5f4d588cd9	Rust: Temporarily disable type information to flow into operands	2025-06-13 14:21:02 +02:00
Geoffrey White	b89d6d3402	Rust: Implement type inference for ArrayRepeatExprs.	2025-06-13 12:58:51 +01:00
Geoffrey White	51343a5c03	Rust: Implement type inference for ArrayListExprs.	2025-06-13 12:58:49 +01:00
Geoffrey White	f76b56291b	Rust: Implement type inference for 'for' loops on arrays.	2025-06-13 12:58:47 +01:00
Tom Hvitved	2f698d1590	Rust: Type inference for macro expressions	2025-06-13 13:11:11 +02:00
Tom Hvitved	ad64e04475	Merge pull request #19737 from hvitved/rust/type-inference-string-str-deref ... Rust: Model `String` -> `str` implicit conversion in type inference	2025-06-13 13:09:24 +02:00
Paolo Tranquilli	ad3a5d777d	Rust: add public preview change notes	2025-06-13 13:03:39 +02:00
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Paolo Tranquilli	118456d127	Rust: regenerate models ... Models are regenerated with the fix from https://github.com/github/codeql/pull/19744 which corrects the order of generation.	2025-06-13 09:06:15 +02:00
Tom Hvitved	3d18e3ea8f	Rust: Use hasImplementation in path resolution	2025-06-13 08:44:44 +02:00
Paolo Tranquilli	22c490ce4e	Merge pull request #19667 from github/redsun82/rust-mad ... Rust: Use QL computed canonical paths in MaD `Field` tokens	2025-06-12 20:48:41 +02:00
Paolo Tranquilli	a5dba9b54f	Merge pull request #19649 from github/redsun82/rust-has-implementation ... Rust: extract `hasImplementation` on functions and consts	2025-06-12 15:19:23 +00:00
Simon Friis Vindum	e30a9e9906	Merge pull request #19685 from paldepind/rust/df-operator-overloading ... Rust: Data flow through overloaded operators	2025-06-12 17:08:16 +02:00
Paolo Tranquilli	836b81de40	Rust: fix mdoel	2025-06-12 15:50:21 +02:00
Paolo Tranquilli	506ea11d07	Rust: simplify upgrade script	2025-06-12 15:31:11 +02:00
Paolo Tranquilli	ad7fb9c061	Merge branch 'main' into redsun82/rust-has-implementation	2025-06-12 15:25:59 +02:00