Malte UblandClaude Opus 5.5 9cdbc83aee Prefer the union arm that keeps every field of a converted record ...

A record flowing into a union where several record arms could hold it by a
width conversion was refused with SC2003 as ambiguous, even when one arm
keeps every field of the record and the others hold it only by dropping
fields (a model record whose option union is narrower than the catalog's,
beside a classifier arm with a subset of its fields). That arm is the
value's own layout, widened: it now wins when it is the only one. Plans
that already resolved (a single candidate, the absent-field preference,
discriminant and presence routes) are unchanged.

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

2026-10-25 10:07:59 -07:00

..

corpus

Prefer the union arm that keeps every field of a converted record

2026-10-25 10:07:59 -07:00

coverage-fixtures

…

deadstrip

…

diagnostics

…

ffi

…

fixtures

…

harness

Prefer the union arm that keeps every field of a converted record

2026-10-25 10:07:59 -07:00

library-mode

…

node-parallel

…

test262

…

wasm-spec

…