Static.jl triggers a lot of invalidations on Julia 1.12. Initially observed from using RxInfer
inserting |(x::Union{Missing, Integer}, ::Static.StaticInteger{Y}) where Y @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:507 invalidated:
mt_backedges: 1: signature Tuple{typeof(|), Int64, Any} triggered MethodInstance for Base.JuliaSyntax._register_kinds!(::Dict{Int64, Union{Module, Symbol}}, ::Dict{UInt16, String}, ::Dict{String, UInt16}, ::Module, ::Int64, ::Vector{String}) (0 children), 2: signature Tuple{typeof(|), Int64, Any} triggered MethodInstance for Base.JuliaSyntax._register_kinds!(::Dict{Int64, Union{Module, Symbol}}, ::Dict{UInt16, String}, ::Dict{String, UInt16}, ::Module, ::Int64, ::Vector{String}) (0 children), 3: signature Tuple{typeof(|), Missing, Any} triggered MethodInstance for <=(::Char, ::Any) (0 children), 4: signature Tuple{typeof(|), Missing, Any} triggered MethodInstance for <=(::Any, ::Char) (0 children), 5: signature Tuple{typeof(|), UInt16, Any} triggered MethodInstance for Base.JuliaSyntax.parse_function_signature(::ParseState, ::Bool) (1150 children);
inserting <<(::Static.StaticInteger{X}, n::Integer) where X @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:486 invalidated:
mt_backedges: 1: signature Tuple{typeof(<<), Any, Int64} triggered MethodInstance for copyto!(::BitVector, ::Broadcasted{Nothing, Tuple{OneTo{Int64}}, F, Tuple{RefValue{var"#print_ext_entry#251"}, Vector{Tuple{String, Bool}}}} where F<:(var"#18#19"{Pairs{Symbol, T1, Tuple{Symbol}, NamedTuple{(:context,), T}}, typeof(sprint)} where {T<:Tuple{IO}, T1})) (2 children), 2: signature Tuple{typeof(<<), Any, Int64} triggered MethodInstance for copyto!(::BitVector, ::Broadcasted{Nothing, Tuple{OneTo{Int64}}, typeof(first), <:Tuple{Vector{_A} where _A<:Tuple{Any, Any}}}) (5 children), 3: signature Tuple{typeof(<<), Any, Int64} triggered MethodInstance for Base.load_from_array(::Type{UInt16}, ::AbstractVector{UInt8}, ::Int64) (6 children), 4: signature Tuple{typeof(<<), Any, Int64} triggered MethodInstance for Base.load_from_array(::Type{Int32}, ::AbstractVector{UInt8}, ::Int64) (8 children), 5: signature Tuple{typeof(<<), Any, Int64} triggered MethodInstance for Base.load_from_array(::Type{UInt64}, ::AbstractVector{UInt8}, ::Int64) (9 children), 6: signature Tuple{typeof(<<), Any, Int64} triggered MethodInstance for Base.load_from_array(::Type{Int64}, ::AbstractVector{UInt8}, ::Int64) (12 children), 7: signature Tuple{typeof(<<), Any, Int64} triggered MethodInstance for Base.load_from_array(::Type{UInt32}, ::AbstractVector{UInt8}, ::Int64) (15 children);
inserting step(::Static.OptionallyStaticStepRange{<:Any, Static.StaticInt{S}}) where S @ Static ~/.julia/packages/Static/SeEGr/src/ranges.jl:169 invalidated:
mt_backedges: 1: signature Tuple{typeof(step), OrdinalRange{Int64, Int64}} triggered MethodInstance for Base.IteratorsMD.__inc(::Tuple{Int64}, ::Tuple{OrdinalRange{Int64, Int64}}) (0 children), 2: signature Tuple{typeof(step), OrdinalRange{Int64, Int64}} triggered MethodInstance for Base.IteratorsMD.__inc(::Tuple{Int64, Int64, Vararg{Int64}}, ::Tuple{OrdinalRange{Int64, Int64}, OrdinalRange{Int64, Int64}, Vararg{OrdinalRange{Int64, Int64}}}) (0 children), 3: signature Tuple{typeof(step), OrdinalRange{Int64, Int64}} triggered MethodInstance for Base.IteratorsMD.__dec(::Tuple{Int64}, ::Tuple{OrdinalRange{Int64, Int64}}) (0 children), 4: signature Tuple{typeof(step), OrdinalRange{Int64, Int64}} triggered MethodInstance for Base.IteratorsMD.__dec(::Tuple{Int64, Int64, Vararg{Int64}}, ::Tuple{OrdinalRange{Int64, Int64}, OrdinalRange{Int64, Int64}, Vararg{OrdinalRange{Int64, Int64}}}) (0 children), 5: signature Tuple{typeof(step), OrdinalRange{Int64, Int64}} triggered MethodInstance for (::var"#22#23")(::OrdinalRange{Int64, Int64}) (40 children);
inserting all(::Tuple{Union{Static.False, Static.True}, Vararg{Union{Static.False, Static.True}}}) @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:521 invalidated:
backedges: 1: superseding all(x::Tuple{Any}) @ Base tuple.jl:663 with MethodInstance for all(::Tuple{Any}) (26 children);
inserting xor(x::Union{Missing, Integer}, ::Static.StaticInteger{Y}) where Y @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:515 invalidated:
mt_backedges: 1: signature Tuple{typeof(xor), UInt64, Any} triggered MethodInstance for hash(::NamedTuple{(:outer_mod, :mod, :owner, :name_being_accessed), <:Tuple{Any, Module, Module, Symbol}}, ::UInt64) (15 children);
inserting convert(::Type{T}, N::Union{Static.StaticBool{N}, Static.StaticFloat64{N}, Static.StaticInt{N}} where N) where T<:Number @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:427 invalidated:
backedges: 1: superseding convert(::Type{T}, x::Number) where T<:Number @ Base number.jl:7 with MethodInstance for convert(::Type{UInt64}, ::Number) (1 children), 2: superseding convert(::Type{T}, x::Number) where T<:Number @ Base number.jl:7 with MethodInstance for convert(::Type{Int64}, ::Real) (11 children);
inserting |(x::Bool, y::Static.False) @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:509 invalidated:
mt_backedges: 1: signature Tuple{typeof(|), Bool, Any} triggered MethodInstance for isless(::AbstractFloat, ::Int64) (1 children), 2: signature Tuple{typeof(|), Bool, Any} triggered MethodInstance for <=(::Any, ::Char) (1 children), 3: signature Tuple{typeof(|), Bool, Any} triggered MethodInstance for <=(::Char, ::Any) (10 children);
inserting ifelse(::Static.False, x, y) @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:107 invalidated:
mt_backedges: 1: signature Tuple{typeof(ifelse), Any, Real, Real} triggered MethodInstance for max(::T, ::T) where T<:Real (0 children), 2: signature Tuple{typeof(ifelse), Any, Any, Any} triggered MethodInstance for max(::Any, ::Any) (0 children), 3: signature Tuple{typeof(ifelse), Any, Tuple{Any, Any}, Tuple{Any, Any}} triggered MethodInstance for Base.add12(::T, ::T) where T (0 children), 4: signature Tuple{typeof(ifelse), Any, Real, Real} triggered MethodInstance for min(::T, ::T) where T<:Real (0 children), 5: signature Tuple{typeof(ifelse), Any, Any, Any} triggered MethodInstance for min(::Any, ::Any) (0 children), 6: signature Tuple{typeof(ifelse), Any, Integer, Integer} triggered MethodInstance for max(::T, ::T) where T<:Integer (0 children), 7: signature Tuple{typeof(ifelse), Any, Integer, Integer} triggered MethodInstance for max(::T, ::T) where T<:Integer (1 children), 8: signature Tuple{typeof(ifelse), Any, Integer, Integer} triggered MethodInstance for max(::T, ::T) where T<:Integer (1 children), 9: signature Tuple{typeof(ifelse), Any, Real, Any} triggered MethodInstance for mod1(::T, ::T) where T<:Real (1 children), 10: signature Tuple{typeof(ifelse), Any, Any, Int64} triggered MethodInstance for (::var"#_setindex##0#_setindex##1"{_A, var"#s180", NTuple{N, Int64}} where {_A, var"#s180"<:Integer, N})(::Int64) (6 children);
inserting (::Colon)(L::Integer, ::Static.StaticInt{U}) where U @ Static ~/.julia/packages/Static/SeEGr/src/ranges.jl:174 invalidated:
mt_backedges: 1: signature Tuple{Colon, Int64, Any} triggered MethodInstance for (::var"#__cat_offset1!##0#__cat_offset1!##1"{var"#s180", NTuple{N, Bool}, NTuple{N1, Int64}, Vector{Union{Int64, Symbol}}} where {var"#s180"<:Tuple{Int64, Vararg{Any}}, N, N1})(::Int64) (0 children), 2: signature Tuple{Colon, Int64, Any} triggered MethodInstance for (::var"#__cat_offset1!##0#__cat_offset1!##1"{var"#s180", NTuple{N, Bool}, <:Tuple, Vector{Union{Int64, Symbol}}} where {var"#s180"<:Tuple{Int64, Vararg{Any}}, N})(::Int64) (0 children), 3: signature Tuple{Colon, Int64, Any} triggered MethodInstance for Base.Compiler.IRShow.compute_ir_line_annotations(::IRCode) (0 children), 4: signature Tuple{Colon, Int64, Any} triggered MethodInstance for Base.var"#s180#187"(::Any, ::Any, ::Any) (0 children), 5: signature Tuple{Colon, Int64, Any} triggered MethodInstance for Base.var"#s180#186"(::Any, ::Any, ::Any, ::Any) (0 children), 6: signature Tuple{Colon, Int64, Any} triggered MethodInstance for Base.Compiler.IRShow._new_nodes_iter(::Any, ::Any, ::Any, ::Any) (0 children), 7: signature Tuple{Colon, Int64, Any} triggered MethodInstance for Base.var"#s16#235"(::Any, ::Any, ::Any, ::Any, ::Any) (0 children), 8: signature Tuple{Colon, Int64, Any} triggered MethodInstance for show(::IO, ::InferenceResult) (0 children), 9: signature Tuple{Colon, Int64, Any} triggered MethodInstance for Base.findmetaarg(::Any, ::Symbol) (0 children), 10: signature Tuple{Colon, Int64, Any} triggered MethodInstance for StyledStrings.StyledMarkup.read_inlineface!(::State, ::Int64, ::Char, ::Vector{Tuple{Int64, Int64, Union{Expr, Symbol, Tuple{Symbol, Any}}}}) (0 children), 11: signature Tuple{Colon, Int64, Any} triggered MethodInstance for StyledStrings.StyledMarkup.begin_style!(::State, ::Int64, ::Char) (0 children), 12: signature Tuple{Colon, Int64, Any} triggered MethodInstance for JuliaSyntaxHighlighting.var"#_hl_annotations!#11"(::Bool, ::typeof(_hl_annotations!), ::Vector{@NamedTuple{region::UnitRange{Int64}, label::Symbol, value}}, ::GreenLineage, ::HighlightContext{SubString{String}}) (0 children), 13: signature Tuple{Colon, Int64, Any} triggered MethodInstance for JuliaSyntaxHighlighting.var"#_hl_annotations!#11"(::Bool, ::typeof(_hl_annotations!), ::Vector{@NamedTuple{region::UnitRange{Int64}, label::Symbol, value}}, ::GreenLineage, ::HighlightContext{String}) (0 children), 14: signature Tuple{Colon, Int64, Any} triggered MethodInstance for PlutoRunner.delete_method_doc(::Method) (0 children), 15: signature Tuple{Colon, Int64, Any} triggered MethodInstance for PlutoRunner.delete_method_doc(::Method) (0 children), 16: signature Tuple{Colon, Int64, Any} triggered MethodInstance for StaticArrays.check_cat_size(::Array{NTuple{_A, Int64}, 1} where _A, ::Any) (0 children), 17: signature Tuple{Colon, Int64, Any} triggered MethodInstance for StaticArrays.var"#s25#198"(::Any, ::Any, ::Any) (0 children), 18: signature Tuple{Colon, Int64, Any} triggered MethodInstance for StaticArrays.var"#s25#137"(::Any, ::Any, ::Any, ::Any, ::Any) (0 children), 19: signature Tuple{Colon, Int64, Any} triggered MethodInstance for StaticArrays.var"#s25#513"(::Any, ::Any, ::Any, ::Any, ::Any, ::Any, ::Any, ::Any, ::Any) (0 children), 20: signature Tuple{Colon, Int64, Any} triggered MethodInstance for StaticArrays.var"#s25#288"(::Any, ::Any, ::Any, ::Any, ::Any, ::Any) (0 children), 21: signature Tuple{Colon, Int64, Any} triggered MethodInstance for (::var"#226#227")(::Any) (0 children), 22: signature Tuple{Colon, Int64, Any} triggered MethodInstance for StaticArrays.var"#s25#280"(::Any, ::Any, ::Any, ::Any, ::Any) (0 children), 23: signature Tuple{Colon, Int64, Any} triggered MethodInstance for ReactiveMP.generate_node_expression(::Symbol, ::Symbol, ::Expr) (0 children), 24: signature Tuple{Colon, Int64, Any} triggered MethodInstance for ReactiveMP.generate_node_expression(::Expr, ::Symbol, ::Expr) (0 children), 25: signature Tuple{Colon, Int64, Any} triggered MethodInstance for (::var"#153#154"{Int64})(::Any) (9 children);
inserting isdone(x::Union{Static.OptionallyStaticUnitRange{F, L}, Static.OptionallyStaticStepRange{F, <:Any, L}} where {F, L}, state::Int64) @ Static ~/.julia/packages/Static/SeEGr/src/ranges.jl:268 invalidated:
backedges: 1: superseding isdone(itr, state...) @ Base essentials.jl:1186 with MethodInstance for Base.isdone(::AbstractArray, ::Any) (5 children);
inserting |(x::Static.True, y::Bool) @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:510 invalidated:
mt_backedges: 1: signature Tuple{typeof(|), Any, Bool} triggered MethodInstance for Base._base(::Int64, ::Integer, ::Int64, ::Bool) (0 children), 2: signature Tuple{typeof(|), Any, Bool} triggered MethodInstance for (::var"#finalsplit##0#finalsplit##1")(::Symbol) (3 children);
inserting checkindex(::Type{Bool}, inds::AbstractUnitRange, ::Union{Static.StaticBool{N}, Static.StaticFloat64{N}, Static.StaticInt{N}}) where N @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:98 invalidated:
backedges: 1: superseding checkindex(::Type{Bool}, inds::AbstractUnitRange, i::Real) @ Base abstractarray.jl:752 with MethodInstance for checkindex(::Type{Bool}, ::OneTo{Int64}, ::Real) (1 children);
inserting >>(::Static.StaticInteger{X}, n::Integer) where X @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:490 invalidated:
mt_backedges: 1: signature Tuple{typeof(>>), Any, Int64} triggered MethodInstance for Base.mapreduce_impl(::var"#19#20", ::typeof(add_sum), ::SubArray{T, 1} where T, ::Integer, ::Integer, ::Int64) (0 children), 2: signature Tuple{typeof(>>), Any, Int64} triggered MethodInstance for Base.mapreduce_impl(::var"#23#24", ::typeof(add_sum), ::SubArray{T, 1} where T, ::Integer, ::Integer, ::Int64) (0 children), 3: signature Tuple{typeof(>>), Any, Int64} triggered MethodInstance for Base._div64(::Any) (0 children);
inserting (::Colon)(start::Integer, step::Integer, ::Static.StaticInt{L}) where L @ Static ~/.julia/packages/Static/SeEGr/src/ranges.jl:191 invalidated:
mt_backedges: 1: signature Tuple{Colon, Int64, Int64, Any} triggered MethodInstance for Base.CoreLogging.logmsg_shim(::Any, ::Any, ::Any, ::Any, ::Any, ::Any, ::Any, ::Any) (0 children);
inserting (::Colon)(::Static.StaticInt{L}, U::Integer) where L @ Static ~/.julia/packages/Static/SeEGr/src/ranges.jl:175 invalidated:
mt_backedges: 1: signature Tuple{Colon, Any, Int64} triggered MethodInstance for (::var"#_replace_init##2#_replace_init##3")(::String) (0 children), 2: signature Tuple{Colon, Any, Integer} triggered MethodInstance for Base.mapreduce_impl(::var"#19#20", ::typeof(add_sum), ::SubArray{T, 1} where T, ::Integer, ::Integer, ::Int64) (0 children), 3: signature Tuple{Colon, Any, Integer} triggered MethodInstance for Base.mapreduce_impl(::var"#23#24", ::typeof(add_sum), ::SubArray{T, 1} where T, ::Integer, ::Integer, ::Int64) (0 children);
inserting (::Colon)(::Static.StaticInt{F}, step::Integer, stop::Integer) where F @ Static ~/.julia/packages/Static/SeEGr/src/ranges.jl:197 invalidated:
mt_backedges: 1: signature Tuple{Colon, Any, Int64, Int64} triggered MethodInstance for Base.Math.var"#s677#2"(::Any, ::Any, ::Any) (0 children);
inserting ∘(x::Base.Fix2{typeof(*), Int64}, ::Base.Fix2{typeof(*), Static.StaticInt{1}}) @ Static ~/.julia/packages/Static/SeEGr/src/Static.jl:863 invalidated:
1 mt_cache
;
Static.jl triggers a lot of invalidations on Julia 1.12. Initially observed from
using RxInfer