Fix raise/fail nil guards, root-scoped is_a?, case/when, ||=, and namespace-scope narrowing in flow-sensitive typing - #1259

Open

apiology wants to merge 15 commits into

castwide:masterfrom

apiology:worktree-fix-1254-nil-guard-narrowing

Commits on Aug 3, 2026

Recognize raise/fail as compound-statement-leaving in flow-sensitive typing
apiology
committed
58db074
Handle root-scoped (::-prefixed) constants in is_a? narrowing
apiology
committed
7e9a53b
Narrow a case/when subject to the matched class in each branch
apiology
committed
f682ff4

Commits on Aug 4, 2026

Commits on Aug 6, 2026

Recognize multi-statement raise/fail branches in flow-sensitive typing
apiology
committed
c41d1a3
Infer only the lhs type for x || raise(...) and x ||= raise(...)

apiology
and
claude
committed
58a780f

Commits on Aug 26, 2026

Directly exercise Or#resolve rhs_never_returns branch
apiology
committed
df96759

Commits on Aug 28, 2026

Narrow is_a?/nil? guards at file and class-body scope
apiology
committed
d77e367

Commits on Aug 31, 2026

Merge remote-tracking branch 'origin/master' into worktree-fix-1254-nil-guard-narrowing
apiology
committed
678c64e

Commits on Sep 1, 2026

Trim PR 1259 comments and fix a wrong sg-ignore label
apiology
committed
124d9aa

Commits on Sep 3, 2026

Add spec for Chain::Or's nil-lhs-type branch
apiology
committed
15223d2

Commits on Sep 5, 2026

Address review comments on or-chain narrowing
apiology
committed
05594a7