Repository navigation

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

Open

cknitt wants to merge 11 commits into

instanceof-typeof-annotations

Open

Declare the runtime class or typeof of types, and annotate the stdlib#8950
cknitt wants to merge 11 commits into
masterfrom
instanceof-typeof-annotations

Commits on Oct 23, 2026
- Declare the runtime class or typeof of abstract types
  
  cknitt
  and
  claude
  committed
  a0b3795
- Check runtime annotations against the types they describe
  
  cknitt
  and
  claude
  committed
  b3b42ce
- Compare runtime annotations and untagged payloads across signatures
  
  cknitt
  and
  claude
  committed
  8ec9da4
- Document runtime annotations in the untagged variants spec
  
  cknitt
  and
  claude
  committed
  85b511d
- Annotate the stdlib's runtime classes
  
  cknitt
  and
  claude
  committed
  a13520e
- Document the stdlib's runtime annotations in the untagged variants spec
  
  cknitt
  and
  claude
  committed
  9c33df9
- Recognize untagged payloads only by annotations and builtin types
  
  cknitt
  and
  claude
  committed
  c4d72e1
- Test that payloads are not recognized by type name
  
  cknitt
  and
  claude
  committed
  d8d2d3d
- Drop the name list from the untagged variants spec
  
  cknitt
  and
  claude
  committed
  d8a19ca
- Store the resolved runtime shape on type declarations
  
  cknitt
  and
  claude
  committed
  8ab4fe3
- Close the gaps the re-review of runtime annotations found
  
  cknitt
  and
  claude
  committed
  330fc49