Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Incorrect subtyping of nested invariant constructors with type variables and tuples #33139

Open
abolotina opened this issue Sep 2, 2019 · 0 comments
Open

Incorrect subtyping of nested invariant constructors with type variables and tuples #33139

abolotina opened this issue Sep 2, 2019 · 0 comments
Labels
types and dispatch Types, subtyping and method dispatch

Comments

@abolotina
Copy link 

julia> Vector{Vector{Tuple{T}} where T} <: Vector{Vector{S}} where S
true

julia> Ref{Ref{Tuple{T}} where T} <: Ref{Ref{S}} where S
true

I think these judgments should not hold, but they hold in Julia 1.2.0.

Version info:

Julia Version 1.2.0
Commit c6da87ff4b (2019-08-20 00:03 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
  CPU: Intel(R) Core(TM) i3-7100U CPU @ 2.40GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-6.0.1 (ORCJIT, skylake)
@timholy timholy added the types and dispatch Types, subtyping and method dispatch label Sep 3, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
types and dispatch Types, subtyping and method dispatch
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@timholy @abolotina