Skip to content

subtyping regression #24333

@JeffBezanson

Description

@JeffBezanson
julia> Type{Union{Int,Void}} <: Type{Union{T,Void}} where T
true

julia> Type{Union{Ref,Void}} <: Type{Union{T,Void}} where T
false

Both are true in 0.6. Probably an artifact of one of the recent subtyping fixes.

Metadata

Metadata

Assignees

Labels

bugIndicates an unexpected problem or unintended behaviortypes and dispatchTypes, subtyping and method dispatch

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions