Type inference 2.0 - #21795

Open

hvitved wants to merge 7 commits into

github:mainfrom

hvitved:rust/type-inference-shared

Commits on Sep 14, 2026

Rust: Add type inference tests for empty arrays
hvitved
committed
6adc7ab
Rust: Move logic in `TypeInference.qll` for subsequent cleaner diff
hvitved
committed
ecb6fc3
Rust: Remove type inference logic for subsequent cleaner diff (does not compile)
hvitved
committed
9643dbf
Shared: Type inference 2.0
hvitved
committed
fdb3bdc
Rust: Type inference 2.0
hvitved
committed
d28f8de
Address review comments
hvitved
committed
537f565
Address more review comments
hvitved
committed
af60d77