gistfile1.txt

julia> struct SomeType{T}; end

julia> get_parameter{T}(o::SomeType{T}) = T
get_parameter (generic function with 1 method)

julia> f{T}(x::SomeType{T}) = T
f (generic function with 1 method)

julia> g(x::SomeType) = get_parameter(x)
g (generic function with 1 method)

julia> @code_warntype f(SomeType{Int}())
Variables:
  #self#::#f
  x::SomeType{Int64}

Body:
  begin
      return $(Expr(:static_parameter, 1))
  end::Type{Int64}

julia> @code_warntype g(SomeType{Int}())
Variables:
  #self#::#g
  x::SomeType{Int64}

Body:
  begin
      return Int64
  end::Type{Int64}