Bugfix :: Nullness :: Bug selection#19262

Open

T-Gro wants to merge 13 commits intomainfrom

Commits on Feb 8, 2026

Fix nullness bugs: #17539, #18013, #18021, #18334, #19042
T-Gro
committed

Commits on Feb 9, 2026

Add KnownFromConstructor DU case to Nullness and update constraint solver
T-Gro
committed
Revert TypeNullIsExtraValueNew to sound AllowNullLiteral logic and update tests
T-Gro
committed
Fix code quality: restore docs, add comments, remove meaningless test
T-Gro
committed
Fixup: deduplicate ILookup test source, remove redundant comments
T-Gro
committed
Fixup: narrow context passing to nullness-only in TcExprFlex and UnifyOverallType
T-Gro
committed
Fixup: extract nullnessContextOnly helper, remove test-only public API (IsFromConstructor, KnownWithoutNullFromCtor)
T-Gro
committed
Fixup: remove dead KnownFromConstructor DU case and clean up cosmetic issues
T-Gro
committed
Fixup: use ListSet.isSubsetOf in typarsAEquivWithFilter instead of inlined subset check
T-Gro
committed
Fixup: remove leftover NullnessInternalsTests, restore TypeNullIsExtraValueNew comments
T-Gro
committed
Add sprint file 28_Fixup_3.md for HONEST-ASSESSMENT scope verification
T-Gro
committed

Commits on Feb 10, 2026