Skip to content

Rust: Type inference for impl trait types with type parameters #20119

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 6 commits into from
Jul 28, 2025
Merged

Rust: Type inference for impl trait types with type parameters #20119

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
a20fed8
Rust: Add type inference tests for impl trait types
paldepind Jul 24, 2025
9a0c587
Rust: Support impl trait types in return position with function type …
paldepind Jul 24, 2025
bb56b0d
Rust: Add type inference test with consistency issue
paldepind Jul 24, 2025
39f602c
Rust: Create injective ids for impl trait type parameters
paldepind Jul 24, 2025
9761580
Merge branch 'main' into rust/type-inference-assoc-type-tp
paldepind Jul 28, 2025
92bce4e
Rust: Split `getFunctionReturnPos` into two predicates
paldepind Jul 28, 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 type inference test with consistency issue
  • Loading branch information
@paldepind
paldepind committed Jul 24, 2025
commit bb56b0d45bd7f71dbd160473fcec20bde7b670c7
12 changes: 6 additions & 6 deletions rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
multipleCallTargets
| dereference.rs:61:15:61:24 | e1.deref() |
| main.rs:2213:13:2213:31 | ...::from(...) |
| main.rs:2214:13:2214:31 | ...::from(...) |
| main.rs:2215:13:2215:31 | ...::from(...) |
| main.rs:2221:13:2221:31 | ...::from(...) |
| main.rs:2222:13:2222:31 | ...::from(...) |
| main.rs:2223:13:2223:31 | ...::from(...) |
| main.rs:2238:13:2238:31 | ...::from(...) |
| main.rs:2239:13:2239:31 | ...::from(...) |
| main.rs:2240:13:2240:31 | ...::from(...) |
| main.rs:2246:13:2246:31 | ...::from(...) |
| main.rs:2247:13:2247:31 | ...::from(...) |
| main.rs:2248:13:2248:31 | ...::from(...) |
3 changes: 3 additions & 0 deletions rust/ql/test/library-tests/type-inference/CONSISTENCY/TypeInferenceConsistency.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
nonInjectiveTypeParameterId
| main.rs:1934:24:1934:31 | impl(T) | main.rs:1934:24:1934:31 | impl(T) |
| main.rs:1934:24:1934:31 | impl(T) | main.rs:1934:24:1934:31 | impl(T) |
5 changes: 5 additions & 0 deletions 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 @@ -1931,6 +1931,10 @@ mod impl_trait {
Some(S3(x))
}

fn get_a_my_trait4<T: Clone>(x: T) -> (impl MyTrait<T>, impl MyTrait<T>) {
(S3(x.clone()), S3(x)) // $ target=clone
}

fn uses_my_trait2<A>(t: impl MyTrait<A>) -> A {
t.get_a() // $ target=MyTrait::get_a
}
Expand All @@ -1947,6 +1951,7 @@ mod impl_trait {
let e = get_a_my_trait2(S1).get_a(); // $ target=get_a_my_trait2 target=MyTrait::get_a type=e:S1
// For this function the `impl` type does not appear in the root of the return type
let f = get_a_my_trait3(S1).unwrap().get_a(); // $ target=get_a_my_trait3 target=unwrap target=MyTrait::get_a type=f:S1
let g = get_a_my_trait4(S1).0.get_a(); // $ target=get_a_my_trait4 target=MyTrait::get_a type=g:S1
}
}

Expand Down
Loading
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