Bring back return type narrowing + fixes - #61359

Closed

Gabriela Araujo Britto (gabritto) wants to merge 12 commits into

mainfrom

gabritto/fixedcond

Commits on Mar 5, 2025

Revert "Revert return type narrowing (#61136)"
Gabriela Araujo Britto (gabritto)
committed
aa38e34
add restriction on narrowable type constraint
Gabriela Araujo Britto (gabritto)
committed
073d868
relax restriction on extends type of narrowable conditional type
Gabriela Araujo Britto (gabritto)
committed
17ed356
WIP: detect embedded references to a narrowable type parameter
Gabriela Araujo Britto (gabritto)
committed
fdb6bea
Detect and construct narrowable references for embedded type parameters
Gabriela Araujo Britto (gabritto)
committed
1849292
validate optional param/property
Gabriela Araujo Britto (gabritto)
committed
009d152
format
Gabriela Araujo Britto (gabritto)
committed
5cb7e90
rework non-primitive restriction to be based on conditional type branches
Gabriela Araujo Britto (gabritto)
committed
3c5327e
update tests
Gabriela Araujo Britto (gabritto)
committed
7464af0
bring back conditional expression test
Gabriela Araujo Britto (gabritto)
committed
c96e01e

Commits on Mar 21, 2025