Skip to content

Rust: Type inference for tuples #20041

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 9 commits into from
Jul 23, 2025
+737 −132
Merged

Rust: Type inference for tuples #20041

Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
21c030f
Rust: Expand on type inference test for tuples
paldepind Jul 14, 2025
03a9a16
Rust: Add type inference for tuples
paldepind Jul 14, 2025
7c04c9f
Rust: Store arity in tuple type parameters
paldepind Jul 15, 2025
97e7794
Rust: Accept test changes
paldepind Jul 15, 2025
8858f21
Rust: Add a change note
paldepind Jul 15, 2025
a508089
Rust: Improvements to tuple type inference based on PR feedback
paldepind Jul 16, 2025
bbd7ed5
Rust: Add inline expectation
paldepind Jul 16, 2025
7f8829a
Rust: Add additional inline expectation
paldepind Jul 16, 2025
6b366d8
Merge branch 'main' into rust/type-inference-tuples
paldepind Jul 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Rust: Add additional inline expectation 
Co-authored-by: Arthur Baars <aibaars@github.com>
  • Loading branch information
@paldepind @aibaars
paldepind and aibaars authored Jul 16, 2025
commit 7f8829ad8ea2ab5e700f45f0abec86cd77ac6c67
2 changes: 1 addition & 1 deletion rust/ql/test/library-tests/type-inference/main.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2358,7 +2358,7 @@ mod tuples {
let i: i64 = pair.0;
let j: bool = pair.1;

let pair = [1, 1].into(); // $ type=pair:0(2).i32 type=pair:1(2).i32 MISSING: target=into
let pair = [1, 1].into(); // $ type=pair:(T_2) type=pair:0(2).i32 type=pair:1(2).i32 MISSING: target=into
match pair {
(0,0) => print!("unexpected"),
_ => print!("expected"),
Expand Down
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy