Optimize Lua type assurance boundaries - #1280

Merged

Frotty merged 23 commits into

masterfrom

codex/lua-type-assurance-boundary

Sep 2, 2026

Commits on Sep 2, 2026

Optimize Lua type assurance boundaries
Frotty
committed
9ddbb08
Preserve generic defaults and boolean values
Frotty
committed
d58a6d2
Fix Lua boolean and generic default normalization
Frotty
committed
2cf295e
Normalize generic values used as Lua indices
Frotty
committed
ea8b239
Normalize erased generic range bounds
Frotty
committed
caf7a4e
Normalize erased generic switch values
Frotty
committed
dcf8da5
Preserve stacktraces in Lua assurance calls
Frotty
committed
f09ee16
Normalize erased generic closure results
Frotty
committed
3eb9de4
Normalize erased generic statement block results
Frotty
committed
c99af94
Propagate range types into expression children
Frotty
committed
b94d7e6
Use selected overload type for erased arguments
Frotty
committed
e101e63
Fix erased generic propagation in composite Lua expressions
Frotty
committed
5920bf9
Cover unary erased generic closure results
Frotty
committed
5f21848
Propagate selected types through composite Lua arguments
Frotty
committed
24246be
Propagate concrete types through Lua composite operands
Frotty
committed
5c72fae
Fix erased operands in Lua composite expressions
Frotty
committed
510b152
Propagate selected types into statement blocks
Frotty
committed
72489bc
Preserve normalization for primitive array reads
Frotty
committed
dc1b299
Propagate closure types through statement blocks
Frotty
committed
5afe445
Finish Lua type assurance boundaries
Frotty
committed
1d54bb4
Merge remote-tracking branch 'origin/master' into codex/lua-type-assurance-boundary
Frotty
committed
6c7257c
Handle varargs in constructor assurance
Frotty
committed
37453da
Unify constructor vararg assurance
Frotty
committed
053c8e0

Navigation Menu

Optimize Lua type assurance boundaries - #1280

Optimize Lua type assurance boundaries#1280
Frotty merged 23 commits into
masterfrom
codex/lua-type-assurance-boundary

Commits on Sep 2, 2026

Optimize Lua type assurance boundaries

Preserve generic defaults and boolean values

Fix Lua boolean and generic default normalization

Normalize generic values used as Lua indices

Normalize erased generic range bounds

Normalize erased generic switch values

Preserve stacktraces in Lua assurance calls

Normalize erased generic closure results

Normalize erased generic statement block results

Propagate range types into expression children

Use selected overload type for erased arguments

Fix erased generic propagation in composite Lua expressions

Cover unary erased generic closure results

Propagate selected types through composite Lua arguments

Propagate concrete types through Lua composite operands

Fix erased operands in Lua composite expressions

Propagate selected types into statement blocks

Preserve normalization for primitive array reads

Propagate closure types through statement blocks

Finish Lua type assurance boundaries

Merge remote-tracking branch 'origin/master' into codex/lua-type-assurance-boundary

Handle varargs in constructor assurance

Unify constructor vararg assurance