I have the following code:
x = String[]
y = Vector{String}[]
x == y # is true
push!(x, "a") # works fine
push!(y, "a") # ERROR
The error message is:
ERROR: MethodError: Cannot `convert` an object of type String to an object of type Vector{String}
What is the difference between String[] and Vector{String}[]? Aren't they both vectors of strings?