[aslspec] type parameter refactoring and type inference - #1927

Open

Roman-Manevich wants to merge 3 commits into

aslspec-type-parameter-inference

Commits on Jul 22, 2026

[aslspec] Represent operator type parameters explicitly
Roman-Manevich
committed
3be8124
[aslspec] Generalize type parameter inference
Roman-Manevich
committed
04124b3
[aslspec] Infer parameterized type instantiations
Roman-Manevich
committed
336b76e