Better assignability errors to never-producing vacuous intersections - #37618

Closed

Daniel Rosenwasser (DanielRosenwasser) wants to merge 3 commits into

betterNeverErrors

Commits on Mar 26, 2020

Added test case.
Daniel Rosenwasser (DanielRosenwasser)
committed
0d7a75e
Better assignability errors when the target is an intersection that gets reduced to 'never'.
Daniel Rosenwasser (DanielRosenwasser)
committed
eedc389
Accepted baselines.
Daniel Rosenwasser (DanielRosenwasser)
committed
13269b3