mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-11-03 07:54:40 +08:00
A call whose checker type is never exits the statement only when the call is made. In an optional chain (`maybe?.fail()`, `this.helper?.fail()`, `fail?.()`), a missing receiver or callee ends the chain without making the call, and the checker still types the call never when the chain's base has a non-nullable declared type, as an array element read does. Such a statement completes, so a read after it is not proven present. exitsAbruptly now skips a call whose callee chain uses `?.`.