Repository navigation

Check @notUndefined of an interface against the implementation - #8966

Merged

cknitt merged 2 commits into

instanceof-typeof-annotationsfrom

not-undefined-inclusion

Oct 24, 2026

Merged

Check @notUndefined of an interface against the implementation#8966
cknitt merged 2 commits into
instanceof-typeof-annotationsfrom
not-undefined-inclusion

Commits on Oct 24, 2026
- Check @notUndefined of an interface against the implementation
  
  cknitt
  and
  claude
  committed
  b767069
- Accept @notUndefined over implementations the compiler cannot see into
  
  cknitt
  and
  claude
  committed
  743b80b