Malte UblandClaude Opus 5.5 268194e18e Read records by keyof keys when their fields differ in type ...

A keyed read of a record whose declared fields have different types, with
a key the checker types as keyof the record (row[key] in a loop over
Object.keys(patch) as (keyof Row)[]), was refused: the read needed one
common field type. The checker already types such a read as the union of
the field types; when every declared field surfaces in that union, the
existing per-field dispatch wraps each hit into its arm.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-10-22 15:43:28 -07:00

..

corpus

Read records by keyof keys when their fields differ in type

2026-10-22 15:43:28 -07:00

coverage-fixtures

Throw for every object on the right of an arrow instanceof, and give blocked bodies their this

2026-10-22 10:09:43 -05:00

deadstrip

…

diagnostics

Fence arguments.length in function expressions that call themselves by name

2026-10-22 10:09:08 -05:00

ffi

…

fixtures

Compile chalk 5 and hot-shots 8 from built-in shims with callable class instances (#1836)

2026-10-22 16:49:19 -05:00

harness

Read records by keyof keys when their fields differ in type

2026-10-22 15:43:28 -07:00

library-mode

…

test262

…

wasm-spec

Merge main

2026-10-20 17:56:44 -05:00