Single-expression only type predicates - #57552

Closed

Ryan Cavanaugh (RyanCavanaugh) wants to merge 14 commits into

microsoft:mainfrom

RyanCavanaugh:singleExprOnlyPredicates

Commits on Feb 20, 2024

Infer type predicates from function bodies
Dan Vanderkam (danvk)
committed
0c24ccc

Commits on Feb 21, 2024

Run formatter
Dan Vanderkam (danvk)
committed
e2684f1
Add secondary subtype check and tests
Dan Vanderkam (danvk)
committed
101df93
add union type test to baselines
Dan Vanderkam (danvk)
committed
d0e385e

Commits on Feb 23, 2024