Unified: Type inference first version - #22639

Open

hvitved wants to merge 5 commits into

github:mainfrom

hvitved:unified/type-inference

Commits on Sep 24, 2026

Unified: Extend `isInTypeContext`
hvitved
committed
11e19d9
Unified: Add predicates to `TupleExpr` and `FunctionExpr`
hvitved
committed
cf3c54b

Commits on Sep 25, 2026

Unified: Type inference first version
hvitved
committed
2b030e2
Unified: Use call graph from type inference library in data flow
hvitved
committed
fa6d1e4
Address review comments
hvitved
committed
467664b