julia
fix part of #36951, empty intersection from lower bound
#38319

Merged

fix part of #36951, empty intersection from lower bound #38319

JeffBezanson merged 1 commit into master from jb/fix36951

fix part of #36951, empty intersection from lower bound

5e9db5e9

JeffBezanson added types and dispatch

JeffBezanson added bugfix

JeffBezanson merged f2eb09e5 into master 5 years ago

JeffBezanson deleted the jb/fix36951 branch 5 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

types and dispatch bugfix

Milestone

No milestone