julia
fix #29208, incorrect `Union{}` result from type intersection
#29380

Merged

fix #29208, incorrect `Union{}` result from type intersection #29380

JeffBezanson merged 1 commit into master from jb/fix29208

JeffBezanson added types and dispatch

JeffBezanson added bugfix

fix #29208, incorrect `Union{}` result from type intersection

1037ceda

JeffBezanson force pushed from 5ac53299 to 1037ceda 7 years ago

JeffBezanson added backport pending 1.0

JeffBezanson merged 67947781 into master 7 years ago

JeffBezanson deleted the jb/fix29208 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