fix(gnovm): handle blank range key/value per-operand, validate assignment targets#5764

Open

ltzmaxwell wants to merge 43 commits into

gnolang:masterfrom

ltzmaxwell:fix/range_blank_key

Commits on Jun 1, 2026

test(gnovm): add range_blank_key filetest for nil-key range assertion
ltzmaxwell
committed
fix(gnovm): guard nil kt in assertIndexTypeIsInt for blank-key range
ltzmaxwell
committed
chore(gnovm): tighten range_blank_key fix and filetest
ltzmaxwell
committed

Commits on Jun 11, 2026

test(gnovm): add assign_range_f/g filetests (const as range value operand)
ltzmaxwell
committed
fix(gnovm): reject unassignable range value operand in AssertCompatible
ltzmaxwell
committed
test(gnovm): add assign_op_a/b and incdec_a5 filetests (unassignable compound-assign and inc/dec targets)
ltzmaxwell
committed
fix(gnovm): validate assign target for compound assign and inc/dec statements
ltzmaxwell
committed
test(gnovm): add assign_nil3 filetest (_ = nil must be rejected)
ltzmaxwell
committed
fix(gnovm): reject bare untyped nil assigned to blank identifier
ltzmaxwell
committed
refactor(gnovm): require non-nil dt in checkAssignableTo, skip blank targets at callers
ltzmaxwell
committed
test(gnovm): add assign_range_h filetest (nil as range value operand)
ltzmaxwell
committed
docs(gnovm): explain nil-dt ambiguity on checkAssignableTo panic
ltzmaxwell
committed
Merge branch 'fix/range_blank_key' into fix/assign_range_f
ltzmaxwell
committed
refactor(gnovm): panic explicitly on nil kt in assertIndexTypeIsInt
ltzmaxwell
committed
Merge branch 'fix/range_blank_key' into fix/assign_range_f
ltzmaxwell
committed
refactor(gnovm): ask assertValidAssignLhs for blank range key too, like AssignStmt
ltzmaxwell
committed
Merge branch 'fix/range_blank_key' into fix/assign_range_f
ltzmaxwell
committed
refactor(gnovm): ask assertValidAssignLhs for blank range value too
ltzmaxwell
committed
refactor(gnovm): restructure range checks per-operand instead of per-container
ltzmaxwell
committed
Merge branch 'fix/assign_range_f' into fix/range_blank_key
ltzmaxwell
committed
refactor(gnovm): extract evalAssignLhsType helper for validity+type of assign targets
ltzmaxwell
committed
refactor(gnovm): use evalAssignLhsType in remaining AssignStmt branches
ltzmaxwell
committed
test(gnovm): add assign_op_c filetest (blank as compound-assign target)
ltzmaxwell
committed
fix(gnovm): reject blank identifier as compound-assign target with proper message
ltzmaxwell
committed

Commits on Jun 12, 2026