Issues

• TODO: through-loop arm of the second-view gate — soundness-breaking witness or keep as general rule

  soundness
  SkipLabs/skjs#1057 · Filter by author mbouaziz opened on Nov 3, 2026

• TODO: second-view gate over-rejects an identical index view repeated after a branch

  soundness
  SkipLabs/skjs#1056 · Filter by author mbouaziz opened on Nov 3, 2026

• Unsound: console.assert(condition) is treated as proof that condition is true

  bugsoundness
  SkipLabs/skjs#1042 · Filter by author cristianoc opened on Aug 12, 2026

• Unsound: equality with an undefined-typed variable narrows void to never

  bugsoundness
  SkipLabs/skjs#1041 · Filter by author cristianoc opened on Aug 12, 2026

• Unsound: enum constant folding gives a string member the wrong literal type

  bugsoundness
  SkipLabs/skjs#1039 · Filter by author cristianoc opened on Aug 12, 2026

• Unsound: a function can pass through {} into a class type and then narrow to never

  bugsoundness
  SkipLabs/skjs#1038 · Filter by author cristianoc opened on Aug 12, 2026

• No performance regression test, and the tooling measures the dev build

  enhancement
  SkipLabs/skjs#1034 · Filter by author mbouaziz opened on Jul 28, 2026

• check-generated-examples.sh never type-checks with tsc: the overlay tsconfig resolves include under /tmp (TS18003)

  bug
  SkipLabs/skjs#1033 · Filter by author mbouaziz opened on Jul 28, 2026
  1

• --log-affected-files silently reports nothing when the run has any type error

  bug
  SkipLabs/skjs#1032 · Filter by author mbouaziz opened on Jul 28, 2026

• A comment inserted above a type/interface re-checks every user of it (31 ms edit becomes a 30 s full re-check)

  bug
  SkipLabs/skjs#1031 · Filter by author mbouaziz opened on Jul 28, 2026

• Only the first of multiple circular type-parameter defaults is reported (tsc flags all)

  SkipLabs/skjs#1027 · Filter by author mbouaziz opened on Jul 23, 2026

• A declared/ambient circular-default type alias is silently accepted (tsc: TS2716)

  SkipLabs/skjs#1026 · Filter by author mbouaziz opened on Jul 23, 2026

• Crash (SIGSEGV): using a class or interface that declares a type-parameter default

  SkipLabs/skjs#1025 · Filter by author mbouaziz opened on Jul 23, 2026

• Restore class-instance / primitive inhabitance of method-syntax shapes (relax the #993 over-approximation)

  SkipLabs/skjs#1020 · Filter by author mbouaziz opened on Jul 22, 2026

• False positive: this unresolved in class field initializers ("Cannot find name")

  SkipLabs/skjs#983 · Filter by author mbouaziz opened on Jul 22, 2026

• False positive: a primitive does not inhabit a method-syntax shape { m(): R } (primitive→object structural gap)

  SkipLabs/skjs#982 · Filter by author mbouaziz opened on Jul 22, 2026

• Discriminant narrowing fails on state-merged object-literal unions (guarded complement rejected)

  SkipLabs/skjs#970 · Filter by author mbouaziz opened on Jul 21, 2026
  1

• Loop-header effects are not re-run for a continue edge (unsound test skip; over-strict write skip)

  SkipLabs/skjs#968 · Filter by author mbouaziz opened on Jul 21, 2026

• Spread elements in an array literal under 'as const' are not supported

  SkipLabs/skjs#957 · Filter by author mbouaziz opened on Jul 21, 2026

• growTVars seeds tuple element variables from position-unioning methods; pairing only positional fields would fix the #914 conflation at the source

  enhancement
  SkipLabs/skjs#942 · Filter by author mbouaziz opened on Jul 21, 2026
  1

• A tuple element mismatch prints the union of the source and target elements, not the element that was rejected

  bug
  SkipLabs/skjs#935 · Filter by author mbouaziz opened on Jul 20, 2026

• A tuple-constrained type parameter is inferred as the constraint's element types, not the argument's

  bug
  SkipLabs/skjs#934 · Filter by author mbouaziz opened on Jul 20, 2026

• A union-of-tuples generic constraint rejects an argument that matches one of its arms

  bug
  SkipLabs/skjs#933 · Filter by author mbouaziz opened on Jul 20, 2026
  1

• Unsound: an array literal is accepted against a union-of-tuples or tuple-&-object annotation that no value inhabits

  bug
  SkipLabs/skjs#932 · Filter by author mbouaziz opened on Jul 20, 2026

• instanceof-narrowed generics: pure queries naming the hidden type argument (Map.get, Set.has, Array.includes) are rejected with no way to recover them

  SkipLabs/skjs#904 · Filter by author mbouaziz opened on Jul 16, 2026
  1