fix #22592, specificity of union compared to a subtype of it#29139

Merged

JeffBezanson merged 1 commit intomasterfrom jb/fix22592

Sep 13, 2018

+22-14

Commits on Sep 12, 2018

fix #22592 , specificity of union compared to a subtype of it
JeffBezanson
committed