scriptc

mirror of https://github.com/vercel-labs/scriptc.git synced 2026-11-09 09:48:15 +08:00

Files

T

Malte Ubl 1846753a3c Pin declared-arity narrowing as a loud refusal, and the accepted shapes

A function value's declared type may name fewer parameters than the
function it holds, and a later widening call then passes arguments the
declared type never spelled. JavaScript's function object carries all of
its parameters, so nothing may be dropped on that path — that would be a
silent divergence from Node.

The narrowed store is already a named refusal (a compiled function value is
one concrete native ABI: "'(string, number) => number' values where
'(string) => number' is expected"), reported at the narrowing site for a
binding and for an object-literal member slot. Record both in the
diagnostics snapshot so the refusal cannot regress into a silent drop.

Pin the shapes that DO keep every argument: a class member whose overloads
spell fewer parameters than its implementation, the member read as a value
(the read keeps the implementation's JS arity), and a value that entered
through an untyped slot and is widened back.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
(cherry picked from commit 94d44e947c48dc0184c941d526380ebd1b1b443d)

2026-10-28 19:49:29 -07:00

corpus

Pin declared-arity narrowing as a loud refusal, and the accepted shapes

2026-10-28 19:49:29 -07:00

corpus-node-islands-order

Treat the zlib ordering program as a timer race

2026-10-28 01:47:01 -05:00

coverage-fixtures

Expect exact canonical mappings in the dynamic-slot coverage tests

2026-10-27 07:42:33 -07:00

deadstrip

…