Type assertion and default seem inconsistent

[omus]

I believe the linter may not be interpreting parametric functions correctly:

julia> using Lint

julia> lintstr("foo{S<:AbstractString}(args::Array{S}=ARGS) = typeof(args)")
1-element Array{Lint.LintMessage,1}:
 none:1 [foo            ] ERROR  args type assertion and default seem inconsistent

ARGS is of the type Array{UTF8String,1} which definitely matches the type assertion.

[tonyhffong]

Hm... but this returns false:

Array{UTF8String,1} <: Array{AbstractString}

[TotalVerb]

@tonyhffong But this returns true:

julia> S = TypeVar(:S, AbstractString)
S<:AbstractString

julia> Array{UTF8String,1} <: Array{S}
true