Repository navigation

Resolve untagged declaration shapes and literals once - #9017

Merged

cknitt merged 13 commits into

untagged-dispatchfrom

untagged-declarations

Oct 25, 2026

Merged

Resolve untagged declaration shapes and literals once#9017
cknitt merged 13 commits into
untagged-dispatchfrom
untagged-declarations

Commits on Oct 25, 2026
- Let builtin types state their runtime shapes
  
  cknitt
  and
  claude
  committed
  601022f
- Resolve the literal of a constructor without @as once
  
  cknitt
  and
  claude
  committed
  59ec477
- Allow @notUndefined on type abbreviations
  
  cknitt
  and
  claude
  committed
  c3c1c9d
- Fold matches of constructors by their runtime literals
  
  cknitt
  and
  claude
  committed
  34dd9df
- Fold matches of numeric constants by their runtime value
  
  cknitt
  and
  claude
  committed
  6978c6d
- Move the variant invariant check next to the layout
  
  cknitt
  and
  claude
  committed
  565d96c
- Compare every runtime shape claim of an interface in one place
  
  cknitt
  and
  claude
  committed
  f851d1a
- Merge the @notUndefined rule into the rule on declared shapes
  
  cknitt
  and
  claude
  committed
  d14444b
- Classify payload types once for every reader of runtime shapes
  
  cknitt
  and
  claude
  committed
  63b3da2
- Read the three runtime annotations on one path
  
  cknitt
  and
  claude
  committed
  50e1ecb
- Count untagged payload kinds in one table
  
  cknitt
  and
  claude
  committed
  33b9f36
- See through private abbreviations and JavaScript object types
  
  cknitt
  and
  claude
  committed
  da8baf1
- Regenerate the callable-instance test for the typeof dispatch
  
  cknitt
  and
  claude
  committed
  828bbc4