Fix non-null discriminant narrowing consistency - #64257

Open

S.H Jeong (z0rimo) wants to merge 17 commits into

microsoft:mainfrom

z0rimo:fix/discriminated-union-nullability-62511

Commits on Sep 14, 2026

fix: narrow discriminant access after non-null assertion
S.H Jeong (z0rimo)
committed
bc24da7
fix: preserve nullability for aliased discriminants
S.H Jeong (z0rimo)
committed
857b696
fix: preserve optional-chain nullability
S.H Jeong (z0rimo)
committed
b57d7fd
test: cover mirrored non-null discriminant access
S.H Jeong (z0rimo)
committed
e4900c6
fix: limit eager narrowing to side-effect-free expressions
S.H Jeong (z0rimo)
committed
11434b3
fix: restrict eager narrowing to direct strict comparisons
S.H Jeong (z0rimo)
committed
f6291ea
fix: exclude computed keys from eager narrowing
S.H Jeong (z0rimo)
committed
0b51865
test: cover nullable optimized narrowing guards
S.H Jeong (z0rimo)
committed
deb68a2
fix: recognize signed primitive discriminants
S.H Jeong (z0rimo)
committed
8812a74
Simplify non-null discriminant narrowing tests
S.H Jeong (z0rimo)
committed
d2b05ca

Commits on Sep 15, 2026

Merge branch 'main' into fix/discriminated-union-nullability-62511
S.H Jeong (z0rimo)
authored
9be1c7a

Commits on Sep 17, 2026

fix: align nullable discriminant narrowing paths
S.H Jeong (z0rimo)
committed
592ccc7

Commits on Sep 21, 2026

Merge branch 'main' into fix/discriminated-union-nullability-62511
S.H Jeong (z0rimo)
authored
e6ea6ed

Commits on Sep 28, 2026

Merge branch 'main' into fix/discriminated-union-nullability-62511
S.H Jeong (z0rimo)
authored
80d227b

Commits on Sep 29, 2026

Commits on Sep 30, 2026

Fix nullable discriminant fast-path consistency
S.H Jeong (z0rimo)
committed
25b6377