Method call mixups when iterating over TypeVars

[mauro3]

Somehow Julia (0.3 & 0.4) gets confused which start method should be called (namely none):

function f(m::Method)
    @show m.tvars, typeof(m.tvars), methods(start, (typeof(m.tvars),))
    i = 1
    for t in m.tvars
        i += 1
        if i>=10^5
            break
        end
    end
    i
end

g(x) = 5
@show f(g.env.defs) # == 1


h{T}(x::T) = 5
@show f(h.env.defs) # == 10^5 !

m = h.env.defs
@show m.tvars, typeof(m.tvars), methods(start, (typeof(m.tvars),))
for t in m.tvars
    @show "a"
end

0.4 output:

(m.tvars,typeof(m.tvars),methods(start,(typeof(m.tvars),))) = ((),(),Any[start(t::(Any...,)) at tuple.jl:13])
f(g.env.defs) = 1
(m.tvars,typeof(m.tvars),methods(start,(typeof(m.tvars),))) = (T,TypeVar,Any[start{T<:Base.Enums.Enum}(::Type{T<:Base.Enums.Enum}) at Enums.jl:9])
f(h.env.defs) = 100001
(m.tvars,typeof(m.tvars),methods(start,(typeof(m.tvars),))) = (T,TypeVar,Any[start{T<:Base.Enums.Enum}(::Type{T<:Base.Enums.Enum}) at Enums.jl:9])
ERROR: LoadError: no method found for the specified argument types
 in which at reflection.jl:187
 in include at ./boot.jl:250
 in include_from_node1 at loading.jl:129
 in process_options at ./client.jl:317
 in _start at ./client.jl:401

0.3 output:

(m.tvars,typeof(m.tvars),methods(start,(typeof(m.tvars),))) => ((),(),{start(t::(Any...,)) at tuple.jl:13})
f(g.env.defs) => 1
(m.tvars,typeof(m.tvars),methods(start,(typeof(m.tvars),))) => (T,TypeVar,{})
f(h.env.defs) => 100001
(m.tvars,typeof(m.tvars),methods(start,(typeof(m.tvars),))) => (T,TypeVar,{})
ERROR: `start` has no method matching start(::TypeVar)
 in anonymous at no file
 in include at ./boot.jl:245
 in include_from_node1 at loading.jl:128
 in process_options at ./client.jl:285
 in _start at ./client.jl:354

Also, only on 0.4:

julia> methods(start ,(TypeVar,))
1-element Array{Any,1}:
 start{T<:Base.Enums.Enum}(::Type{T<:Base.Enums.Enum}) at Enums.jl:9