Restricted parametric typealiases are "unrestricted" in a parametric method

[mbauman]

Perhaps I'm doing something funny here, but this came to a surprise to me:

julia> type A{T}
         x::T
       end

julia> typealias NumericA{T<:Number} A{T}
A{T<:Number}

julia> foo{T}(::NumericA{T}) = T
foo (generic function with 1 method)

julia> methods(foo)
#1 method for generic function "foo":
foo{T}(::A{T}) at none:1

julia> foo(A("bar"))
ASCIIString (constructor with 2 methods)

I would expect foo to only be defined for A{T<:Number}, not for all T.

[JeffBezanson]

See also #2552, #6721
Currently the method parameter just "wins" and overrides the typealias parameter. typealias is just very problematic and I think the existing issues capture it.

[mbauman]

Ah, thanks. I did try to search, but all my searches included the word parametric so I missed those. Sorry for the dup.