i'm still running into a different issue:

```julia
julia> (String, Int64, Any) <: ((Type{TypeVar(:T,Any)}...,),)
false
```

which is resulting from the following answer from `_methods`
```
julia> Base._methods(length, (Type{TypeVar(:T,Base.Top)},), 1)
1-element Array{Any,1}:
 (((Type{T<:Top}...,),),(),length(t::(Any...,)) at tuple.jl:3)
```

which is determined while computing type inference for `length(argtypes)` in `abstract_call_gf`