Repository navigation

temp - #18230

Draft

hvitved wants to merge 8 commits into

github:mainfrom

Draft

temp#18230
hvitved wants to merge 8 commits into
github:mainfrom
hvitved:temp

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
- Rust: Disable type inference for `const` and `static`
  hvitved
  committed
  3ffb193