Fix NullPointerExceptions and contract violations in RecordValue - #1925

Open

slisson wants to merge 3 commits into

maintenance/mps20251from

fix/record-value-equals-compare-to

Commits on Sep 1, 2026

Fix NullPointerException in RecordValue.equals

slisson
and
claude
committed
7adae98
Align RecordValue.equals with hashCode

slisson
and
claude
committed
c3fc529
Fix RecordValue.compareTo for inline records and null member values

slisson
and
claude
committed
c41a733