julia
fix #20476, subtyping bug in `Union{Type{x},Type{y}}`
#20508

Merged

fix #20476, subtyping bug in `Union{Type{x},Type{y}}` #20508

JeffBezanson merged 1 commit into master from jb/fix20476

fix #20476, subtyping bug in `Union{Type{x},Type{y}}`

47301e24

JeffBezanson added bugfix

JeffBezanson added types and dispatch

JeffBezanson merged 03b802dc into master 9 years ago

JeffBezanson deleted the jb/fix20476 branch 9 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

types and dispatch bugfix

Milestone

No milestone