Diagnose and fix JET errors

[odow]

Running:

using JET
report_package("MathOptInterface")

generates a lot of possible errors. Many are probably trivial to fix. I haven't noticed any serious problems, they're largely due to type stability of union splitting --- something that works at runtime but might prevent compilation etc.

═════ 211 possible errors found ═════
┌ MathOptInterface.VectorAffineFunction{T}(f::MathOptInterface.VectorOfVariables) where T @ MathOptInterface /Users/oscar/.julia/dev/MathOptInterface/src/functions.jl:552
│ no matching method found `MathOptInterface.VectorAffineFunction(::Vector, ::Matrix{Float64})` (1/2 union split): MathOptInterface.VectorAffineFunction(terms, MathOptInterface.zeros(T::Any, MathOptInterface.output_dimension(f::MathOptInterface.VectorOfVariables)::Int64)::Union{Vector, Matrix{Float64}})
└────────────────────
┌ dimension(s::MathOptInterface.AbstractVectorSet) @ MathOptInterface /Users/oscar/.julia/dev/MathOptInterface/src/sets.jl:148
│┌ getproperty(set::MathOptInterface.Scaled{MathOptInterface.PositiveSemidefiniteConeTriangle}, f::Symbol) @ MathOptInterface /Users/oscar/.julia/dev/MathOptInterface/src/sets.jl:1820
││ type Scaled has no field dimension: MathOptInterface.getfield(set::MathOptInterface.Scaled{MathOptInterface.PositiveSemidefiniteConeTriangle}, f::Symbol)
│└────────────────────
┌ add_constrained_variables(model::MathOptInterface.ModelLike, sets::AbstractVector{<:MathOptInterface.AbstractScalarSet}) @ MathOptInterface /Users/oscar/.julia/dev/MathOptInterface/src/variables.jl:185
│┌ add_constrained_variable(b::MathOptInterface.Bridges.AbstractBridgeOptimizer, set::MathOptInterface.AbstractScalarSet) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1961
││┌ is_variable_bridged(b::MathOptInterface.Bridges.LazyBridgeOptimizer, S::Type{<:MathOptInterface.AbstractScalarSet}) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl:467
│││┌ node(b::MathOptInterface.Bridges.LazyBridgeOptimizer, S::Type{<:MathOptInterface.AbstractScalarSet}) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl:249
││││┌ node(b::MathOptInterface.Bridges.LazyBridgeOptimizer, F::Type{<:MathOptInterface.AbstractFunction}, S::Type{<:MathOptInterface.AbstractScalarSet}) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl:295
│││││┌ node(b::MathOptInterface.Bridges.LazyBridgeOptimizer, F::Type{<:MathOptInterface.AbstractFunction}) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl:325
││││││ invalid builtin function call: edge = typeassert(MathOptInterface.Bridges._edge(b::MathOptInterface.Bridges.LazyBridgeOptimizer, i::Int64, bridge_type)::MathOptInterface.Bridges.Edge, MathOptInterface.Bridges.ObjectiveEdge)
│││││└────────────────────
│┌ add_constrained_variable(b::MathOptInterface.Bridges.AbstractBridgeOptimizer, set::MathOptInterface.AbstractScalarSet) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1973
││┌ add_variable(b::MathOptInterface.Bridges.AbstractBridgeOptimizer) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1881
│││┌ add_constrained_variables(b::MathOptInterface.Bridges.AbstractBridgeOptimizer, set::MathOptInterface.Scaled) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1928
││││┌ is_variable_bridged(b::MathOptInterface.Bridges.LazyBridgeOptimizer, S::Type{MathOptInterface.Scaled{S}} where S<:MathOptInterface.AbstractVectorSet) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl:467
│││││┌ node(b::MathOptInterface.Bridges.LazyBridgeOptimizer, S::Type{MathOptInterface.Scaled{S}} where S<:MathOptInterface.AbstractVectorSet) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl:262
││││││┌ _edge(b::MathOptInterface.Bridges.LazyBridgeOptimizer, index::Int64, BT::Type{<:MathOptInterface.Bridges.Variable.SetMapBridge{T, S1, MathOptInterface.Scaled{S}}} where {T, S1, S<:MathOptInterface.AbstractVectorSet}) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl:155
│││││││┌ _variable_nodes(b::MathOptInterface.Bridges.LazyBridgeOptimizer, ::Type{<:MathOptInterface.Bridges.Variable.SetMapBridge{T, S1, MathOptInterface.Scaled{S}}} where {T, S1, S<:MathOptInterface.AbstractVectorSet}) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl:132
││││││││┌ setindex!(A::Vector{MathOptInterface.Bridges.VariableNode}, x::MathOptInterface.Bridges.ObjectiveNode, i1::Int64) @ Base ./array.jl:969
│││││││││ no matching method found `convert(::Type{MathOptInterface.Bridges.VariableNode}, ::MathOptInterface.Bridges.ObjectiveNode)`: convert(T::Type{MathOptInterface.Bridges.VariableNode}, x::MathOptInterface.Bridges.ObjectiveNode)
││││││││└────────────────────
│││┌ add_keys_for_bridge(map::MathOptInterface.Bridges.Variable.Map, bridge_fun::MathOptInterface.Bridges.var"#33#34"{_A, MathOptInterface.Reals} where _A, set::MathOptInterface.Reals) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:374
││││ no matching method found `unbridged_map(::Nothing, ::Vector{MathOptInterface.VariableIndex})` (1/2 union split): mappings = MathOptInterface.Bridges.Variable.unbridged_map(((map::MathOptInterface.Bridges.Variable.Map).bridges::Vector{Union{Nothing, MathOptInterface.Bridges.Variable.AbstractBridge}})[bridge_index::Int64]::Union{Nothing, MathOptInterface.Bridges.Variable.AbstractBridge}, variables::Vector{MathOptInterface.VariableIndex})
│││└────────────────────
│││┌ add_keys_for_bridge(map::MathOptInterface.Bridges.Variable.Map, bridge_fun::MathOptInterface.Bridges.var"#33#34"{_A, MathOptInterface.Reals} where _A, set::MathOptInterface.Reals) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:379
││││ no matching method found `push!(::Nothing, ::Pair)` (1/2 union split): MathOptInterface.Bridges.Variable.push!((map::MathOptInterface.Bridges.Variable.Map).unbridged_function::Union{Nothing, Dict{MathOptInterface.VariableIndex, Tuple{Int64, MathOptInterface.AbstractScalarFunction}}}, (mapping.first::Any MathOptInterface.Bridges.Variable.:(=>) tuple(bridge_index::Int64, mapping.second::Any)::Tuple{Int64, Any})::Pair)
│││└────────────────────
│││┌ add_keys_for_bridge(map::MathOptInterface.Bridges.Variable.Map, bridge_fun::MathOptInterface.Bridges.var"#33#34"{_A, MathOptInterface.Reals} where _A, set::MathOptInterface.Reals) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:379
││││ no matching method found `push!(::Nothing, ::Pair)` (1/2 union split): MathOptInterface.Bridges.Variable.push!((map::MathOptInterface.Bridges.Variable.Map).unbridged_function::Union{Nothing, Dict{MathOptInterface.VariableIndex, Tuple{Int64, MathOptInterface.AbstractScalarFunction}}}, ((mapping::Any).first::Any MathOptInterface.Bridges.Variable.:(=>) tuple(bridge_index::Int64, (mapping::Any).second::Any)::Tuple{Int64, Any})::Pair)::Any
│││└────────────────────
┌ eval_variables(value_fn::Function, f::MathOptInterface.VectorOfVariables) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/functions.jl:153
│┌ materialize(bc::Base.Broadcast.Broadcasted{Base.Broadcast.DefaultArrayStyle{1}, Nothing, _A, Tuple{Vector{MathOptInterface.VariableIndex}}} where _A) @ Base.Broadcast ./broadcast.jl:873
││┌ copy(bc::Base.Broadcast.Broadcasted{Base.Broadcast.DefaultArrayStyle{1}, Tuple{Base.OneTo{Int64}}, _A, Tuple{Vector{MathOptInterface.VariableIndex}}} where _A) @ Base.Broadcast ./broadcast.jl:898
│││┌ copyto!(dest::BitVector, bc::Base.Broadcast.Broadcasted{Base.Broadcast.DefaultArrayStyle{1}, Tuple{Base.OneTo{Int64}}, _A, Tuple{Vector{MathOptInterface.VariableIndex}}} where _A) @ Base.Broadcast ./broadcast.jl:926
││││┌ copyto!(dest::BitVector, bc::Base.Broadcast.Broadcasted{Nothing, Tuple{Base.OneTo{Int64}}, _A, Tuple{Vector{MathOptInterface.VariableIndex}}} where _A) @ Base.Broadcast ./broadcast.jl:984
│││││┌ copyto!(dest::BitVector, bc::Base.Broadcast.Broadcasted{Nothing, Tuple{Base.OneTo{Int64}}, _A, Tuple{Vector{MathOptInterface.VariableIndex}}} where _A) @ Base.Broadcast ./broadcast.jl:967
││││││┌ copyto!(dest::BitVector, src::Vector{MathOptInterface.VariableIndex}) @ Base ./bitarray.jl:476
│││││││┌ unsafe_copyto!(dest::BitVector, doffs::Int64, src::Vector{MathOptInterface.VariableIndex}, soffs::Int64, n::Int64) @ Base ./bitarray.jl:457
││││││││┌ copy_to_bitarray_chunks!(Bc::Vector{UInt64}, pos_d::Int64, C::Vector{MathOptInterface.VariableIndex}, pos_s::Int64, numbits::Int64) @ Base ./multidimensional.jl:1343
│││││││││ no matching method found `Bool(::MathOptInterface.VariableIndex)`: Base.Bool((C::Vector{MathOptInterface.VariableIndex})[cind::Int64]::MathOptInterface.VariableIndex)
││││││││└────────────────────
┌ vectorize(x::AbstractVector{MathOptInterface.VariableIndex}) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/functions.jl:2124
│┌ MathOptInterface.VectorOfVariables(variables::AbstractVector{MathOptInterface.VariableIndex}) @ MathOptInterface /Users/oscar/.julia/dev/MathOptInterface/src/functions.jl:439
││┌ convert(::Type{Vector{MathOptInterface.VariableIndex}}, a::AbstractVector{MathOptInterface.VariableIndex}) @ Base ./array.jl:613
│││┌ Vector{MathOptInterface.VariableIndex}(r::Core.Compiler.AbstractRange{MathOptInterface.VariableIndex}) @ Core.Compiler ./range.jl:1374
││││┌ iterate(r::Core.Compiler.OrdinalRange{MathOptInterface.VariableIndex}) @ Core.Compiler ./range.jl:887
│││││┌ isempty(r::Core.Compiler.StepRange{MathOptInterface.VariableIndex}) @ Core.Compiler ./range.jl:659
││││││┌ >(x::MathOptInterface.VariableIndex, y::MathOptInterface.VariableIndex) @ Core.Compiler ./operators.jl:369
│││││││┌ <(x::MathOptInterface.VariableIndex, y::MathOptInterface.VariableIndex) @ Core.Compiler ./operators.jl:343
││││││││ no matching method found `isless(::MathOptInterface.VariableIndex, ::MathOptInterface.VariableIndex)`: Core.Compiler.isless(x::MathOptInterface.VariableIndex, y::MathOptInterface.VariableIndex)
│││││││└────────────────────
│││││┌ length(r::Core.Compiler.OrdinalRange{MathOptInterface.VariableIndex}) @ Core.Compiler ./range.jl:730
││││││┌ step(r::Core.Compiler.AbstractUnitRange{MathOptInterface.VariableIndex}) @ Core.Compiler ./range.jl:687
│││││││┌ oneunit(::Type{MathOptInterface.VariableIndex}) @ Core.Compiler ./number.jl:370
││││││││ no matching method found `one(::Type{MathOptInterface.VariableIndex})`: Core.Compiler.one(T::Type{MathOptInterface.VariableIndex})
│││││││└────────────────────

...

┌ get(model::MathOptInterface.FileFormats.NL.Model, attr::MathOptInterface.AbstractVariableAttribute, x::MathOptInterface.VariableIndex) @ MathOptInterface.FileFormats.NL /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/NL/NL.jl:806
│ no matching method found `get(::Nothing, ::MathOptInterface.AbstractVariableAttribute, ::MathOptInterface.VariableIndex)` (1/2 union split): MathOptInterface.get((model::MathOptInterface.FileFormats.NL.Model).model::Union{Nothing, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}, attr::MathOptInterface.AbstractVariableAttribute, x::MathOptInterface.VariableIndex)
└────────────────────
┌ _parse_dimensions(dims::Any) @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:307
│┌ findfirst(testf::MathOptInterface.FileFormats.SDPA.var"#isvalid#8", A::Union{AbstractString, AbstractArray}) @ Base ./array.jl:2122
││┌ findnext(testf::MathOptInterface.FileFormats.SDPA.var"#isvalid#8", B::BitArray, start::Integer) @ Base ./bitarray.jl:1528
│││┌ _findnext_int(testf::MathOptInterface.FileFormats.SDPA.var"#isvalid#8", B::BitArray, start::Int64) @ Base ./bitarray.jl:1530
││││┌ (::MathOptInterface.FileFormats.SDPA.var"#isvalid#8")(char::Bool) @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:306
│││││ no matching method found `isdigit(::Bool)`: MathOptInterface.FileFormats.SDPA.isdigit(char::Bool)
││││└────────────────────
┌ read!(io::IO, model::MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.SDPA.ModelVectorConstraints{T, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.Nonnegatives}, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.PositiveSemidefiniteConeTriangle}}}) where T @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:382
│┌ _parse_dimensions(dims::SubString{String}) @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:315
││ no matching method found `(::Colon)(::Int64, ::Nothing)` (1/2 union split): (start::Int64 MathOptInterface.FileFormats.SDPA.:(:) stop::Union{Nothing, Int64})
│└────────────────────
┌ read!(io::IO, model::MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.SDPA.ModelVectorConstraints{T, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.Nonnegatives}, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.PositiveSemidefiniteConeTriangle}}}) where T @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:440
│ no matching method found `getindex(::Nothing, ::Int64)` (1/2 union split): (funcs::Union{Nothing, Vector})[block::Int64]
└────────────────────
┌ read!(io::IO, model::MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.SDPA.ModelVectorConstraints{T, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.Nonnegatives}, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.PositiveSemidefiniteConeTriangle}}}) where T @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:444
│ no matching method found `getindex(::Nothing, ::Int64)` (1/2 union split): (funcs::Union{Nothing, Vector})[block::Int64]
└────────────────────
┌ read!(io::IO, model::MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.SDPA.ModelVectorConstraints{T, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.Nonnegatives}, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.PositiveSemidefiniteConeTriangle}}}) where T @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:444
│ no matching method found `getindex(::Nothing, ::Int64)` (1/2 union split): (scalar_vars::Union{Nothing, Vector})[matrix::Int64]
└────────────────────
┌ read!(io::IO, model::MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.SDPA.ModelVectorConstraints{T, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.Nonnegatives}, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.PositiveSemidefiniteConeTriangle}}}) where T @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:455
│ no matching method found `(::Colon)(::Int64, ::Nothing)` (1/2 union split): (1 MathOptInterface.FileFormats.SDPA.:(:) num_blocks::Union{Nothing, Int64})
└────────────────────
┌ read!(io::IO, model::MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.SDPA.ModelVectorConstraints{T, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.Nonnegatives}, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.PositiveSemidefiniteConeTriangle}}}) where T @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:456
│ no matching method found `getindex(::Nothing, ::Int64)` (1/2 union split): (funcs::Union{Nothing, Vector})[block]
└────────────────────
┌ read!(io::IO, model::MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.SDPA.ModelVectorConstraints{T, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.Nonnegatives}, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.PositiveSemidefiniteConeTriangle}}}) where T @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:456
│ no matching method found `getindex(::Nothing, ::Int64)` (1/2 union split): (funcs::Union{Nothing, Vector})[block::Int64]::Any
└────────────────────
┌ read!(io::IO, model::MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.SDPA.ModelVectorConstraints{T, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.Nonnegatives}, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.PositiveSemidefiniteConeTriangle}}}) where T @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:459
│ no matching method found `getindex(::Nothing, ::Int64)` (1/2 union split): (scalar_vars::Union{Nothing, Vector})[var_idx]
└────────────────────
┌ read!(io::IO, model::MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.SDPA.ModelVectorConstraints{T, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.Nonnegatives}, MathOptInterface.Utilities.VectorOfConstraints{MathOptInterface.VectorAffineFunction{T}, MathOptInterface.PositiveSemidefiniteConeTriangle}}}) where T @ MathOptInterface.FileFormats.SDPA /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl:459
│ no matching method found `getindex(::Nothing, ::Int64)` (1/2 union split): (scalar_vars::Union{Nothing, Vector})[var_idx::Int64]::Any
└────────────────────
┌ Model(; format::MathOptInterface.FileFormats.FileFormat, filename::Union{Nothing, String}, kwargs::Base.Pairs{Symbol, V, Tuple{Vararg{Symbol, N}}, NamedTuple{names, T}} where {V, N, names, T<:Tuple{Vararg{Any, N}}}) @ MathOptInterface.FileFormats /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/FileFormats.jl:70
│ no matching method found `kwcall(::NamedTuple{names, T} where {N, names, T<:Tuple{Vararg{Any, N}}}, ::Type{MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.CBF.ModelFunctionConstraints{T}} where T})`: Core.kwcall(merge(Base.NamedTuple()::NamedTuple{(), Tuple{}}, kwargs::Base.Pairs{…})::NamedTuple{names, T} where {N, names, T<:Tuple{Vararg{Any, N}}}, MathOptInterface.FileFormats.CBF.Model)
└────────────────────

[odow]

We're down to ═════ 155 possible errors found ═════

[odow]

With the latest PRs, we're down to

═════ 42 possible errors found ═════
┌ dimension(s::MathOptInterface.AbstractVectorSet) @ MathOptInterface /Users/oscar/.julia/dev/MathOptInterface/src/sets.jl:148
│┌ getproperty(set::MathOptInterface.Scaled{MathOptInterface.PositiveSemidefiniteConeTriangle}, f::Symbol) @ MathOptInterface /Users/oscar/.julia/dev/MathOptInterface/src/sets.jl:1820
││ type Scaled has no field dimension: MathOptInterface.getfield(set::MathOptInterface.Scaled{MathOptInterface.PositiveSemidefiniteConeTriangle}, f::Symbol)
│└────────────────────
┌ MathOptInterface.Utilities.IndexMap(var_map::Any, con_map::Any) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy/index_map.jl:16
│┌ convert(::Type{MathOptInterface.Utilities.CleverDicts.CleverDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, typeof(MathOptInterface.Utilities.CleverDicts.key_to_index), typeof(MathOptInterface.Utilities.CleverDicts.index_to_key)}}, src::AbstractDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ MathOptInterface.Utilities.CleverDicts /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/CleverDicts.jl:337
││┌ keys(ba::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/container_loops.jl:233
│││┌ DataStructures.SDMKeyIteration(base::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/container_loops.jl:114
││││┌ (::Type{DataStructures.SDMKeyIteration{T}} where T<:Union{DataStructures.SDMExcludeLast, DataStructures.SDMIncludeLast, DataStructures.SortedDict, DataStructures.SortedMultiDict})(base::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/container_loops.jl:114
│││││┌ convert(::Type{T}, x::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) where T<:DataStructures.SortedDict @ Base ./abstractdict.jl:568
││││││┌ (DataStructures.SortedDict{K, D})(kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) where {K, D} @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:119
│││││││┌ (::Type{DataStructures.SortedDict{_A, _B}} where {_A, _B})(o::Base.Order.ForwardOrdering, kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:124
││││││││┌ not_iterator_of_pairs(kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/dict_support.jl:6
│││││││││┌ any(f::DataStructures.var"#61#63", a::Vector{typeof(iterate)}) @ Base ./reducedim.jl:1004
││││││││││┌ any(f::DataStructures.var"#61#63", a::Vector{typeof(iterate)}; dims::Colon) @ Base ./reducedim.jl:1004
│││││││││││┌ _any(f::DataStructures.var"#61#63", itr::Vector{typeof(iterate)}, ::Colon) @ Base ./reduce.jl:1215
││││││││││││┌ (::DataStructures.var"#61#63")(x::typeof(iterate)) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/dict_support.jl:6
│││││││││││││┌ methodswith(t::DataType, f::typeof(iterate), meths::Bool) @ InteractiveUtils /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07RJYVY.0/build/default-grannysmith-C07ZQ07RJYVY-0/julialang/julia-release-1-dot-9/usr/share/julia/stdlib/v1.9/InteractiveUtils/src/InteractiveUtils.jl:203
││││││││││││││┌ methodswith(t::DataType, f::typeof(iterate), meths::Bool; supertypes::Bool) @ InteractiveUtils /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07RJYVY.0/build/default-grannysmith-C07ZQ07RJYVY-0/julialang/julia-release-1-dot-9/usr/share/julia/stdlib/v1.9/InteractiveUtils/src/InteractiveUtils.jl:214
│││││││││││││││ no matching method found `push!(::Bool, ::Method)`: InteractiveUtils.push!(meths::Bool, d::Method)
││││││││││││││└────────────────────
││││││┌ DataStructures.SortedDict(kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:157
│││││││┌ DataStructures.SortedDict(kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}, o::Base.Order.ForwardOrdering) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:157
││││││││┌ DataStructures.SortedDict(o::Base.Order.ForwardOrdering, d::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:104
│││││││││┌ DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, Base.Order.ForwardOrdering}(o::Base.Order.ForwardOrdering, kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:24
││││││││││┌ setindex!(m::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, Base.Order.ForwardOrdering}, d_::MathOptInterface.VariableIndex, k_::MathOptInterface.VariableIndex) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:212
│││││││││││┌ insert!(t::DataStructures.BalancedTree23{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, Base.Order.ForwardOrdering}, k::MathOptInterface.VariableIndex, d::MathOptInterface.VariableIndex, allowdups::Bool) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/balanced_tree.jl:361
││││││││││││┌ findkey(t::DataStructures.BalancedTree23{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, Base.Order.ForwardOrdering}, k::MathOptInterface.VariableIndex) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/balanced_tree.jl:272
│││││││││││││┌ cmp2_nonleaf(o::Base.Order.ForwardOrdering, treenode::DataStructures.TreeNode{MathOptInterface.VariableIndex}, k::MathOptInterface.VariableIndex) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/balanced_tree.jl:157
││││││││││││││┌ lt(o::Base.Order.ForwardOrdering, a::MathOptInterface.VariableIndex, b::MathOptInterface.VariableIndex) @ Base.Order ./ordering.jl:117
│││││││││││││││ no matching method found `isless(::MathOptInterface.VariableIndex, ::MathOptInterface.VariableIndex)`: Base.Order.isless(a::MathOptInterface.VariableIndex, b::MathOptInterface.VariableIndex)
││││││││││││││└────────────────────
┌ _try_constrain_variables_on_creation(dest::MathOptInterface.ModelLike, src::MathOptInterface.ModelLike, index_map::MathOptInterface.Utilities.IndexMap, ::Type{S}) where S<:MathOptInterface.AbstractVectorSet @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy.jl:196
│┌ iterate(z::Base.Iterators.Zip, ss::Int64) @ Base.Iterators ./iterators.jl:407
││┌ _zip_iterate_all(is::Tuple, ss::Tuple{Int64}) @ Base.Iterators ./iterators.jl:414
│││┌ _zip_isdone(is::Tuple, ss::Tuple{Int64}) @ Base.Iterators ./iterators.jl:446
││││┌ _zip_isdone(is::Tuple, ss::Tuple{}) @ Base.Iterators ./iterators.jl:445
│││││┌ getindex(t::Tuple{}, i::Int64) @ Base ./tuple.jl:29
││││││ BoundsError: attempt to access Tuple{} at index [1]: Base.getfield(t::Tuple{}, i::Int64, $(Expr(:boundscheck)))
│││││└────────────────────
┌ sorted_variable_sets_by_cost(dest::MathOptInterface.ModelLike, src::MathOptInterface.ModelLike) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy.jl:457
│┌ collect(::Type{Type}, itr::Base.Generator{_A, MathOptInterface.Utilities.var"#56#59"} where _A) @ Base ./array.jl:642
││┌ _collect(::Type{Type}, itr::Base.Generator{_A, MathOptInterface.Utilities.var"#56#59"} where _A, isz::Union{Base.HasLength, Base.HasShape}) @ Base ./array.jl:644
│││┌ _array_for(::Type{Type}, itr::Base.HasLength, isz::Any) @ Base ./array.jl:674
││││┌ _similar_shape(itr::Base.HasLength, ::Base.HasShape) @ Base ./array.jl:659
│││││┌ axes(A::Base.HasLength) @ Base ./abstractarray.jl:98
││││││ no matching method found `size(::Base.HasLength)`: size(A::Base.HasLength)
│││││└────────────────────
││││┌ _similar_shape(itr::Base.HasLength, ::Base.HasLength) @ Base ./array.jl:658
│││││ no matching method found `length(::Base.HasLength)`: length(itr::Base.HasLength)
││││└────────────────────
┌ modify(o::MathOptInterface.Utilities.ObjectiveContainer{T}, ::MathOptInterface.ObjectiveFunction, change::MathOptInterface.AbstractFunctionModification) where T @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/objective_container.jl:277
│ no matching method found `modify_function!(::MathOptInterface.VariableIndex, ::MathOptInterface.AbstractFunctionModification)`: MathOptInterface.Utilities.modify_function!(MathOptInterface.Utilities.something((o::MathOptInterface.Utilities.ObjectiveContainer).single_variable::Union{Nothing, MathOptInterface.VariableIndex})::MathOptInterface.VariableIndex, change::MathOptInterface.AbstractFunctionModification)
└────────────────────
┌ modify(o::MathOptInterface.Utilities.ObjectiveContainer{T}, ::MathOptInterface.ObjectiveFunction, change::MathOptInterface.AbstractFunctionModification) where T @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/objective_container.jl:293
│ no matching method found `modify_function!(::MathOptInterface.VectorOfVariables, ::MathOptInterface.AbstractFunctionModification)`: MathOptInterface.Utilities.modify_function!(MathOptInterface.Utilities.something((o::MathOptInterface.Utilities.ObjectiveContainer).vector_variables::Union{Nothing, MathOptInterface.VectorOfVariables})::MathOptInterface.VectorOfVariables, change::MathOptInterface.AbstractFunctionModification)
└────────────────────
┌ struct_of_constraint_code(struct_name::Any, types::Any) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/struct_of_constraints.jl:282
│┌ struct_of_constraint_code(struct_name::Any, types::Any, field_types::Nothing) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/struct_of_constraints.jl:377
││┌ collect(itr::Base.Generator{_A, MathOptInterface.Utilities.var"#136#139"} where _A) @ Base ./array.jl:792
│││┌ collect_to_with_first!(dest::Any, v1::Symbol, itr::Base.Generator{_A, MathOptInterface.Utilities.var"#136#139"} where _A, st::Any) @ Base ./array.jl:823
││││┌ grow_to!(dest::AbstractDict{K, V}, itr::Base.Generator{_A, MathOptInterface.Utilities.var"#136#139"} where _A, st::Any) where {K, V} @ Base ./dict.jl:133
│││││┌ indexed_iterate(I::Symbol, i::Int64) @ Base ./tuple.jl:91
││││││ no matching method found `iterate(::Symbol)`: x = iterate(I::Symbol)
│││││└────────────────────
┌ get(sets::MathOptInterface.Utilities.MixOfScalarSets{T}, ::MathOptInterface.ListOfConstraintTypesPresent) where T @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:100
│ no matching method found `set_types(::MathOptInterface.Utilities.MixOfScalarSets)`: MathOptInterface.Utilities.set_types(sets::MathOptInterface.Utilities.MixOfScalarSets)
└────────────────────
┌ rows(sets::MathOptInterface.Utilities.OrderedProductOfSets{T}, ci::MathOptInterface.ConstraintIndex{MathOptInterface.ScalarAffineFunction{T}, S}) where {T, S} @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:222
│ invalid builtin function call: i = typeassert(MathOptInterface.Utilities.set_index(sets::MathOptInterface.Utilities.OrderedProductOfSets, S::Any)::Nothing, MathOptInterface.Utilities.Int)
└────────────────────
┌ rows(sets::MathOptInterface.Utilities.OrderedProductOfSets{T}, ci::MathOptInterface.ConstraintIndex{MathOptInterface.VectorAffineFunction{T}, S}) where {T, S} @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:231
│ invalid builtin function call: i = typeassert(MathOptInterface.Utilities.set_index(sets::MathOptInterface.Utilities.OrderedProductOfSets, S::Any)::Nothing, MathOptInterface.Utilities.Int)
└────────────────────
┌ num_rows(sets::MathOptInterface.Utilities.OrderedProductOfSets, ::Type{S}) where S @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:266
│ invalid builtin function call: i = typeassert(MathOptInterface.Utilities.set_index(sets::MathOptInterface.Utilities.OrderedProductOfSets, S::Type)::Nothing, MathOptInterface.Utilities.Int)
└────────────────────
┌ get(sets::MathOptInterface.Utilities.OrderedProductOfSets{T}, ::MathOptInterface.ListOfConstraintTypesPresent) where T @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:277
│ no matching method found `set_types(::MathOptInterface.Utilities.OrderedProductOfSets)`: MathOptInterface.Utilities.set_types(sets::MathOptInterface.Utilities.OrderedProductOfSets)
└────────────────────
┌ empty!(v::MathOptInterface.Utilities.MatrixOfConstraints) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/matrix_of_constraints.jl:278
│ no matching method found `set_types(::Any)`: MathOptInterface.Utilities.set_types((v::MathOptInterface.Utilities.MatrixOfConstraints).sets::Any)
└────────────────────
┌ _test_attribute_value_type(model::MathOptInterface.ModelLike, attribute::MathOptInterface.AbstractConstraintAttribute, ci::MathOptInterface.ConstraintIndex) @ MathOptInterface.Test /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07RJYVY.0/build/default-grannysmith-C07ZQ07RJYVY-0/julialang/julia-release-1-dot-9/usr/share/julia/stdlib/v1.9/Test/src/Test.jl:478
│┌ return_types(f::typeof(MathOptInterface.get), types::Type) @ Base ./reflection.jl:1398
││┌ return_types(f::typeof(MathOptInterface.get), types::Type; world::UInt64, interp::Core.Compiler.NativeInterpreter) @ Base ./reflection.jl:1416
│││┌ typeinf_type(interp::Core.Compiler.NativeInterpreter, method::Method, atype::Type, sparams::Core.SimpleVector) @ Core.Compiler ./compiler/typeinfer.jl:1079
││││┌ typeinf(interp::Core.Compiler.NativeInterpreter, result::Core.Compiler.InferenceResult, cache::Symbol) @ Core.Compiler ./compiler/typeinfer.jl:12
│││││┌ typeinf(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/typeinfer.jl:216
││││││┌ _typeinf(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/typeinfer.jl:246
│││││││┌ typeinf_nocycle(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:2967
││││││││┌ typeinf_local(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:2820
│││││││││┌ widenreturn(rt::Any, info::Core.Compiler.BestguessInfo{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/abstractinterpretation.jl:2498
││││││││││┌ widenreturn(𝕃ᵢ::Core.Compiler.InferenceLattice{Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}}, rt::Any, info::Core.Compiler.BestguessInfo{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/abstractinterpretation.jl:2502
│││││││││││┌ widenreturn(𝕃ᵢ::Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}, rt::Any, info::Core.Compiler.BestguessInfo{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/abstractinterpretation.jl:2541
││││││││││││┌ widenreturn(𝕃ᵢ::Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}, rt::Any, info::Core.Compiler.BestguessInfo{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/abstractinterpretation.jl:2581
│││││││││││││┌ widenreturn_partials(𝕃ᵢ::Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}, rt::Any, info::Core.Compiler.BestguessInfo{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/abstractinterpretation.jl:2593
││││││││││││││┌ widenreturn_noslotwrapper(𝕃ᵢ::Core.Compiler.InferenceLattice{Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}}, rt::Any, info::Core.Compiler.BestguessInfo{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/abstractinterpretation.jl:2505
│││││││││││││││┌ widenreturn_noslotwrapper(𝕃ᵢ::Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}, rt::Any, info::Core.Compiler.BestguessInfo{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/abstractinterpretation.jl:2505
││││││││││││││││┌ widenreturn_noslotwrapper(𝕃ᵢ::Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}, rt::Any, info::Core.Compiler.BestguessInfo{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/abstractinterpretation.jl:2584
│││││││││││││││││┌ widenreturn_partials(𝕃ᵢ::Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}, rt::Any, info::Core.Compiler.BestguessInfo{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/abstractinterpretation.jl:2596
││││││││││││││││││┌ ⊏(lattice::Core.Compiler.InferenceLattice{Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}}, a::Core.TypeofVararg, b::Any) @ Core.Compiler ./compiler/abstractlattice.jl:125
│││││││││││││││││││┌ ⊑(lattice::Core.Compiler.InferenceLattice{Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}}, a::Core.TypeofVararg, b::Any) @ Core.Compiler ./compiler/typelattice.jl:220
││││││││││││││││││││┌ ⊑(lattice::Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}, a::Core.TypeofVararg, b::Any) @ Core.Compiler ./compiler/typelattice.jl:250
│││││││││││││││││││││┌ ⊑(lattice::Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}, a::Core.TypeofVararg, b::Any) @ Core.Compiler ./compiler/typelattice.jl:310
││││││││││││││││││││││┌ ⊑(lattice::Core.Compiler.ConstsLattice, a::Core.TypeofVararg, b::Any) @ Core.Compiler ./compiler/typelattice.jl:332
│││││││││││││││││││││││ no matching method found `⊑(::Core.Compiler.JLTypeLattice, ::Core.TypeofVararg, ::Any)`: Core.Compiler.:⊑(Core.Compiler.widenlattice(lattice::Core.Compiler.ConstsLattice)::Core.Compiler.JLTypeLattice, a::Core.TypeofVararg, b::Any)
││││││││││││││││││││││└────────────────────
│││││││││││││││││││┌ ⊑(lattice::Core.Compiler.InferenceLattice{Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}}, a::Any, b::Core.TypeofVararg) @ Core.Compiler ./compiler/typelattice.jl:220
││││││││││││││││││││┌ ⊑(lattice::Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}, a::Any, b::Core.TypeofVararg) @ Core.Compiler ./compiler/typelattice.jl:250
│││││││││││││││││││││┌ ⊑(lattice::Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}, a::Any, b::Core.TypeofVararg) @ Core.Compiler ./compiler/typelattice.jl:306
││││││││││││││││││││││┌ ⊑(lattice::Core.Compiler.ConstsLattice, a::Type, b::Core.TypeofVararg) @ Core.Compiler ./compiler/typelattice.jl:332
│││││││││││││││││││││││ no matching method found `⊑(::Core.Compiler.JLTypeLattice, ::Type, ::Core.TypeofVararg)`: Core.Compiler.:⊑(Core.Compiler.widenlattice(lattice::Core.Compiler.ConstsLattice)::Core.Compiler.JLTypeLattice, a::Type, b::Core.TypeofVararg)
││││││││││││││││││││││└────────────────────
│││││││││││││││││││││┌ ⊑(lattice::Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}, a::Any, b::Core.TypeofVararg) @ Core.Compiler ./compiler/typelattice.jl:310
││││││││││││││││││││││┌ ⊑(lattice::Core.Compiler.ConstsLattice, a::Any, b::Core.TypeofVararg) @ Core.Compiler ./compiler/typelattice.jl:332
│││││││││││││││││││││││ no matching method found `⊑(::Core.Compiler.JLTypeLattice, ::Any, ::Core.TypeofVararg)`: Core.Compiler.:⊑(Core.Compiler.widenlattice(lattice::Core.Compiler.ConstsLattice)::Core.Compiler.JLTypeLattice, a::Any, b::Core.TypeofVararg)
││││││││││││││││││││││└────────────────────
││││││││┌ typeinf_local(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:2867
│││││││││┌ abstract_eval_basic_statement(interp::Core.Compiler.NativeInterpreter, stmt::Any, pc_vartable::Vector{Core.Compiler.VarState}, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:2658
││││││││││┌ abstract_eval_statement(interp::Core.Compiler.NativeInterpreter, e::Any, vtypes::Vector{Core.Compiler.VarState}, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:2396
│││││││││││┌ abstract_eval_statement_expr(interp::Core.Compiler.NativeInterpreter, e::Expr, vtypes::Vector{Core.Compiler.VarState}, sv::Core.Compiler.InferenceState, mi::Nothing) @ Core.Compiler ./compiler/abstractinterpretation.jl:2183
││││││││││││┌ abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:1999
│││││││││││││┌ abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.InferenceState, max_methods::Nothing) @ Core.Compiler ./compiler/abstractinterpretation.jl:2020
││││││││││││││┌ abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.InferenceState, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1855
│││││││││││││││┌ abstract_apply(interp::Core.Compiler.NativeInterpreter, argtypes::Vector{Any}, si::Core.Compiler.StmtInfo, sv::Core.Compiler.InferenceState, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1510
││││││││││││││││┌ precise_container_type(interp::Core.Compiler.NativeInterpreter, itft::Any, typ::Any, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:1388
│││││││││││││││││┌ abstract_iteration(interp::Core.Compiler.NativeInterpreter, itft::Any, itertype::Any, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:1469
││││││││││││││││││┌ abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:1850
│││││││││││││││││││┌ abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.InferenceState, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1857
││││││││││││││││││││┌ abstract_invoke(interp::Core.Compiler.NativeInterpreter, ::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/abstractinterpretation.jl:1815
│││││││││││││││││││││┌ abstract_call_method_with_const_args(interp::Core.Compiler.NativeInterpreter, result::Core.Compiler.MethodCallResult, f::Any, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, match::Core.MethodMatch, sv::Core.Compiler.InferenceState, invokecall::Core.Compiler.InvokeCall) @ Core.Compiler ./compiler/abstractinterpretation.jl:975
││││││││││││││││││││││┌ ir_abstract_constant_propagation(interp::Core.Compiler.NativeInterpreter, irsv::Core.Compiler.IRInterpretationState) @ Core.Compiler ./compiler/ssair/irinterp.jl:424
│││││││││││││││││││││││┌ concrete_eval_invoke(interp::Core.Compiler.NativeInterpreter, inst::Expr, mi::Core.MethodInstance, irsv::Core.Compiler.IRInterpretationState) @ Core.Compiler ./compiler/ssair/irinterp.jl:145
││││││││││││││││││││││││┌ collect_argtypes(interp::Core.Compiler.NativeInterpreter, ea::Vector{Any}, vtypes::Nothing, sv::Core.Compiler.IRCode) @ Core.Compiler ./compiler/abstractinterpretation.jl:2154
│││││││││││││││││││││││││┌ abstract_eval_value(interp::Core.Compiler.NativeInterpreter, e::Any, vtypes::Nothing, sv::Core.Compiler.IRCode) @ Core.Compiler ./compiler/abstractinterpretation.jl:2145
││││││││││││││││││││││││││┌ abstract_eval_special_value(interp::Core.Compiler.NativeInterpreter, e::Any, vtypes::Nothing, sv::Core.Compiler.IRCode) @ Core.Compiler ./compiler/abstractinterpretation.jl:2122
│││││││││││││││││││││││││││ no matching method found `getindex(::Nothing, ::Int64)`: vtyp = (vtypes::Nothing)[Core.Compiler.slot_id(e::Core.SlotNumber)::Int64]
││││││││││││││││││││││││││└────────────────────
│││││││││││││││││││││││┌ reprocess_instruction!(interp::Core.Compiler.NativeInterpreter, idx::Int64, bb::Int64, inst::Any, typ::Any, irsv::Core.Compiler.IRInterpretationState) @ Core.Compiler ./compiler/ssair/irinterp.jl:222
││││││││││││││││││││││││┌ abstract_eval_statement_expr(interp::Core.Compiler.NativeInterpreter, e::Expr, vtypes::Nothing, sv::Core.Compiler.IRCode, mi::Core.MethodInstance) @ Core.Compiler ./compiler/abstractinterpretation.jl:2183
│││││││││││││││││││││││││┌ abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode) @ Core.Compiler ./compiler/abstractinterpretation.jl:1999
││││││││││││││││││││││││││┌ abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:2005
│││││││││││││││││││││││││││ no matching method found `abstract_call_opaque_closure(::Core.Compiler.NativeInterpreter, ::Core.PartialOpaque, ::Core.Compiler.ArgInfo, ::Core.Compiler.StmtInfo, ::Core.Compiler.IRCode, ::Bool)`: Core.Compiler.abstract_call_opaque_closure(interp::Core.Compiler.NativeInterpreter, ft::Core.PartialOpaque, Core.Compiler.ArgInfo((arginfo::Core.Compiler.ArgInfo).fargs::Vector{Any}, newargtypes)::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, true)
││││││││││││││││││││││││││└────────────────────
││││││││││││││││││││││││││┌ abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:2020
│││││││││││││││││││││││││││┌ abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1855
││││││││││││││││││││││││││││┌ abstract_apply(interp::Core.Compiler.NativeInterpreter, argtypes::Vector{Any}, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1566
│││││││││││││││││││││││││││││┌ abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:2005
││││││││││││││││││││││││││││││ no matching method found `abstract_call_opaque_closure(::Core.Compiler.NativeInterpreter, ::Core.PartialOpaque, ::Core.Compiler.ArgInfo, ::Core.Compiler.StmtInfo, ::Core.Compiler.IRCode, ::Bool)`: Core.Compiler.abstract_call_opaque_closure(interp::Core.Compiler.NativeInterpreter, ft::Core.PartialOpaque, Core.Compiler.ArgInfo((arginfo::Core.Compiler.ArgInfo).fargs::Union{Nothing, Vector{Any}}, newargtypes)::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, true)
│││││││││││││││││││││││││││││└────────────────────
│││││││││││││││││││││││││││┌ abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1857
││││││││││││││││││││││││││││ no matching method found `abstract_invoke(::Core.Compiler.NativeInterpreter, ::Core.Compiler.ArgInfo, ::Core.Compiler.StmtInfo, ::Core.Compiler.IRCode)`: Core.Compiler.abstract_invoke(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode)
│││││││││││││││││││││││││││└────────────────────
│││││││││││││││││││││││││││┌ abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1859
││││││││││││││││││││││││││││ no matching method found `abstract_modifyfield!(::Core.Compiler.NativeInterpreter, ::Vector{Any}, ::Core.Compiler.StmtInfo, ::Core.Compiler.IRCode)`: Core.Compiler.abstract_modifyfield!(interp::Core.Compiler.NativeInterpreter, argtypes::Vector{Any}, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode)
│││││││││││││││││││││││││││└────────────────────
│││││││││││││││││││││││││││┌ abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, si::Core.Compiler.StmtInfo, sv::Core.Compiler.IRCode, max_methods::Int64) @ Core.Compiler ./compiler/abstractinterpretation.jl:1861
││││││││││││││││││││││││││││ no matching method found `abstract_finalizer(::Core.Compiler.NativeInterpreter, ::Vector{Any}, ::Core.Compiler.IRCode)`: Core.Compiler.abstract_finalizer(interp::Core.Compiler.NativeInterpreter, argtypes::Vector{Any}, sv::Core.Compiler.IRCode)
│││││││││││││││││││││││││││└────────────────────
││││││││││││││││││││││││┌ abstract_eval_statement_expr(interp::Core.Compiler.NativeInterpreter, e::Expr, vtypes::Nothing, sv::Core.Compiler.IRCode, mi::Core.MethodInstance) @ Core.Compiler ./compiler/abstractinterpretation.jl:2296
│││││││││││││││││││││││││ no matching method found `abstract_eval_cfunction(::Core.Compiler.NativeInterpreter, ::Expr, ::Nothing, ::Core.Compiler.IRCode)`: Core.Compiler.abstract_eval_cfunction(interp::Core.Compiler.NativeInterpreter, e::Expr, vtypes::Nothing, sv::Core.Compiler.IRCode)
││││││││││││││││││││││││└────────────────────
││││││││││││││││││││││││┌ abstract_eval_statement_expr(interp::Core.Compiler.NativeInterpreter, e::Expr, vtypes::Nothing, sv::Core.Compiler.IRCode, mi::Core.MethodInstance) @ Core.Compiler ./compiler/abstractinterpretation.jl:2314
│││││││││││││││││││││││││ no matching method found `getindex(::Nothing, ::Int64)`: vtyp = (vtypes::Nothing)[Core.Compiler.slot_id(sym::Core.SlotNumber)::Int64]
││││││││││││││││││││││││└────────────────────
││││││││││││││││││││││││┌ abstract_eval_statement_expr(interp::Core.Compiler.NativeInterpreter, e::Expr, vtypes::Nothing, sv::Core.Compiler.IRCode, mi::Core.MethodInstance) @ Core.Compiler ./compiler/abstractinterpretation.jl:2321
│││││││││││││││││││││││││ type IRCode has no field mod: (sv::Core.Compiler.IRCode).mod
││││││││││││││││││││││││└────────────────────
││││││┌ _typeinf(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState) @ Core.Compiler ./compiler/typeinfer.jl:273
│││││││┌ optimize(interp::Core.Compiler.NativeInterpreter, opt::Core.Compiler.OptimizationState{Core.Compiler.NativeInterpreter}, params::Core.Compiler.OptimizationParams, caller::Core.Compiler.InferenceResult) @ Core.Compiler ./compiler/optimize.jl:503
││││││││┌ run_passes(ci::Core.CodeInfo, sv::Core.Compiler.OptimizationState{Core.Compiler.NativeInterpreter}, caller::Core.Compiler.InferenceResult) @ Core.Compiler ./compiler/optimize.jl:554
│││││││││┌ run_passes(ci::Core.CodeInfo, sv::Core.Compiler.OptimizationState{Core.Compiler.NativeInterpreter}, caller::Core.Compiler.InferenceResult, optimize_until::Nothing) @ Core.Compiler ./compiler/optimize.jl:539
││││││││││┌ ssa_inlining_pass!(ir::Core.Compiler.IRCode, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}, propagate_inbounds::Bool) @ Core.Compiler ./compiler/ssair/inlining.jl:79
│││││││││││┌ assemble_inline_todo!(ir::Core.Compiler.IRCode, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/inlining.jl:1634
││││││││││││┌ process_simple!(todo::Vector{Pair{Int64, Any}}, ir::Core.Compiler.IRCode, idx::Int64, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/inlining.jl:1270
│││││││││││││┌ inline_apply!(todo::Vector{Pair{Int64, Any}}, ir::Core.Compiler.IRCode, idx::Int64, stmt::Expr, sig::Core.Compiler.Signature, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/inlining.jl:1154
││││││││││││││┌ rewrite_apply_exprargs!(todo::Vector{Pair{Int64, Any}}, ir::Core.Compiler.IRCode, idx::Int64, stmt::Expr, argtypes::Vector{Any}, arginfos::Vector{Union{Nothing, Core.Compiler.AbstractIterationInfo}}, arg_start::Int64, istate::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/inlining.jl:779
│││││││││││││││┌ handle_call!(todo::Vector{Pair{Int64, Any}}, ir::Core.Compiler.IRCode, idx::Int64, stmt::Expr, info::Core.Compiler.CallInfo, flag::UInt8, sig::Core.Compiler.Signature, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/inlining.jl:1443
││││││││││││││││┌ compute_inlining_cases(info::Core.Compiler.CallInfo, flag::UInt8, sig::Core.Compiler.Signature, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/inlining.jl:1429
│││││││││││││││││┌ kwcall(::NamedTuple{(:allow_abstract, :allow_typevars), Tuple{Bool, Bool}}, ::typeof(Core.Compiler.handle_any_const_result!), cases::Vector{Core.Compiler.InliningCase}, result::Any, match::Core.MethodMatch, argtypes::Vector{Any}, info::Core.Compiler.CallInfo, flag::UInt8, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/inlining.jl:1304
││││││││││││││││││┌ handle_any_const_result!(cases::Vector{Core.Compiler.InliningCase}, result::Any, match::Core.MethodMatch, argtypes::Vector{Any}, info::Core.Compiler.CallInfo, flag::UInt8, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}; allow_abstract::Bool, allow_typevars::Bool) @ Core.Compiler ./compiler/ssair/inlining.jl:1319
│││││││││││││││││││┌ kwcall(::NamedTuple{(:allow_abstract, :allow_typevars), Tuple{Bool, Bool}}, ::typeof(Core.Compiler.handle_const_prop_result!), cases::Vector{Core.Compiler.InliningCase}, result::Core.Compiler.ConstPropResult, argtypes::Vector{Any}, info::Core.Compiler.CallInfo, flag::UInt8, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/inlining.jl:1466
││││││││││││││││││││┌ handle_const_prop_result!(cases::Vector{Core.Compiler.InliningCase}, result::Core.Compiler.ConstPropResult, argtypes::Vector{Any}, info::Core.Compiler.CallInfo, flag::UInt8, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}; allow_abstract::Bool, allow_typevars::Bool) @ Core.Compiler ./compiler/ssair/inlining.jl:1474
│││││││││││││││││││││ no matching method found `can_inline_typevars(::Module, ::Vector{Any})` (1/2 union split): @_14 = Core.Compiler.can_inline_typevars((mi::Core.MethodInstance).def::Union{Method, Module}, argtypes::Vector{Any})
││││││││││││││││││││└────────────────────
││││││││││┌ ssa_inlining_pass!(ir::Core.Compiler.IRCode, state::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}, propagate_inbounds::Bool) @ Core.Compiler ./compiler/ssair/inlining.jl:82
│││││││││││┌ batch_inline!(ir::Core.Compiler.IRCode, todo::Vector{Pair{Int64, Any}}, propagate_inbounds::Bool, params::Core.Compiler.OptimizationParams) @ Core.Compiler ./compiler/ssair/inlining.jl:692
││││││││││││┌ ir_inline_item!(compact::Core.Compiler.IncrementalCompact, idx::Int64, argexprs::Vector{Any}, linetable::Vector{Core.LineInfoNode}, item::Core.Compiler.InliningTodo, boundscheck::Symbol, todo_bbs::Vector{Tuple{Int64, Int64}}) @ Core.Compiler ./compiler/ssair/inlining.jl:402
│││││││││││││┌ ssa_substitute!(insert_node!::Core.Compiler.InsertBefore{Core.Compiler.IncrementalCompact}, subst_inst::Core.Compiler.Instruction, val::Any, arg_replacements::Vector{Any}, spsig::Type, spvals::Core.SimpleVector, spvals_ssa::Nothing, linetable_offset::Int32, boundscheck::Symbol) @ Core.Compiler ./compiler/ssair/inlining.jl:1794
││││││││││││││┌ ssa_substitute_op!(insert_node!::Core.Compiler.InsertBefore{Core.Compiler.IncrementalCompact}, subst_inst::Core.Compiler.Instruction, val::Any, arg_replacements::Vector{Any}, spsig::Type, spvals::Core.SimpleVector, spvals_ssa::Nothing, boundscheck::Symbol) @ Core.Compiler ./compiler/ssair/inlining.jl:1830
│││││││││││││││ invalid builtin function call: typeassert(spvals_ssa::Nothing, Core.Compiler.SSAValue)
││││││││││││││└────────────────────
││││││││││││││┌ ssa_substitute_op!(insert_node!::Core.Compiler.InsertBefore{Core.Compiler.IncrementalCompact}, subst_inst::Core.Compiler.Instruction, val::Any, arg_replacements::Vector{Any}, spsig::Type, spvals::Core.SimpleVector, spvals_ssa::Nothing, boundscheck::Symbol) @ Core.Compiler ./compiler/ssair/inlining.jl:1843
│││││││││││││││ invalid builtin function call: typeassert(spvals_ssa::Nothing, Core.Compiler.SSAValue)
││││││││││││││└────────────────────
││││││││││┌ sroa_pass!(ir::Core.Compiler.IRCode, inlining::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/passes.jl:939
│││││││││││┌ lift_comparison!(::typeof(===), compact::Core.Compiler.IncrementalCompact, idx::Int64, stmt::Expr, lifting_cache::Core.Compiler.IdDict{Pair{Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}, Any}, Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}}, opt_lattice::Core.Compiler.OptimizerLattice{Core.Compiler.ConditionalsLattice{Core.Compiler.PartialsLattice{Core.Compiler.ConstsLattice}}}) @ Core.Compiler ./compiler/ssair/passes.jl:529
││││││││││││┌ lift_comparison_leaves!(tfunc::typeof(Core.Compiler.egal_tfunc), compact::Core.Compiler.IncrementalCompact, val::Any, cmp::Core.Const, lifting_cache::Core.Compiler.IdDict{Pair{Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}, Any}, Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}}, idx::Int64) @ Core.Compiler ./compiler/ssair/passes.jl:581
│││││││││││││┌ perform_lifting!(compact::Core.Compiler.IncrementalCompact, visited_phinodes::Vector{Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}}, cache_key::Core.Const, lifting_cache::Core.Compiler.IdDict{Pair{Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}, Any}, Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}}, result_t::Type{Bool}, lifted_leaves::Core.Compiler.IdDict{Any, Union{Nothing, Core.Compiler.LiftedValue}}, stmt_val::Any, lazydomtree::Nothing) @ Core.Compiler ./compiler/ssair/passes.jl:684
││││││││││││││ no matching method found `already_inserted(::Core.Compiler.IncrementalCompact, ::Core.Compiler.NewSSAValue)`, `already_inserted(::Core.Compiler.IncrementalCompact, ::Core.SSAValue)` (2/3 union split): @_48 = Core.Compiler.already_inserted(compact::Core.Compiler.IncrementalCompact, (lf::Core.Compiler.LiftedPhi).ssa::Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue})
│││││││││││││└────────────────────
│││││││││││││┌ perform_lifting!(compact::Core.Compiler.IncrementalCompact, visited_phinodes::Vector{Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}}, cache_key::Core.Const, lifting_cache::Core.Compiler.IdDict{Pair{Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}, Any}, Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}}, result_t::Type{Bool}, lifted_leaves::Core.Compiler.IdDict{Any, Union{Nothing, Core.Compiler.LiftedValue}}, stmt_val::Any, lazydomtree::Nothing) @ Core.Compiler ./compiler/ssair/passes.jl:684
││││││││││││││ no matching method found `already_inserted(::Core.Compiler.IncrementalCompact, ::Core.Compiler.NewSSAValue)`, `already_inserted(::Core.Compiler.IncrementalCompact, ::Core.SSAValue)` (2/3 union split): @_48 = Core.Compiler.already_inserted(compact::Core.Compiler.IncrementalCompact, (lf::Core.Compiler.LiftedPhi).ssa::Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue})::Bool
│││││││││││││└────────────────────
││││││││││┌ sroa_pass!(ir::Core.Compiler.IRCode, inlining::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/passes.jl:1022
│││││││││││┌ perform_lifting!(compact::Core.Compiler.IncrementalCompact, visited_phinodes::Vector{Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}}, cache_key::Int64, lifting_cache::Core.Compiler.IdDict{Pair{Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}, Any}, Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}}, result_t::Any, lifted_leaves::Core.Compiler.IdDict{Any, Union{Nothing, Core.Compiler.LiftedValue}}, stmt_val::Any, lazydomtree::Core.Compiler.LazyGenericDomtree{false}) @ Core.Compiler ./compiler/ssair/passes.jl:648
││││││││││││┌ dominates_ssa(compact::Core.Compiler.IncrementalCompact, domtree::Core.Compiler.GenericDomTree{false}, x::Union{Core.Compiler.NewSSAValue, Core.Compiler.OldSSAValue, Core.SSAValue}, y::Core.Compiler.OldSSAValue) @ Core.Compiler ./compiler/ssair/ir.jl:766
│││││││││││││ invalid builtin function call: typeassert(yinfo::Nothing, Core.Compiler.NewNodeInfo)
││││││││││││└────────────────────
││││││││││┌ sroa_pass!(ir::Core.Compiler.IRCode, inlining::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/passes.jl:1047
│││││││││││┌ sroa_mutables!(ir::Core.Compiler.IRCode, defuses::Core.Compiler.IdDict{Int64, Tuple{Core.Compiler.IdSet{Int64}, Core.Compiler.SSADefUse}}, used_ssas::Vector{Int64}, lazydomtree::Core.Compiler.LazyGenericDomtree{false}, inlining::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}) @ Core.Compiler ./compiler/ssair/passes.jl:1280
││││││││││││┌ try_resolve_finalizer!(ir::Core.Compiler.IRCode, idx::Int64, finalizer_idx::Int64, defuse::Core.Compiler.SSADefUse, inlining::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}, lazydomtree::Core.Compiler.LazyGenericDomtree{false}, lazypostdomtree::Core.Compiler.LazyGenericDomtree{true}, info::Core.Compiler.CallInfo) @ Core.Compiler ./compiler/ssair/passes.jl:1232
│││││││││││││┌ try_inline_finalizer!(ir::Core.Compiler.IRCode, argexprs::Vector{Any}, idx::Int64, mi::Core.MethodInstance, info::Core.Compiler.CallInfo, inlining::Core.Compiler.InliningState{Core.Compiler.NativeInterpreter}, attach_after::Bool) @ Core.Compiler ./compiler/ssair/passes.jl:1085
││││││││││││││ no matching method found `ir_prepare_inlining!(::Core.Compiler.InsertBefore{Core.Compiler.IRCode}, ::Core.Compiler.IRCode, ::Vector{Core.LineInfoNode}, ::Core.Compiler.IRCode, ::Core.SimpleVector, ::Module, ::Int32, ::Vector{Any})` (1/2 union split): Core.Compiler.ir_prepare_inlining!(Core.Compiler.InsertBefore(ir::Core.Compiler.IRCode, Core.Compiler.SSAValue(idx::Int64)::Core.SSAValue)::Core.Compiler.InsertBefore{Core.Compiler.IRCode}, ir::Core.Compiler.IRCode, (ir::Core.Compiler.IRCode).linetable::Vector{Core.LineInfoNode}, src::Core.Compiler.IRCode, (mi::Core.MethodInstance).sparam_vals::Core.SimpleVector, (mi::Core.MethodInstance).def::Union{Method, Module}, inlined_at, argexprs::Vector{Any})
│││││││││││││└────────────────────
││││││││││┌ type_lift_pass!(ir::Core.Compiler.IRCode) @ Core.Compiler ./compiler/ssair/passes.jl:1802
│││││││││││ no matching method found `getindex(::Core.Compiler.IRCode, ::Bool)` (1/2 union split): (ir::Core.Compiler.IRCode)[new_phi::Union{Bool, Core.SSAValue}]
││││││││││└────────────────────
││││││││││┌ type_lift_pass!(ir::Core.Compiler.IRCode) @ Core.Compiler ./compiler/ssair/passes.jl:1802
│││││││││││ no matching method found `getindex(::Core.Compiler.IRCode, ::Bool)` (1/2 union split): (ir::Core.Compiler.IRCode)[new_phi::Union{Bool, Core.SSAValue}]::Core.Compiler.Instruction
││││││││││└────────────────────
┌ (::MathOptInterface.Test.var"#240#241")(::Any) @ MathOptInterface.Test ./none:0
│┌ add_constrained_variable(b::MathOptInterface.Bridges.AbstractBridgeOptimizer, set::MathOptInterface.Integer) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1980
││┌ add_key_for_bridge(map::MathOptInterface.Bridges.Variable.Map, bridge_fun::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.Integer} where _A, set::MathOptInterface.Integer) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:321
│││┌ call_in_context(map::MathOptInterface.Bridges.Variable.Map, bridge_index::Int64, f::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.Integer} where _A) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:473
││││┌ (::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.Integer} where _A)() @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1982
│││││┌ bridge_constrained_variable(BT::Type{<:MathOptInterface.Bridges.Variable.SetMapBridge{T, S1, S2}}, model::MathOptInterface.ModelLike, set::MathOptInterface.Integer) where {T, S1, S2} @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/set_map.jl:49
││││││┌ inverse_map_set(::Type{Union{}}, set::MathOptInterface.Integer) @ MathOptInterface.Bridges.Constraint /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/bridges/set_dot_scaling.jl:162
│││││││ no matching method found `MathOptInterface.Scaled(::MathOptInterface.Integer)`: MathOptInterface.Scaled(set::MathOptInterface.Integer)
││││││└────────────────────
┌ test_cpsat_ReifiedAllDifferent(model::MathOptInterface.ModelLike, config::MathOptInterface.Test.Config{T}) where T @ MathOptInterface.Test /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_cpsat.jl:67
│┌ add_constrained_variable(b::MathOptInterface.Bridges.AbstractBridgeOptimizer, set::MathOptInterface.ZeroOne) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1980
││┌ add_key_for_bridge(map::MathOptInterface.Bridges.Variable.Map, bridge_fun::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.ZeroOne} where _A, set::MathOptInterface.ZeroOne) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:321
│││┌ call_in_context(map::MathOptInterface.Bridges.Variable.Map, bridge_index::Int64, f::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.ZeroOne} where _A) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:473
││││┌ (::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.ZeroOne} where _A)() @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1982
│││││┌ bridge_constrained_variable(BT::Type{<:MathOptInterface.Bridges.Variable.SetMapBridge{T, S1, S2}}, model::MathOptInterface.ModelLike, set::MathOptInterface.ZeroOne) where {T, S1, S2} @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/set_map.jl:49
││││││┌ inverse_map_set(::Type{Union{}}, set::MathOptInterface.ZeroOne) @ MathOptInterface.Bridges.Constraint /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/bridges/set_dot_scaling.jl:162
│││││││ no matching method found `MathOptInterface.Scaled(::MathOptInterface.ZeroOne)`: MathOptInterface.Scaled(set::MathOptInterface.ZeroOne)
││││││└────────────────────
┌ test_model_LowerBoundAlreadySet(model::MathOptInterface.ModelLike, config::MathOptInterface.Test.Config{T}) where T @ MathOptInterface.Test /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_model.jl:810
│┌ do_test_throws(result::Test.Threw, orig_expr::Expr, extype::MathOptInterface.LowerBoundAlreadySet) @ Test /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07RJYVY.0/build/default-grannysmith-C07ZQ07RJYVY-0/julialang/julia-release-1-dot-9/usr/share/julia/stdlib/v1.9/Test/src/Test.jl:777
││ no matching method found `contains_warn(::String, ::MathOptInterface.LowerBoundAlreadySet)`: success = Test.contains_warn(exc::Exception, extype::MathOptInterface.LowerBoundAlreadySet)
│└────────────────────
┌ test_model_UpperBoundAlreadySet(model::MathOptInterface.ModelLike, config::MathOptInterface.Test.Config{T}) where T @ MathOptInterface.Test /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_model.jl:844
│┌ do_test_throws(result::Test.Threw, orig_expr::Expr, extype::MathOptInterface.UpperBoundAlreadySet) @ Test /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07RJYVY.0/build/default-grannysmith-C07ZQ07RJYVY-0/julialang/julia-release-1-dot-9/usr/share/julia/stdlib/v1.9/Test/src/Test.jl:777
││ no matching method found `contains_warn(::String, ::MathOptInterface.UpperBoundAlreadySet)`: success = Test.contains_warn(exc::Exception, extype::MathOptInterface.UpperBoundAlreadySet)
│└────────────────────
┌ compare_against_baseline(suite::BenchmarkTools.BenchmarkGroup, name::String; directory::String, report_filename::String, kwargs::Base.Pairs{Symbol, V, Tuple{Vararg{Symbol, N}}, NamedTuple{names, T}} where {V, N, names, T<:Tuple{Vararg{Any, N}}}) @ MathOptInterface.Benchmarks /Users/oscar/.julia/dev/MathOptInterface/src/Benchmarks/Benchmarks.jl:110
│┌ load(::String) @ BenchmarkTools /Users/oscar/.julia/packages/BenchmarkTools/0owsb/src/serialization.jl:109
││┌ open(::BenchmarkTools.var"#71#72"{Tuple{}}, ::String, ::String) @ Base ./io.jl:392
│││┌ open(::BenchmarkTools.var"#71#72"{Tuple{}}, ::String, ::String; kwargs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}}) @ Base ./io.jl:395
││││┌ (::BenchmarkTools.var"#71#72"{Tuple{}})(f::IOStream) @ BenchmarkTools /Users/oscar/.julia/packages/BenchmarkTools/0owsb/src/serialization.jl:110
│││││┌ load(::IOStream) @ BenchmarkTools /Users/oscar/.julia/packages/BenchmarkTools/0owsb/src/serialization.jl:119
││││││┌ parse(io::IOStream) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:474
│││││││┌ parse(io::IOStream; dicttype::Type{Dict{String, Any}}, inttype::Type{Int64}, allownan::Bool, null::Nothing) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:481
││││││││┌ parse_value(pc::JSON.Parser.ParserContext{Dict{String, Any}, Int64, true, nothing}, ps::JSON.Parser.StreamingParserState{IOStream}) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:164
│││││││││┌ parse_number(pc::JSON.Parser.ParserContext{Dict{String, Any}, Int64, true, nothing}, ps::JSON.Parser.StreamingParserState{IOStream}) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:397
││││││││││ no matching method found `-(::Nothing)` (1/3 union split): JSON.Parser.:-(infinity::Union{Nothing, Bool, Float64})
│││││││││└────────────────────
│││││││││┌ parse_number(pc::JSON.Parser.ParserContext{Dict{String, Any}, Int64, true, nothing}, ps::JSON.Parser.StreamingParserState{IOStream}) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:397
││││││││││ no matching method found `-(::Nothing)` (1/3 union split): JSON.Parser.:-(infinity::Union{Nothing, Bool, Float64})::Union{Float64, Int64}
│││││││││└────────────────────

[blegat]

Since it's making the code more compiler friendly, is it decreasing the TTFX as well ?

[odow]

Since it's making the code more compiler friendly

So have to be a little careful here. It's making the code more friendly to a static compiler that looks at method signatures. That's not the same as fixing runtime type stability and it doesn't change TTFX.

To take this case from #2277

function bridge(b::AbstractBridgeOptimizer, vi::MOI.VariableIndex)
    return Variable.bridges(b)[vi]
end

which we rewrote to

function bridge(b::AbstractBridgeOptimizer, vi::MOI.VariableIndex)
    map = Variable.bridges(b)::Variable.Map
    return map[vi]
end

The first case as we call it is type stable because for a concrete b the compiler can prove the return type of bridges(b).

But...it's a potential method error because if we called bridge(b, vi) with a Variable.SingleBridgeOptimizer then the return would be EmptyMap and it would fail. Adding the annotation yields a better error message than the "no getindex."

[odow]

Most of the benefit that comes from fixing these "false positives" is to reduce the noise so we can more easily see actual errors like jump-dev/JuMP.jl#3518. It's hard to find them if there 200+ errors.

[blegat]

Indeed, good point. These annotations might make the inference a bit easier though so reducing compile time a little bit

[odow]

If we ignore the return type issue, we're down to

julia> JET.report_package("MathOptInterface"; ignored_modules=(Core.Compiler,))
...
═════ 21 possible errors found ═════
┌ dimension(s::MathOptInterface.AbstractVectorSet) @ MathOptInterface /Users/oscar/.julia/dev/MathOptInterface/src/sets.jl:148
│┌ getproperty(set::MathOptInterface.Scaled{MathOptInterface.PositiveSemidefiniteConeTriangle}, f::Symbol) @ MathOptInterface /Users/oscar/.julia/dev/MathOptInterface/src/sets.jl:1820
││ type Scaled has no field dimension: MathOptInterface.getfield(set::MathOptInterface.Scaled{MathOptInterface.PositiveSemidefiniteConeTriangle}, f::Symbol)
│└────────────────────
┌ MathOptInterface.Utilities.IndexMap(var_map::Any, con_map::Any) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy/index_map.jl:16
│┌ convert(::Type{MathOptInterface.Utilities.CleverDicts.CleverDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, typeof(MathOptInterface.Utilities.CleverDicts.key_to_index), typeof(MathOptInterface.Utilities.CleverDicts.index_to_key)}}, src::AbstractDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ MathOptInterface.Utilities.CleverDicts /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/CleverDicts.jl:337
││┌ keys(ba::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/container_loops.jl:233
│││┌ DataStructures.SDMKeyIteration(base::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/container_loops.jl:114
││││┌ (::Type{DataStructures.SDMKeyIteration{T}} where T<:Union{DataStructures.SDMExcludeLast, DataStructures.SDMIncludeLast, DataStructures.SortedDict, DataStructures.SortedMultiDict})(base::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/container_loops.jl:114
│││││┌ convert(::Type{T}, x::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) where T<:DataStructures.SortedDict @ Base ./abstractdict.jl:568
││││││┌ (DataStructures.SortedDict{K, D})(kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) where {K, D} @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:119
│││││││┌ (::Type{DataStructures.SortedDict{_A, _B}} where {_A, _B})(o::Base.Order.ForwardOrdering, kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:124
││││││││┌ not_iterator_of_pairs(kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/dict_support.jl:6
│││││││││┌ any(f::DataStructures.var"#61#63", a::Vector{typeof(iterate)}) @ Base ./reducedim.jl:1004
││││││││││┌ any(f::DataStructures.var"#61#63", a::Vector{typeof(iterate)}; dims::Colon) @ Base ./reducedim.jl:1004
│││││││││││┌ _any(f::DataStructures.var"#61#63", itr::Vector{typeof(iterate)}, ::Colon) @ Base ./reduce.jl:1215
││││││││││││┌ (::DataStructures.var"#61#63")(x::typeof(iterate)) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/dict_support.jl:6
│││││││││││││┌ methodswith(t::DataType, f::typeof(iterate), meths::Bool) @ InteractiveUtils /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07RJYVY.0/build/default-grannysmith-C07ZQ07RJYVY-0/julialang/julia-release-1-dot-9/usr/share/julia/stdlib/v1.9/InteractiveUtils/src/InteractiveUtils.jl:203
││││││││││││││┌ methodswith(t::DataType, f::typeof(iterate), meths::Bool; supertypes::Bool) @ InteractiveUtils /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07RJYVY.0/build/default-grannysmith-C07ZQ07RJYVY-0/julialang/julia-release-1-dot-9/usr/share/julia/stdlib/v1.9/InteractiveUtils/src/InteractiveUtils.jl:214
│││││││││││││││ no matching method found `push!(::Bool, ::Method)`: InteractiveUtils.push!(meths::Bool, d::Method)
││││││││││││││└────────────────────
││││││┌ DataStructures.SortedDict(kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:157
│││││││┌ DataStructures.SortedDict(kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}, o::Base.Order.ForwardOrdering) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:157
││││││││┌ DataStructures.SortedDict(o::Base.Order.ForwardOrdering, d::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:104
│││││││││┌ DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, Base.Order.ForwardOrdering}(o::Base.Order.ForwardOrdering, kv::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex}) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:24
││││││││││┌ setindex!(m::DataStructures.SortedDict{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, Base.Order.ForwardOrdering}, d_::MathOptInterface.VariableIndex, k_::MathOptInterface.VariableIndex) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/sorted_dict.jl:212
│││││││││││┌ insert!(t::DataStructures.BalancedTree23{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, Base.Order.ForwardOrdering}, k::MathOptInterface.VariableIndex, d::MathOptInterface.VariableIndex, allowdups::Bool) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/balanced_tree.jl:361
││││││││││││┌ findkey(t::DataStructures.BalancedTree23{MathOptInterface.VariableIndex, MathOptInterface.VariableIndex, Base.Order.ForwardOrdering}, k::MathOptInterface.VariableIndex) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/balanced_tree.jl:272
│││││││││││││┌ cmp2_nonleaf(o::Base.Order.ForwardOrdering, treenode::DataStructures.TreeNode{MathOptInterface.VariableIndex}, k::MathOptInterface.VariableIndex) @ DataStructures /Users/oscar/.julia/packages/DataStructures/MKv4P/src/balanced_tree.jl:157
││││││││││││││┌ lt(o::Base.Order.ForwardOrdering, a::MathOptInterface.VariableIndex, b::MathOptInterface.VariableIndex) @ Base.Order ./ordering.jl:117
│││││││││││││││ no matching method found `isless(::MathOptInterface.VariableIndex, ::MathOptInterface.VariableIndex)`: Base.Order.isless(a::MathOptInterface.VariableIndex, b::MathOptInterface.VariableIndex)
││││││││││││││└────────────────────
┌ _try_constrain_variables_on_creation(dest::MathOptInterface.ModelLike, src::MathOptInterface.ModelLike, index_map::MathOptInterface.Utilities.IndexMap, ::Type{S}) where S<:MathOptInterface.AbstractVectorSet @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy.jl:196
│┌ iterate(z::Base.Iterators.Zip, ss::Int64) @ Base.Iterators ./iterators.jl:407
││┌ _zip_iterate_all(is::Tuple, ss::Tuple{Int64}) @ Base.Iterators ./iterators.jl:414
│││┌ _zip_isdone(is::Tuple, ss::Tuple{Int64}) @ Base.Iterators ./iterators.jl:446
││││┌ _zip_isdone(is::Tuple, ss::Tuple{}) @ Base.Iterators ./iterators.jl:445
│││││┌ getindex(t::Tuple{}, i::Int64) @ Base ./tuple.jl:29
││││││ BoundsError: attempt to access Tuple{} at index [1]: Base.getfield(t::Tuple{}, i::Int64, $(Expr(:boundscheck)))
│││││└────────────────────
┌ sorted_variable_sets_by_cost(dest::MathOptInterface.ModelLike, src::MathOptInterface.ModelLike) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy.jl:457
│┌ collect(::Type{Type}, itr::Base.Generator{_A, MathOptInterface.Utilities.var"#56#59"} where _A) @ Base ./array.jl:642
││┌ _collect(::Type{Type}, itr::Base.Generator{_A, MathOptInterface.Utilities.var"#56#59"} where _A, isz::Union{Base.HasLength, Base.HasShape}) @ Base ./array.jl:644
│││┌ _array_for(::Type{Type}, itr::Base.HasLength, isz::Any) @ Base ./array.jl:674
││││┌ _similar_shape(itr::Base.HasLength, ::Base.HasShape) @ Base ./array.jl:659
│││││┌ axes(A::Base.HasLength) @ Base ./abstractarray.jl:98
││││││ no matching method found `size(::Base.HasLength)`: size(A::Base.HasLength)
│││││└────────────────────
││││┌ _similar_shape(itr::Base.HasLength, ::Base.HasLength) @ Base ./array.jl:658
│││││ no matching method found `length(::Base.HasLength)`: length(itr::Base.HasLength)
││││└────────────────────
┌ modify(o::MathOptInterface.Utilities.ObjectiveContainer{T}, ::MathOptInterface.ObjectiveFunction, change::MathOptInterface.AbstractFunctionModification) where T @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/objective_container.jl:277
│ no matching method found `modify_function!(::MathOptInterface.VariableIndex, ::MathOptInterface.AbstractFunctionModification)`: MathOptInterface.Utilities.modify_function!(MathOptInterface.Utilities.something((o::MathOptInterface.Utilities.ObjectiveContainer).single_variable::Union{Nothing, MathOptInterface.VariableIndex})::MathOptInterface.VariableIndex, change::MathOptInterface.AbstractFunctionModification)
└────────────────────
┌ modify(o::MathOptInterface.Utilities.ObjectiveContainer{T}, ::MathOptInterface.ObjectiveFunction, change::MathOptInterface.AbstractFunctionModification) where T @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/objective_container.jl:293
│ no matching method found `modify_function!(::MathOptInterface.VectorOfVariables, ::MathOptInterface.AbstractFunctionModification)`: MathOptInterface.Utilities.modify_function!(MathOptInterface.Utilities.something((o::MathOptInterface.Utilities.ObjectiveContainer).vector_variables::Union{Nothing, MathOptInterface.VectorOfVariables})::MathOptInterface.VectorOfVariables, change::MathOptInterface.AbstractFunctionModification)
└────────────────────
┌ struct_of_constraint_code(struct_name::Any, types::Any) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/struct_of_constraints.jl:282
│┌ struct_of_constraint_code(struct_name::Any, types::Any, field_types::Nothing) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/struct_of_constraints.jl:377
││┌ collect(itr::Base.Generator{_A, MathOptInterface.Utilities.var"#136#139"} where _A) @ Base ./array.jl:792
│││┌ collect_to_with_first!(dest::Any, v1::Symbol, itr::Base.Generator{_A, MathOptInterface.Utilities.var"#136#139"} where _A, st::Any) @ Base ./array.jl:823
││││┌ grow_to!(dest::AbstractDict{K, V}, itr::Base.Generator{_A, MathOptInterface.Utilities.var"#136#139"} where _A, st::Any) where {K, V} @ Base ./dict.jl:133
│││││┌ indexed_iterate(I::Symbol, i::Int64) @ Base ./tuple.jl:91
││││││ no matching method found `iterate(::Symbol)`: x = iterate(I::Symbol)
│││││└────────────────────
┌ get(sets::MathOptInterface.Utilities.MixOfScalarSets{T}, ::MathOptInterface.ListOfConstraintTypesPresent) where T @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:100
│ no matching method found `set_types(::MathOptInterface.Utilities.MixOfScalarSets)`: MathOptInterface.Utilities.set_types(sets::MathOptInterface.Utilities.MixOfScalarSets)
└────────────────────
┌ rows(sets::MathOptInterface.Utilities.OrderedProductOfSets{T}, ci::MathOptInterface.ConstraintIndex{MathOptInterface.ScalarAffineFunction{T}, S}) where {T, S<:MathOptInterface.AbstractSet} @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:222
│ invalid builtin function call: i = typeassert(MathOptInterface.Utilities.set_index(sets::MathOptInterface.Utilities.OrderedProductOfSets, S::Type{S} where S<:MathOptInterface.AbstractSet)::Nothing, MathOptInterface.Utilities.Int)
└────────────────────
┌ rows(sets::MathOptInterface.Utilities.OrderedProductOfSets{T}, ci::MathOptInterface.ConstraintIndex{MathOptInterface.VectorAffineFunction{T}, S}) where {T, S} @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:231
│ invalid builtin function call: i = typeassert(MathOptInterface.Utilities.set_index(sets::MathOptInterface.Utilities.OrderedProductOfSets, S::Any)::Nothing, MathOptInterface.Utilities.Int)
└────────────────────
┌ num_rows(sets::MathOptInterface.Utilities.OrderedProductOfSets, ::Type{S}) where S @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:266
│ invalid builtin function call: i = typeassert(MathOptInterface.Utilities.set_index(sets::MathOptInterface.Utilities.OrderedProductOfSets, S::Type)::Nothing, MathOptInterface.Utilities.Int)
└────────────────────
┌ get(sets::MathOptInterface.Utilities.OrderedProductOfSets{T}, ::MathOptInterface.ListOfConstraintTypesPresent) where T @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl:277
│ no matching method found `set_types(::MathOptInterface.Utilities.OrderedProductOfSets)`: MathOptInterface.Utilities.set_types(sets::MathOptInterface.Utilities.OrderedProductOfSets)
└────────────────────
┌ empty!(v::MathOptInterface.Utilities.MatrixOfConstraints) @ MathOptInterface.Utilities /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/matrix_of_constraints.jl:278
│ no matching method found `set_types(::Any)`: MathOptInterface.Utilities.set_types((v::MathOptInterface.Utilities.MatrixOfConstraints).sets::Any)
└────────────────────
┌ (::MathOptInterface.Test.var"#240#241")(::Any) @ MathOptInterface.Test ./none:0
│┌ add_constrained_variable(b::MathOptInterface.Bridges.AbstractBridgeOptimizer, set::MathOptInterface.Integer) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1975
││┌ add_key_for_bridge(map::MathOptInterface.Bridges.Variable.Map, bridge_fun::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.Integer} where _A, set::MathOptInterface.Integer) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:321
│││┌ call_in_context(map::MathOptInterface.Bridges.Variable.Map, bridge_index::Int64, f::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.Integer} where _A) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:473
││││┌ (::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.Integer} where _A)() @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1977
│││││┌ bridge_constrained_variable(BT::Type{<:MathOptInterface.Bridges.Variable.SetMapBridge{T, S1, S2}}, model::MathOptInterface.ModelLike, set::MathOptInterface.Integer) where {T, S1, S2} @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/set_map.jl:49
││││││┌ inverse_map_set(::Type{Union{}}, set::MathOptInterface.Integer) @ MathOptInterface.Bridges.Constraint /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/bridges/set_dot_scaling.jl:162
│││││││ no matching method found `MathOptInterface.Scaled(::MathOptInterface.Integer)`: MathOptInterface.Scaled(set::MathOptInterface.Integer)
││││││└────────────────────
┌ test_cpsat_ReifiedAllDifferent(model::MathOptInterface.ModelLike, config::MathOptInterface.Test.Config{T}) where T @ MathOptInterface.Test /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_cpsat.jl:67
│┌ add_constrained_variable(b::MathOptInterface.Bridges.AbstractBridgeOptimizer, set::MathOptInterface.ZeroOne) @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1975
││┌ add_key_for_bridge(map::MathOptInterface.Bridges.Variable.Map, bridge_fun::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.ZeroOne} where _A, set::MathOptInterface.ZeroOne) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:321
│││┌ call_in_context(map::MathOptInterface.Bridges.Variable.Map, bridge_index::Int64, f::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.ZeroOne} where _A) @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl:473
││││┌ (::MathOptInterface.Bridges.var"#35#36"{_A, MathOptInterface.ZeroOne} where _A)() @ MathOptInterface.Bridges /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl:1977
│││││┌ bridge_constrained_variable(BT::Type{<:MathOptInterface.Bridges.Variable.SetMapBridge{T, S1, S2}}, model::MathOptInterface.ModelLike, set::MathOptInterface.ZeroOne) where {T, S1, S2} @ MathOptInterface.Bridges.Variable /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/set_map.jl:49
││││││┌ inverse_map_set(::Type{Union{}}, set::MathOptInterface.ZeroOne) @ MathOptInterface.Bridges.Constraint /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/bridges/set_dot_scaling.jl:162
│││││││ no matching method found `MathOptInterface.Scaled(::MathOptInterface.ZeroOne)`: MathOptInterface.Scaled(set::MathOptInterface.ZeroOne)
││││││└────────────────────
┌ test_model_LowerBoundAlreadySet(model::MathOptInterface.ModelLike, config::MathOptInterface.Test.Config{T}) where T @ MathOptInterface.Test /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_model.jl:810
│┌ do_test_throws(result::Test.Threw, orig_expr::Expr, extype::MathOptInterface.LowerBoundAlreadySet) @ Test /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07RJYVY.0/build/default-grannysmith-C07ZQ07RJYVY-0/julialang/julia-release-1-dot-9/usr/share/julia/stdlib/v1.9/Test/src/Test.jl:777
││ no matching method found `contains_warn(::String, ::MathOptInterface.LowerBoundAlreadySet)`: success = Test.contains_warn(exc::Exception, extype::MathOptInterface.LowerBoundAlreadySet)
│└────────────────────
┌ test_model_UpperBoundAlreadySet(model::MathOptInterface.ModelLike, config::MathOptInterface.Test.Config{T}) where T @ MathOptInterface.Test /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_model.jl:844
│┌ do_test_throws(result::Test.Threw, orig_expr::Expr, extype::MathOptInterface.UpperBoundAlreadySet) @ Test /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07RJYVY.0/build/default-grannysmith-C07ZQ07RJYVY-0/julialang/julia-release-1-dot-9/usr/share/julia/stdlib/v1.9/Test/src/Test.jl:777
││ no matching method found `contains_warn(::String, ::MathOptInterface.UpperBoundAlreadySet)`: success = Test.contains_warn(exc::Exception, extype::MathOptInterface.UpperBoundAlreadySet)
│└────────────────────
┌ compare_against_baseline(suite::BenchmarkTools.BenchmarkGroup, name::String; directory::String, report_filename::String, kwargs::Base.Pairs{Symbol, V, Tuple{Vararg{Symbol, N}}, NamedTuple{names, T}} where {V, N, names, T<:Tuple{Vararg{Any, N}}}) @ MathOptInterface.Benchmarks /Users/oscar/.julia/dev/MathOptInterface/src/Benchmarks/Benchmarks.jl:110
│┌ load(::String) @ BenchmarkTools /Users/oscar/.julia/packages/BenchmarkTools/0owsb/src/serialization.jl:109
││┌ open(::BenchmarkTools.var"#71#72"{Tuple{}}, ::String, ::String) @ Base ./io.jl:392
│││┌ open(::BenchmarkTools.var"#71#72"{Tuple{}}, ::String, ::String; kwargs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}}) @ Base ./io.jl:395
││││┌ (::BenchmarkTools.var"#71#72"{Tuple{}})(f::IOStream) @ BenchmarkTools /Users/oscar/.julia/packages/BenchmarkTools/0owsb/src/serialization.jl:110
│││││┌ load(::IOStream) @ BenchmarkTools /Users/oscar/.julia/packages/BenchmarkTools/0owsb/src/serialization.jl:119
││││││┌ parse(io::IOStream) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:474
│││││││┌ parse(io::IOStream; dicttype::Type{Dict{String, Any}}, inttype::Type{Int64}, allownan::Bool, null::Nothing) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:481
││││││││┌ parse_value(pc::JSON.Parser.ParserContext{Dict{String, Any}, Int64, true, nothing}, ps::JSON.Parser.StreamingParserState{IOStream}) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:164
│││││││││┌ parse_number(pc::JSON.Parser.ParserContext{Dict{String, Any}, Int64, true, nothing}, ps::JSON.Parser.StreamingParserState{IOStream}) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:397
││││││││││ no matching method found `-(::Nothing)` (1/3 union split): JSON.Parser.:-(infinity::Union{Nothing, Bool, Float64})
│││││││││└────────────────────
│││││││││┌ parse_number(pc::JSON.Parser.ParserContext{Dict{String, Any}, Int64, true, nothing}, ps::JSON.Parser.StreamingParserState{IOStream}) @ JSON.Parser /Users/oscar/.julia/packages/JSON/93Ea8/src/Parser.jl:397
││││││││││ no matching method found `-(::Nothing)` (1/3 union split): JSON.Parser.:-(infinity::Union{Nothing, Bool, Float64})::Union{Float64, Int64}
│││││││││└────────────────────