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

Merged

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

JeffBezanson merged 1 commit into master from jb/fix22592

JeffBezanson added types and dispatch

JeffBezanson added bugfix

JeffBezanson added backport pending 1.0

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

0908bc47

JeffBezanson force pushed from 49d7da44 to 0908bc47 7 years ago

JeffBezanson merged 3143d897 into master 7 years ago

JeffBezanson deleted the jb/fix22592 branch 7 years ago

KristofferC removed backport pending 1.0

Reviewers

No reviews

Assignees

No one assigned

Labels

types and dispatch bugfix

Milestone

No milestone