JuliaLang/julia

A list of `Core.Box` in Base and stdlibs

Open

#60 479 ouverte le 25 déc. 2025

Voir sur GitHub
 (5 commentaires) (3 réactions) (0 assignés)Julia (5 773 forks)batch import
help wantedlatency

Métriques du dépôt

Stars
 (48 709 stars)
Métriques de merge PR
 (Merge moyen 23j 11h) (145 PRs mergées en 30 j)

Description

This uses #60478 to get a list of methods that get variables boxed due to https://github.com/JuliaLang/julia/issues/15276 (or other reasons). Generated with ./julia contrib/scan-closure-boxes.jl --module=Base,stdlibs --format=markdown. The lowered code can be get via e.g. code_warntype(sig) where the sig is as given in the table.

Base

var func sig location
all_effects abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
argtypesi abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
callfuture abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
ctfuture abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
ctypes abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
ctypes´ abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
exctype abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
i abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
infos abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
infos´ abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
j abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
nextstate abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
res abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
ti abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
argtypes abstract_call_known Tuple{typeof(Compiler.abstract_call_known), Compiler.AbstractInterpreter, Any, Compiler.ArgInfo, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:2664
effects abstract_call_known Tuple{typeof(Compiler.abstract_call_known), Compiler.AbstractInterpreter, Any, Compiler.ArgInfo, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:2664
exct abstract_call_known Tuple{typeof(Compiler.abstract_call_known), Compiler.AbstractInterpreter, Any, Compiler.ArgInfo, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:2664
exct abstract_invoke Tuple{typeof(Compiler.abstract_invoke), Compiler.AbstractInterpreter, Compiler.ArgInfo, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:2237
RT abstract_modifyop! Tuple{typeof(Compiler.abstract_modifyop!), Compiler.AbstractInterpreter, Any, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:1367
TF abstract_modifyop! Tuple{typeof(Compiler.abstract_modifyop!), Compiler.AbstractInterpreter, Any, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:1367
info abstract_modifyop! Tuple{typeof(Compiler.abstract_modifyop!), Compiler.AbstractInterpreter, Any, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:1367
call2future inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
may_have_terminated inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
nextstate inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
stateordonet inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
stateordonet_widened inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
statetype inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
valtype inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
old_restrict return_type_tfunc Tuple{typeof(Compiler.return_type_tfunc), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:3084
tt return_type_tfunc Tuple{typeof(Compiler.return_type_tfunc), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:3084

Distributed

var func sig location
x #remotecall_pool#130 Tuple{Distributed.var"##remotecall_pool#130", Base.Pairs{Symbol, V, Nothing, NT} where {V, NT<:NamedTuple}, typeof(Distributed.remotecall_pool), typeof(Distributed.remotecall), Any, Distributed.AbstractWorkerPool, Vararg{Any}} /home/kc/julia/usr/share/julia/stdlib/v1.14/Distributed/src/workerpool.jl:140
x #remotecall_pool#154 Tuple{Distributed.var"##remotecall_pool#154", Base.Pairs{Symbol, V, Nothing, NT} where {V, NT<:NamedTuple}, typeof(Distributed.remotecall_pool), typeof(Distributed.remotecall), Any, Distributed.CachingPool, Vararg{Any}} /home/kc/julia/usr/share/julia/stdlib/v1.14/Distributed/src/workerpool.jl:407
sock #start_worker#24 Tuple{Distributed.var"##start_worker#24", Bool, Bool, typeof(Distributed.start_worker), IO, AbstractString} /home/kc/julia/usr/share/julia/stdlib/v1.14/Distributed/src/cluster.jl:237
w create_worker Tuple{typeof(Distributed.create_worker), Any, Any} /home/kc/julia/usr/share/julia/stdlib/v1.14/Distributed/src/cluster.jl:601

Guide contributeur

Direction de recherche
Choisissez une variable encadrée de la liste, inspectez son utilisation dans le code source, comprenez pourquoi elle est encadrée (par exemple, capture de fermeture) et essayez d'eviter l'encadrement en refactorisant le code. Utilisez `code warntype` pour verifier la stabilite des types.
Stack technique
Aucun
Domaine
backend
Type d'issue
Performance
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
JuliaGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60