This repository was archived by the owner on Aug 27, 2026. It is now read-only.

Repository navigation

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
- TASK: UnionType rename to containsNull, withoutNull
  mhsdesign
  committed
  8f0ba11
- TASK: Introduce TernaryBranchScope
  mhsdesign
  committed
  8a34ee1
- TASK: Type inference for null comparison in ternary
  mhsdesign
  committed
  1b476e5
- TASK: UnionType RequiresAtLeastOneMember
  mhsdesign
  committed
  57ee20c
- TASK: TernaryBranchScope introduce static factories and dont throw booleans around
  mhsdesign
  committed
  3487bd9
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
- Merge remote-tracking branch 'origin' into task/simpleNullableHandling
  mhsdesign
  committed
  bd28d87
- TASK: Adjust to BinaryOperationNode api change
  mhsdesign
  committed
  1027e16
- TASK: Apply suggestions from code review
  mhsdesign
  committed
  884b895
- TASK: ExpressionTypeNarrower support UnaryOperationNode
  mhsdesign
  committed
  0121247

Navigation Menu

Repository navigation

WIP: Ternary Expression TypeNarrower for Nullables - #14

WIP: Ternary Expression TypeNarrower for Nullables#14
mhsdesign wants to merge 30 commits into
mainfrom
task/simpleNullableHandling

Commits on Apr 9, 2023

TASK: Put domain logic inside constructor of UnionType

TASK: Simple Nullable Handling

TASK: Infer types in arms of ternary

TASK: Revert 7efcfd3cc179443912b5e06d1b913efde3cb5739

TASK: Union test that all members are deduplicated

TASK: Union test isNullable and withoutNullable

Commits on Apr 21, 2023

TASK: UnionType rename to containsNull, withoutNull

TASK: Introduce TernaryBranchScope

TASK: Type inference for null comparison in ternary

TASK: UnionType RequiresAtLeastOneMember

TASK: TernaryBranchScope introduce static factories and dont throw booleans around

Commits on Apr 22, 2023

TASK: Make type inference in TernaryBranchScope more explicit

TASK: Adjust naming of $nonNullable to $typeWithoutNull

TASK: Solve #7 rudimentary

TASK: Introduce TypeInferrer inspired by phpstan to support future advanced type inference

Commits on Apr 23, 2023

TASK: Cleanup InferredTypes and extract duplicated logic to TypeInferrerContext

TASK: Remove `@phpstan-ignore-next-line` by asserting that an array is indeed associative (0 cost in production)

Merge remote-tracking branch 'origin/main' into task/simpleNullableHandling

Commits on Apr 26, 2023

TASK: UnionType::getIterator use `yield from`

TASK: Rename `Inferrer` to `Narrower` and apply further suggestions from code review

TASK: `Narrower` handle boolean literal comparisons

TASK: `Narrower` null comparison against any expression that resolves to null

TASK: Add `ExpressionTypeNarrowerTest`

TASK: Don't narrow `nullableString === true` as string

TASK: Narrow `nullableString && true`

TASK: Correct namespace

Commits on Apr 29, 2023

Merge remote-tracking branch 'origin' into task/simpleNullableHandling

TASK: Adjust to BinaryOperationNode api change

TASK: Apply suggestions from code review

TASK: ExpressionTypeNarrower support UnaryOperationNode