in inference, disallow 3-element Unions if one elt is abstract#36200

Merged

Keno merged 1 commit intomasterfrom jb/lesssplit2

Jun 8, 2020

+8-5

Commits on Jun 8, 2020

in inference, disallow 3-element Unions if one elt is abstract
JeffBezanson
committed