mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-11-04 08:04:37 +08:00
Malte UblandClaude Opus 5.5
acb0a4c9ed
A record width copy such as Provider<"beta"> into Provider<Api> failed on method fields whose parameter record depends on the instantiation: TypeScript admits them by method bivariance, but the adapter only took mechanical parameter conversions. Inside a record's field plan, such a field now takes a checked adapter: parameters convert with the record width plans, and union arms without a home throw the catchable TypeError. Top-level function conversions and every pair that planned before are unchanged. The safe direction lifts too: record-width's method field whose parameter record widens now plans, so its SC2002 refusal gives way to the later honest SC1090 (a function value has no inspect lowering). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>