Paolo Tranquilli
|
52c0028f85
|
Rust: make Adt be generated
|
2025-06-20 14:35:08 +02:00 |
|
Simon Friis Vindum
|
bd2812c821
|
Rust: Only resolve deref methods on references to avoid blowup
|
2025-06-20 12:49:22 +02:00 |
|
Paolo Tranquilli
|
e935bd6faf
|
Rust: expand derive macros
|
2025-06-20 11:19:06 +02:00 |
|
Simon Friis Vindum
|
09bf05f0df
|
Rust: Fix types for * to deref overload
|
2025-06-19 21:01:26 +02:00 |
|
Paolo Tranquilli
|
11af770cea
|
Merge branch 'main' into redsun82/rust-doc
|
2025-06-19 18:21:47 +02:00 |
|
Geoffrey White
|
7a25596749
|
Merge branch 'main' into typeinfer
|
2025-06-19 14:27:35 +01:00 |
|
Paolo Tranquilli
|
170dd6c9cc
|
Rust: regenerate models
|
2025-06-19 14:58:47 +02:00 |
|
Simon Friis Vindum
|
7d536a3c80
|
Rust: When resolving methods on reference also consider the reference itself
|
2025-06-19 14:57:52 +02:00 |
|
Geoffrey White
|
1622d08624
|
Rust: Add inferArrayExprType.
|
2025-06-19 11:21:37 +01:00 |
|
Geoffrey White
|
639f85a556
|
Merge branch 'main' into typeinfer
|
2025-06-19 11:15:52 +01:00 |
|
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 |
|