compiler: add missing @nospecialize annotations (#46734)

JuliaLang · Sep 13, 2022 · df955b8 · df955b8
1 parent 85fac87
commit df955b8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/base/compiler/abstractinterpretation.jl b/base/compiler/abstractinterpretation.jl
@@ -876,7 +876,7 @@ end
 
 function abstract_call_method_with_const_args(interp::AbstractInterpreter, result::MethodCallResult,
                                               @nospecialize(f), arginfo::ArgInfo, match::MethodMatch,
-                                              sv::InferenceState, invoketypes=nothing)
+                                              sv::InferenceState, @nospecialize(invoketypes=nothing))
     if !const_prop_enabled(interp, sv, match)
         return nothing
     end

diff --git a/base/compiler/inferencestate.jl b/base/compiler/inferencestate.jl
@@ -487,7 +487,7 @@ function add_cycle_backedge!(frame::InferenceState, caller::InferenceState, curr
 end
 
 # temporarily accumulate our edges to later add as backedges in the callee
-function add_backedge!(li::MethodInstance, caller::InferenceState, invokesig::Union{Nothing,Type}=nothing)
+function add_backedge!(li::MethodInstance, caller::InferenceState, @nospecialize(invokesig=nothing))
     isa(caller.linfo.def, Method) || return # don't add backedges to toplevel exprs
     edges = caller.stmt_edges[caller.currpc]
     if edges === nothing