Repository navigation

Declare the runtime class or typeof of types, and annotate the stdlib - #8950

Merged

cknitt merged 16 commits into

masterfrom

instanceof-typeof-annotations

Oct 25, 2026

Merged

Declare the runtime class or typeof of types, and annotate the stdlib#8950
cknitt merged 16 commits into
masterfrom
instanceof-typeof-annotations

Commits on Oct 25, 2026
- Declare the runtime class or typeof of abstract types
  
  cknitt
  and
  claude
  committed
  3c46fa8
- Check runtime annotations against the types they describe
  
  cknitt
  and
  claude
  committed
  cdecfbb
- Compare runtime annotations and untagged payloads across signatures
  
  cknitt
  and
  claude
  committed
  2101b53
- Document runtime annotations in the untagged variants spec
  
  cknitt
  and
  claude
  committed
  3063aa6
- Annotate the stdlib's runtime classes
  
  cknitt
  and
  claude
  committed
  12299bd
- Document the stdlib's runtime annotations in the untagged variants spec
  
  cknitt
  and
  claude
  committed
  79acfb6
- Recognize untagged payloads only by annotations and builtin types
  
  cknitt
  and
  claude
  committed
  078678d
- Test that payloads are not recognized by type name
  
  cknitt
  and
  claude
  committed
  edf39f5
- Drop the name list from the untagged variants spec
  
  cknitt
  and
  claude
  committed
  fe59209
- Store the resolved runtime shape on type declarations
  cknitt
  committed
  df52a98
- Close the gaps the re-review of runtime annotations found
  
  cknitt
  and
  claude
  committed
  aedf365
- Simplify the payload kinds and untagged checks
  
  cknitt
  and
  claude
  committed
  7ca3496
- Check @notUndefined of an interface against the implementation
  
  cknitt
  and
  claude
  committed
  f7146a2
- Accept @notUndefined over implementations the compiler cannot see into
  
  cknitt
  and
  claude
  committed
  37e83b4
- Require a private abbreviation for every subclass
  
  cknitt
  and
  claude
  committed
  e1a72ba
- Keep callable instances out of a function arm
  
  cknitt
  and
  claude
  committed
  e617b03

Commits

Commits on Oct 25, 2026