[cramforce]

Stacked on #1503. Two gaps that any-heavy service code hits after #1503.

Named promise executors in JavaScript packages

Retry helpers commonly build their promise from a function declaration:

function retry(fn, opts) {
  function run(resolve, reject) { /* ... */ }
  return new Promise(run);
}

The executor's parameters are untyped, so its reject parameter was not the native (reason: Error) => void closure. Compilation succeeded, but the package threw at run time ("Promise executors whose reject parameter is not '(reason: Error) => void'"). Such an executor now gets an adapter: it receives the native resolve/reject pair and calls the original with both boxed as checked-dynamic function values, so the JavaScript body calls them like any function. Executors whose parameters are already typed keep their existing path.

catch (error: any)

A catch binding annotated any now reads the caught value through its checked-dynamic face, as an unknown binding already did. Member reads, expando writes, delete and in act on the thrown object itself, and a rethrow keeps its identity. Before, every use was refused (SC1063). Deleting a field that a program class declares still throws, because class layouts are fixed.

Evidence

• New corpus programs:
  • 6490 js-named-promise-executor: a JavaScript package with new Promise(run), retrying and bailing.
  • 6491 catch-any-bindings.
  • Both match Node byte for byte in the plain and sanitized lanes. 6490 compiles on Compile any crossings: destructuring, namespace patterns, any parameters and async callbacks #1503 but fails at run time there; 6491 is refused there.
• The 86 corpus programs whose names mention promise, executor or catch, JavaScript ones included, pass the differential test.
• Zero-cost gate against Compile any crossings: destructuring, namespace patterns, any parameters and async callbacks #1503 (37551e4): PASS. 2530 programs are identical. 4642-acyclic-contract.ts fails on both sides, as it already does on main. Bench geomean +0.13% and self-hosted compile time -0.21%, both within tolerance.
• pnpm lint and pnpm format:check are clean. pnpm test:ts7 --baselines-only passes, with the new baselines recorded. diagnostics.test.ts fails only contract-acyclic.ts, which fails the same way on main.
• The self-hosted compiler's IR build reports no diagnostics, and tests/harness/self-hosting-native-driver.test.ts passes.

🤖 Generated with Claude Code

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated
scriptc	Ready	Preview, v0	Oct 20, 2026 8:55am UTC