Repository navigation

Attempt to fix #9919 - Intersecting discriminated union breaks type narrowing - #9939

Closed

Marin Marinov (gcnew) wants to merge 3 commits into

microsoft:masterfrom

gcnew:discriminated-intersection

Closed

Attempt to fix #9919 - Intersecting discriminated union breaks type narrowing#9939
Marin Marinov (gcnew) wants to merge 3 commits into
microsoft:masterfrom
gcnew:discriminated-intersection

Commits on Jul 25, 2016
- Fixed type narrowing when discrimited union is intersected
  Marin Marinov (gcnew)
  committed
  10ca5e4
- Added tests for discriminated intersection types
  Marin Marinov (gcnew)
  committed
  5eec3c7
Commits on Jul 26, 2016
- Correctly narrow any blending of discriminated unions and intersections
  Marin Marinov (gcnew)
  committed
  32f0d5e