scriptc

mirror of https://github.com/vercel-labs/scriptc.git synced 2026-11-06 08:23:19 +08:00

Files

T

Chris Tate a0c1358f0e Map distributed conditional members as the concrete union does

Three fixes to distributing a conditional member over a generic body's
bound parameter:

- Consulting the binding counts as a context resolution, so a mapping
  that drops an all-never part is no longer cached as context-free and
  reused by a recursive shape for a binding whose member is inhabited.
- An `unknown` or `any` result absorbs the other results, as the
  checker's union does, so the member is checked-dynamic. Before, the
  union kept a `dyn` arm, and the build stopped with SC9001.
- `undefined` and `null` results become the union's unit arms, as in the
  concrete instantiation. Before, `undefined` mapped on its own to a
  `void` arm, which also failed with SC9001.

Corpus generic-conditional-member-units covers the `unknown` and the
`undefined`/`null` members.

2026-10-25 16:42:11 -05:00

corpus

Map distributed conditional members as the concrete union does

2026-10-25 16:42:11 -05:00

coverage-fixtures

Merge main and skip package.json files without a scriptc key

2026-10-25 03:58:49 -05:00

deadstrip

…

diagnostics

Run lone array callbacks as loops with their bodies inlined (#1997 )

2026-10-25 05:24:07 -05:00