Make the key type of method_info concrete

Author: serenity4

src/CodeTracking.jl

@@ -33,8 +33,8 @@ include("utils.jl")
 #   - `missing`, to indicate that the method cannot be located
 #   - a list of `(lnn,ex)` pairs. In almost all cases there will be just one of these,
 #     but "mistakes" in moving methods from one file to another can result in more than
-#     definition. The last pair in the list is the currently-active definition.
-const method_info = IdDict{Pair{<:Union{Nothing, MethodTable}, <:Type},Union{Missing,Vector{Tuple{LineNumberNode,Expr}}}}()
+#     one definition. The last pair in the list is the currently-active definition.
+const method_info = IdDict{Pair{Union{Nothing, MethodTable}, Type},Union{Missing,Vector{Tuple{LineNumberNode,Expr}}}}()
 
 const _pkgfiles = Dict{PkgId,PkgFiles}()
 
@@ -59,7 +59,7 @@ const juliabase = joinpath("julia", "base")
 const juliastdlib = joinpath("julia", "stdlib", "v$(VERSION.major).$(VERSION.minor)")
 
 method_table(method::Method) = isdefined(method, :external_mt) ? method.external_mt::MethodTable : nothing
-method_info_key(method::Method) = method_table(method) => method.sig
+method_info_key(method::Method) = Pair{Union{Nothing, MethodTable}, Type}(method_table(method), method.sig)
 
 ### Public API
 

test/runtests.jl

@@ -101,7 +101,7 @@ isdefined(Main, :Revise) ? Main.Revise.includet("script.jl") : include("script.j
 
     # Test a method marked as missing
     m = @which sum(1:5)
-    CodeTracking.method_info[nothing => m.sig] = missing
+    CodeTracking.invoked_setindex!(CodeTracking.method_info, missing, nothing => m.sig)
     @test whereis(m) == (CodeTracking.maybe_fix_path(String(m.file)), m.line)
     @test definition(m) === nothing
 
@@ -466,7 +466,7 @@ if isdefined(Base, :Experimental) && isdefined(Base.Experimental, :(var"@MethodT
     method = Core.eval(mod, ex)
     lnn = LineNumberNode(Int(method.line), method.file)
     @test CodeTracking.definition(Expr, method) === nothing
-    CodeTracking.method_info[method.external_mt => method.sig] = [(lnn, ex)]
+    CodeTracking.invoked_setindex!(CodeTracking.method_info, [(lnn, ex)], method.external_mt => method.sig)
     @test CodeTracking.definition(Expr, method) == ex
 end