Repository navigation

Record variable definedness as conditional expressions - #6384

Open

ondrejmirtes wants to merge 4 commits into

2.3.xfrom

dependent-types-certainty-holders

Open

Record variable definedness as conditional expressions#6384
ondrejmirtes wants to merge 4 commits into
2.3.xfrom
dependent-types-certainty-holders

Commits on Oct 31, 2026
- Record definedness of short-circuit operand assignments as conditional on the assigned boolean
  
  ondrejmirtes
  and
  claude
  committed
  b3058f4
- Record try-path definedness as conditional on the catch variable being undefined
  
  ondrejmirtes
  and
  claude
  committed
  b99041f
- Fix self-analysis and code style after definedness-holder changes
  
  ondrejmirtes
  and
  claude
  committed
  56008f9
- Remap conditional expressions through constant string concat-assigns
  
  ondrejmirtes
  and
  claude
  committed
  46c4f29