Anders Hejlsberg 51b346d65a

Improve intersection reduction and CFA for truthy, equality, and typeof checks (#49119) ...

* Improve reduction of intersection types

* Accept new baselines

* Improve CFA for truthy, equality, and typeof checks

* Accept new baselines

* Remove special case for Function type

* Don't reduce intersections of form {...} & object

* Accept new baselines

* Anything is assignable to unknown-like union

* Accept new baselines

* Tweak subtype check

* Recombine unknown type from unknown-like union in more cases

* Display union origin only if it is shorter than union itself

* Accept new baselines

* Add tests

* Only attach origin type when it is shorter than union itself

* Specially preserve string & {}, number & {}, bigint & {}

* Accept new baselines

* Add additional tests

* Fix getNormalizedType and getNarrowableTypeForReference for intersections

* Switch NonNullable<T> to use T & {}

* Accept new baselines

* Use NonNullable<T> in place of anonymous T & {}

* Accept new baselines

* Add fourslash test

* More fourslash tests

* Fix getFalsyFlags handling of intersections

* Accept new baselines

* Add constraint to compareProperties type parameter

* Unconstrained type parameter not assignable to {} with strictNullChecks

* Accept new baselines

2022-05-27 14:02:54 -07:00

..

baselines/reference

Improve intersection reduction and CFA for truthy, equality, and typeof checks (#49119)

2022-05-27 14:02:54 -07:00

cases

Improve intersection reduction and CFA for truthy, equality, and typeof checks (#49119)

2022-05-27 14:02:54 -07:00

lib

…

projects

…