fix(types): honor generic variance for same-class assignments - #9010

Closed

chess10kp wants to merge 9 commits into

jaseci-labs:mainfrom

chess10kp:fix/8550-generic-variance

Commits on Sep 8, 2026

fix(types): enforce invariant generic arguments with native-lowerable checks
chess10kp
committed
67619d8
fix(types): enforce invariant generic arguments with native-lowerable checks
chess10kp
committed
46f1de1
fix(types): handle unknown variance as covariant to unblock tuple
chess10kp
committed
156303a
fix(parser): make JsxSlot body invariant-compliant via explicit UniNode list
chess10kp
committed
6b0d18a
fix(types): exempt object and stdlib builtins from strict invariant
chess10kp
committed
222316d
fix(types): apply strict invariant to builtin and stdlib generic arguments
chess10kp
committed
725f41c
style: jac fmt lintfix across PR-changed sources
chess10kp
committed
b012bdc
fix(runtime): materialize list[Anchor] copy in sv_live_edges
chess10kp
committed
6ceaf07
fix(types): invariant-compliant list handling across compiler passes
chess10kp
committed
aac837c