Narrow locals after definite reassignment and in-condition assignment - #1338

Open

apiology wants to merge 40 commits into

castwide:masterfrom

apiology:combine-1282-1308

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 26, 2026

Commits on Aug 31, 2026

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

Commits on Sep 1, 2026

Commits on Sep 2, 2026

Merge remote-tracking branch 'apiology/fix-1250-parameter-reassignment-typing' into split-1282-compound-stmt
apiology
committed
c8586e1

Commits on Sep 4, 2026

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

Commits on Sep 5, 2026

Compress oversized comment blocks to policy length

apiology
and
claude
committed
dbf48b4
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
Restore two dropped facts and fix a duplicate tag

apiology
and
claude
committed
32110ad
Drop process_condition pass-through

apiology
and
claude
committed
086e875
Push every CompoundStatement pin onto pins
apiology
committed
8e130a2
Combine 1282 and 1308 flow-sensitive typing work

apiology
and
claude
committed
fb6d722
Move dominance decision into var_at_location

apiology
and
claude
committed
5c7889b

Commits on Sep 29, 2026

Merge castwide master and drop markers this branch makes stale
apiology
committed
4775db9