Skip to content

Intersection with 'never' is always 'never'#16446

Merged
ahejlsberg merged 2 commits intomasterfrom
fixNeverIntersection
Jun 12, 2017

Commits

Commits on Jun 11, 2017