Chris Tate 0f75f5b952 Keep the run-time result of overloaded calls with untyped arguments ...

The checker resolves an overloaded call whose argument is `any` to the
first overload that argument satisfies, but in JavaScript the value can
select another one: generateKeyPairSync("ec", options) returns KeyObjects
or PEM strings by the options, and digest(encoding) returns a Buffer when
the encoding is undefined. The result was converted to the first
overload's return type, so such calls threw a TypeError where Node
returns the other overload's value.

When a checked-dynamic argument could take another overload whose return
type differs (trailing untyped or undefined arguments may also be
absent), the call's result in a JavaScript source is checked-dynamic. So
are the unannotated bindings it initializes, destructured or not, and
the unannotated functions that return it. fs.globSync keeps choosing its
result form from the resolved overload, since the runtime checks that
withFileTypes agrees with it.

2026-10-23 20:31:12 -05:00

..

docs

Add --target-cpu for x86-64 microarchitecture levels (#2025)

2026-10-23 20:00:33 -05:00

limitations

Keep the run-time result of overloaded calls with untyped arguments

2026-10-23 20:31:12 -05:00