Type inference 2.0 - #21795

Merged

hvitved merged 10 commits into

github:mainfrom

hvitved:rust/type-inference-shared

Sep 16, 2026

Commits on Sep 15, 2026

Rust: Add type inference tests for empty arrays
hvitved
committed
c871161
Rust: Move logic in `TypeInference.qll` for subsequent cleaner diff
hvitved
committed
2e94938
Rust: Remove type inference logic for subsequent cleaner diff (does not compile)
hvitved
committed
cbd5e96
Shared: Type inference 2.0
hvitved
committed
0c78aec
Rust: Type inference 2.0
hvitved
committed
174a9ef
Address review comments
hvitved
committed
da57e1b
Address more review comments
hvitved
committed
9e9b988
Elaborate QL doc for `stepLanguageSpecific`
hvitved
committed
edfe5f3
Rust: Do not infer any types for `!`-typed expressions
hvitved
committed
212ceed

Commits on Sep 16, 2026

Rust: Take `!` types into account in consistency check
hvitved
committed
a182dcf