Repository navigation

Speed up enum-case removal, finite type counting, large unions and loop widening of shapes - #6443

Merged

ondrejmirtes merged 7 commits into

2.3.xfrom

perf/finite-types-and-enum-subtract

Sep 15, 2026

Merged

Speed up enum-case removal, finite type counting, large unions and loop widening of shapes#6443
ondrejmirtes merged 7 commits into
2.3.xfrom
perf/finite-types-and-enum-subtract

Commits on Sep 15, 2026
- Count constant array finite types before building them
  
  ondrejmirtes
  and
  claude
  committed
  6985ff3
- Remove a union of enum cases from a sealed hierarchy in one subtraction
  
  ondrejmirtes
  and
  claude
  committed
  9445845
- Drop repeated members and flatten in one pass in TypeCombinator::doUnion()
  
  ondrejmirtes
  and
  claude
  committed
  0375bfb
- Keep the key union when writing a constant offset it already holds
  
  ondrejmirtes
  and
  claude
  committed
  6e23771
- Write a shape's optional keys as optional into a general array's item shape
  
  ondrejmirtes
  and
  claude
  committed
  a9c0185
- Do not expand optional-key shapes into every variant before loop widening
  
  ondrejmirtes
  and
  claude
  committed
  9bfe5cc
- Run the NoDiscard rule tests wherever their syntax parses
  
  ondrejmirtes
  and
  claude
  committed
  faf58dc