Invalidations findings (from a GMT case)

[tim.holy]

@joa-quim

is so (if I’m understanding this matters) because a GMTdataset is an abstract array, so all other types that implement the abstract array interface are candidates to suffer from these inference issues.

No. It’s the same reason that

julia> isconcretetype(Array)
false

julia> isconcretetype(Tuple)
false

julia> isconcretetype(Pair)
false

but

julia> isconcretetype(Array{Float32,3})
true

julia> isconcretetype(Tuple{Int,String})
true

julia> isconcretetype(Pair{Symbol,Any})
true

Until all the parameters are specified, it’s not concrete. As I said above, “Any time you have abstract parameters you will get inference failures.”