Hey everyone, could someone explain this subtyping behavior to me? It does not seem intuitive to me. Array{T where T} <: AbstractArray{T where T} # true Array{Array{T where T}} <: AbstractArray{Array{T where T}} # also true Array{Array{T where T}} <: AbstractArray{AbstractArray{T where T}} # f…

To elaborate a bit more, if x <: y then in general Point{x} <: Point{y} may not always be true. To begin, your first and second example work because Array <: AbstractArray and what you are passing inside {} are exactly the same i.e. in the second example, you are declaring x = Array{T where T} and…

Unexpected subtyping behavior <:

General Usage

Mattriks November 30, 2019, 8:08pm 2

1 Like