New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

subtyping regression: Union{Ref{T}, Ref{T}} and Ref{T} behave differently #26180

Closed
ulysses4ever opened this Issue Feb 23, 2018 · 0 comments

Comments

4 participants
@ulysses4ever

ulysses4ever commented Feb 23, 2018

In 0.6.2

julia> Ref{Union{Ref{Int64}, Ref{Number}}} <: Ref{Ref{T}} where T
false

julia> Ref{Union{Ref{Int64}, Ref{Number}}} <: Ref{Union{Ref{T}, Ref{T}}} where T
false

which is fine, but the same checks in current master give this:

   _       _ _(_)_     |  A fresh approach to technical computing
  (_)     | (_) (_)    |  Documentation: https://docs.julialang.org
   _ _   _| |_  __ _   |  Type "?help" for help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 0.7.0-DEV.4069 (2018-02-23 09:01 UTC)
 _/ |\__'_|_|_|\__'_|  |  Commit f4d82b2 (0 days old master)
|__/                   |  x86_64-linux-gnu

julia> Ref{Union{Ref{Int64}, Ref{Number}}} <: Ref{Ref{T}} where T
false

julia> Ref{Union{Ref{Int64}, Ref{Number}}} <: Ref{Union{Ref{T}, Ref{T}}} where T
true

@Keno Keno added the regression label Feb 24, 2018

@JeffBezanson JeffBezanson self-assigned this Apr 3, 2018

JeffBezanson added a commit that referenced this issue Apr 3, 2018

JeffBezanson added a commit that referenced this issue Apr 4, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment