type intersection fix for #21243 and #21250#21295

Merged

JeffBezanson merged 2 commits intomasterfrom jb/fix21243

Apr 6, 2017

+70-31

Commits on Apr 6, 2017

enable some type intersection tests that now work
JeffBezanson
committed
fix #21243 and #21250 , sigill due to incorrect empty type intersection
JeffBezanson
committed