Improve constraints of conditional types applied to constrained type variables - #56004

Merged

Anders Hejlsberg (ahejlsberg) merged 9 commits into

mainfrom

Nov 21, 2023

Commits on Oct 5, 2023

Fix constraint of conditional type applied to constrained type variable
Anders Hejlsberg (ahejlsberg)
committed
c0ae93f

Commits on Oct 6, 2023

Commits on Oct 7, 2023

Distribute over unions in reverse assignability check
Anders Hejlsberg (ahejlsberg)
committed
f64e34c
Add test
Anders Hejlsberg (ahejlsberg)
committed
1f06887

Commits on Oct 10, 2023

Exclude never types from check and add more comments
Anders Hejlsberg (ahejlsberg)
committed
eb3e4b4