[julia-users] Type inference

[Fil Mackay]

Hi all, I expected this to be true:



*Dict{ASCIIString,Int64}<:Dict{String,Int64}# false*

Should not there be covariance on the Dict's type parameter that allows 
this?