WIP: Ternary Expression TypeNarrower for Nullables - #14

Draft

mhsdesign wants to merge 30 commits into

mainfrom

task/simpleNullableHandling

Commits on Apr 9, 2023

TASK: Put domain logic inside constructor of UnionType
mhsdesign
committed
7efcfd3
TASK: Simple Nullable Handling
mhsdesign
committed
2ffe099
TASK: Infer types in arms of ternary
mhsdesign
committed
6293145
TASK: Revert 7efcfd3cc179443912b5e06d1b913efde3cb5739
mhsdesign
committed
2a08474
TASK: Union test that all members are deduplicated
mhsdesign
committed
5e4d6ce
TASK: Union test isNullable and withoutNullable
mhsdesign
committed
5c08a4e

Commits on Apr 21, 2023

Commits on Apr 22, 2023

Commits on Apr 23, 2023

Commits on Apr 26, 2023

TASK: UnionType::getIterator use `yield from`
mhsdesign
committed
d835fa5
TASK: Rename `Inferrer` to `Narrower` and apply further suggestions from code review
mhsdesign
committed
88c6fd6
TASK: `Narrower` handle boolean literal comparisons
mhsdesign
committed
e0a913a
TASK: `Narrower` null comparison against any expression that resolves to null
mhsdesign
committed
aaf6c49
TASK: Add `ExpressionTypeNarrowerTest`
mhsdesign
committed
560c97d
TASK: Don't narrow `nullableString === true` as string
mhsdesign
committed
d00a194
TASK: Narrow `nullableString && true`
mhsdesign
committed
530b155
TASK: Correct namespace
mhsdesign
committed
331cdda

Commits on Apr 29, 2023