Repository navigation

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

Open

cknitt wants to merge 15 commits into

masterfrom

instanceof-typeof-annotations

Open

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

Commits on Oct 25, 2026
- Declare the runtime class or typeof of abstract types
  
  cknitt
  and
  claude
  committed
  2a9c1b3
- Check runtime annotations against the types they describe
  
  cknitt
  and
  claude
  committed
  b6d3a40
- Compare runtime annotations and untagged payloads across signatures
  
  cknitt
  and
  claude
  committed
  5dd03fa
- Document runtime annotations in the untagged variants spec
  
  cknitt
  and
  claude
  committed
  1a9e3ef
- Annotate the stdlib's runtime classes
  
  cknitt
  and
  claude
  committed
  8925989
- Document the stdlib's runtime annotations in the untagged variants spec
  
  cknitt
  and
  claude
  committed
  150a4cb
- Recognize untagged payloads only by annotations and builtin types
  
  cknitt
  and
  claude
  committed
  207f4c1
- Test that payloads are not recognized by type name
  
  cknitt
  and
  claude
  committed
  69f4eed
- Drop the name list from the untagged variants spec
  
  cknitt
  and
  claude
  committed
  84bd7fb
- Store the resolved runtime shape on type declarations
  cknitt
  committed
  937b8de
- Close the gaps the re-review of runtime annotations found
  
  cknitt
  and
  claude
  committed
  52186f2
- Simplify the payload kinds and untagged checks
  
  cknitt
  and
  claude
  committed
  1a34a64
- Check @notUndefined of an interface against the implementation
  
  cknitt
  and
  claude
  committed
  9f22732
- Accept @notUndefined over implementations the compiler cannot see into
  
  cknitt
  and
  claude
  committed
  dd5e38e
- Require a private abbreviation for every subclass
  
  cknitt
  and
  claude
  committed
  ac36340

Commits

Commits on Oct 25, 2026