Narrow three more flow-sensitive assignment shapes - #1308

Closed

apiology wants to merge 26 commits into

castwide:masterfrom

apiology:fix-narrowing-shapes

Commits on Aug 11, 2026

Update a parameter's flow-sensitive type after reassignment to a non-literal type

apiology
and
claude
committed
5207130
Exclude self-referential positions from a variable's own presence
apiology
committed
d49cdab

Commits on Aug 12, 2026

Move definite's long-form doc to the initializer's @param tag
apiology
committed
12f0a15
Extend definite-reassignment override to local and instance variables

apiology
and
claude
committed
ce73329

Commits on Aug 13, 2026

Fix definite-reassignment override picking a stale pin during flow-sensitive narrowing

apiology
and
claude
committed
7ffd503
Fix return-type inference for bang-wrapped or-expressions with flow narrowing

apiology
and
claude
committed
a3ec7ba

Commits on Aug 14, 2026

Override on conditional reassignment when the use site is dominated by it

apiology
and
claude
committed
549b541
Add a CompoundStatement parent chain; derive closure as a fallback

apiology
and
claude
committed
5eb82f3
Rewrite override eligibility to walk the compound_statement chain

apiology
and
claude
committed
e324065
Merge pull request #57 from apiology/pr1-compound-statement-chain
apiology
authored
02708aa
Move conditional from Region to the CompoundStatement pin itself

apiology
and
claude
committed
9fe7637

Commits on Aug 15, 2026

Narrow a nil-guarded default after the conditional

apiology
and
claude
committed
e049739
Use an existing ignore category on the guarded-reassignment call

apiology
and
claude
committed
cb9e7b0

Commits on Aug 16, 2026

Expire flow-sensitive narrowing at a definite reassignment

apiology
and
claude
committed
f3e1b54
Treat a dominating reassignment as definite at that use site

apiology
and
claude
committed
3747c78
Narrow a variable assigned inside an if condition

apiology
and
claude
committed
5215ce2
Decouple guard-narrowing specs from falsy-type rendering

apiology
and
claude
committed
2047ff5
Expire narrowing only when a different assignment overwrote it

apiology
and
claude
committed
8f89ee7
Cover four-operand or-guards and their soundness controls

apiology
and
claude
committed
11e3386

Commits on Aug 31, 2026

Merge remote-tracking branch 'origin/master' into fix-narrowing-shapes
apiology
committed
01f2fdb

Commits on Sep 1, 2026

Fix flow-sensitive-typing markers per review
apiology
committed
6b12401

Commits on Sep 4, 2026

Cover the nil-location tiebreak in CompoundStatement#combine_with
apiology
committed
dcc707b

Commits on Sep 5, 2026

Drop three @sg-ignore markers now unneeded
apiology
committed
21ab81a
Add the deferred nil checks and drop dead markers
apiology
committed
bfb10e7

Commits on Sep 6, 2026

Drop the unused closure fallback
apiology
committed
c1e692b
Push every CompoundStatement pin onto pins
apiology
committed
8e130a2