Package evaluation to load SemidefiniteOptInterface on Julia 1.14.0-DEV.2593 (15c2b67521*) started at 2026-07-04T00:27:49.301 ################################################################################ # Set-up # Set-up completed after 0.23s ################################################################################ # Installation # Installing SemidefiniteOptInterface... Resolving package versions... Installed OrderedCollections ─────── v1.8.2 Installed Bzip2_jll ──────────────── v1.0.9+0 Installed DelimitedFiles ─────────── v1.9.1 Installed URIs ───────────────────── v1.6.1 Installed Compat ─────────────────── v2.2.1 Installed JSONSchema ─────────────── v0.3.4 Installed TranscodingStreams ─────── v0.9.13 Installed CodecZlib ──────────────── v0.7.8 Installed IniFile ────────────────── v0.5.1 Installed Parsers ────────────────── v2.8.6 Installed Statistics ─────────────── v1.11.1 Installed CodecBzip2 ─────────────── v0.7.2 Installed MbedTLS ────────────────── v1.1.10 Installed JSON ───────────────────── v0.21.4 Installed PrecompileTools ────────── v1.3.4 Installed HTTP ───────────────────── v0.9.17 Installed MutableArithmetics ─────── v0.2.22 Installed Preferences ────────────── v1.5.2 Installed BenchmarkTools ─────────── v1.5.0 Installed JLLWrappers ────────────── v1.8.0 Installed MbedTLS_jll ────────────── v2.28.1010+0 Installed SemidefiniteOptInterface ─ v0.5.1 Installed MathOptInterface ───────── v0.9.22 Installing 2 artifacts Installed artifact Bzip2 152.8 KiB Installed artifact MbedTLS 1.0 MiB Updating `~/.julia/environments/v1.14/Project.toml` [f0680fed] + SemidefiniteOptInterface v0.5.1 Updating `~/.julia/environments/v1.14/Manifest.toml` ⌃ [6e4b80f9] + BenchmarkTools v1.5.0 ⌅ [523fee87] + CodecBzip2 v0.7.2 [944b1d66] + CodecZlib v0.7.8 ⌅ [34da2185] + Compat v2.2.1 [8bb1440f] + DelimitedFiles v1.9.1 ⌅ [cd3eb016] + HTTP v0.9.17 [83e8ac13] + IniFile v0.5.1 [692b3bcd] + JLLWrappers v1.8.0 ⌅ [682c06a0] + JSON v0.21.4 ⌅ [7d188eb4] + JSONSchema v0.3.4 ⌅ [b8f27783] + MathOptInterface v0.9.22 [739be429] + MbedTLS v1.1.10 ⌅ [d8a4904e] + MutableArithmetics v0.2.22 ⌅ [bac558e1] + OrderedCollections v1.8.2 [69de0a69] + Parsers v2.8.6 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [f0680fed] + SemidefiniteOptInterface v0.5.1 [10745b16] + Statistics v1.11.1 ⌅ [3bb67fe8] + TranscodingStreams v0.9.13 [5c2747f8] + URIs v1.6.1 [6e34b625] + Bzip2_jll v1.0.9+0 [c8ffd9c3] + MbedTLS_jll v2.28.1010+0 [0dad84c5] + ArgTools v1.2.0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.5+2 [deac9b47] + LibCURL_jll v8.21.0+0 [e37daf67] + LibGit2_jll v1.9.4+0 [29816b5a] + LibSSH2_jll v1.11.101+0 [14a3606d] + MozillaCACerts_jll v2026.5.14 [4536629a] + OpenBLAS_jll v0.3.33+0 [458c3c95] + OpenSSL_jll v3.5.7+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.69.0+0 [3f19e933] + p7zip_jll v17.8.0+0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Installation completed after 12.3s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling project... 1.6 s ✓ Statistics 37.9 s ✓ URIs 152.7 s ✓ OrderedCollections 0.6 s ✓ IniFile 1.5 s ✓ DelimitedFiles 31.6 s ✓ Preferences 94.0 s ✓ TranscodingStreams WARNING: method definition for mutable_operate_to_fallback at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 declares type variable N but does not use it. WARNING: method definition for mutable_operate_fallback at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:505 declares type variable N but does not use it. WARNING: Constructor for type "Matrix" was extended in `MutableArithmetics` without explicit qualification or import.  NOTE: Assumed "Matrix" refers to `Base.Matrix`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function Matrix end`.  Hint: To silence the warning, qualify `Matrix` as `Base.Matrix` in the method signature or explicitly `import Base: Matrix`. WARNING: method definition for #kw_body#int_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. WARNING: method definition for #kw_body#scalar_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. WARNING: method definition for #kw_body#quadratic_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. WARNING: method definition for #kw_body#array_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. WARNING: method definition for #kw_body#sparse_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. 128.5 s ✓ MutableArithmetics 42.3 s ✓ Statistics → SparseArraysExt 32.5 s ✓ JLLWrappers 31.7 s ✓ PrecompileTools 38.0 s ✓ CodecZlib 205.7 s ✓ Compat 32.0 s ✓ Bzip2_jll 32.0 s ✓ MbedTLS_jll 69.4 s ✓ Parsers 76.7 s ✓ CodecBzip2 33.6 s ✓ MbedTLS 38.1 s ✓ JSON 101.2 s ✓ HTTP 40.1 s ✓ BenchmarkTools 427.1 s ✓ JSONSchema WARNING: method definition for promote_operation at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/mutable_arithmetics.jl:74 declares type variable N but does not use it. WARNING: method definition for promote_operation at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/mutable_arithmetics.jl:81 declares type variable N but does not use it. WARNING: method definition for #kw_body#normalize_and_add_constraint#0 at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/constraints.jl:13 declares type variable T but does not use it. WARNING: method definition for get at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/struct_of_constraints.jl:83 declares type variable T but does not use it. WARNING: method definition for set at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:415 declares type variable T but does not use it. WARNING: method definition for modify at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:462 declares type variable F but does not use it. WARNING: method definition for check_type_and_multiple_names at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:516 declares type variable T but does not use it. WARNING: method definition for check_type_and_multiple_names at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:527 declares type variable T but does not use it. ┌ Info: JuliaLowering threw given input: │ code = │ :(function matrix_to_vector_affine_terms(L::SparseMatrixCSC{T}, p::Vector, index_to_variable_map::Dict{Int, MOI.VariableIndex}) where T │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:143 =# │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:151 =# │ variable = map((i->begin │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:151 =# │ index_to_variable_map[p[i]] │ end), 1:size(L, 1)) │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 =# │ function term(i::Integer, j::Integer, v::T) │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 =# │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:153 =# │ return MOI.VectorAffineTerm(j, MOI.ScalarAffineTerm(v, variable[i])) │ end │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:155 =# │ return map((ijv->begin │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:155 =# │ term(ijv...) │ end), zip(findnz(L)...)) │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ [function] | │ [where] | │ [call] | │ matrix_to_vector_affine_terms :: Identifier | │ [::] | │ L :: Identifier | │ [curly] | │ SparseMatrixCSC :: Identifier | │ T :: Identifier | │ [::] | │ p :: Identifier | │ Vector :: Identifier | │ [::] | │ index_to_variable_map :: Identifier | │ [curly] | │ Dict :: Identifier | │ Int :: Identifier | │ [.] | │ MOI :: Identifier | │ [inert] | │ VariableIndex :: Identifier | │ T :: Identifier | │ [block] | │ [=] | │ variable :: Identifier | │ [call] | │ map :: Identifier | │ [->] | │ i :: Identifier | │ [block] | │ [ref] | │ index_to_variable_map :: Identifier | │ [ref] | │ p :: Identifier | │ i :: Identifier | │ [call] | │ : :: Identifier | │ 1 :: Value | │ [call] | │ size :: Identifier | │ L :: Identifier | │ 1 :: Value | │ [function] | │ [call] | │ term :: Identifier | │ [::] | │ i :: Identifier | │ Integer :: Identifier | │ [::] | │ j :: Identifier | │ Integer :: Identifier | │ [::] | │ v :: Identifier | │ T :: Identifier | │ [block] | │ [return] | │ [call] | │ [.] | │ MOI :: Identifier | │ [inert] | │ VectorAffineTerm :: Identifier | │ j :: Identifier | │ [call] | │ [.] | │ MOI :: Identifier | │ [inert] | │ ScalarAffineTerm :: Identifier | │ v :: Identifier | │ [ref] | │ variable :: Identifier | │ i :: Identifier | │ [return] | │ [call] | │ map :: Identifier | │ [->] | │ ijv :: Identifier | │ [block] | │ [call] | │ term :: Identifier | │ [...] | │ ijv :: Identifier | │ [call] | │ zip :: Identifier | │ [...] | │ [call] | │ findnz :: Identifier | │ L :: Identifier | │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ [function] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [where] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ matrix_to_vector_affine_terms :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ L :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [curly] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ SparseMatrixCSC :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ T :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ p :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ Vector :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ index_to_variable_map :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [curly] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ Dict :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ Int :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [.] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ MOI :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [inert] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ VariableIndex :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ T :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [block] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [=] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ variable :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ map :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [->] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ i :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [block] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [ref] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ index_to_variable_map :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [ref] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ p :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ i :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ : :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ 1 :: Value | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ size :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ L :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ 1 :: Value | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [function] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ term :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ i :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ Integer :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ j :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ Integer :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ v :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ T :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [block] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [return] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [.] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ MOI :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [inert] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ VectorAffineTerm :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ j :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [.] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ MOI :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [inert] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ ScalarAffineTerm :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ v :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [ref] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ variable :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ i :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [return] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ map :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [->] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ ijv :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [block] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ term :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [...] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ ijv :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ zip :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [...] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ findnz :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ L :: Identifier | [old,SL(BldKX3MegBx,MathOptInterface.Bridges.Constraint,),], │ │ file = "/home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl" │ line = 143 └ mod = MathOptInterface.Bridges.Constraint ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 =# - Found unexpected binding of kind static_parameter Expression:  #₁₆/T Containing expressions:  (= #₅₉/T #₁₆/T)  (= #₃ (call core.svec (call core.svec #₃₈/#matrix_to_vector_affine_terms#term##0 #₂₆/Integer #₂₆/Integer #₁₆/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152:0))  (= #₃ (call core.svec (call core.svec (function_type #₁₉/term) #₂₆/Integer #₂₆/Integer #₁₆/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152:0))  Detailed provenance:  #₁₆/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1097  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1162  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1257  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1287  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [7] top-level scope  @ ~/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/Constraint.jl:53  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [9] top-level scope  @ ~/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Bridges.jl:13  [10] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [11] top-level scope  @ ~/.julia/packages/MathOptInterface/YDdD3/src/MathOptInterface.jl:150  [12] include(mod::Module, _path::String)  @ Base Base.jl:325  [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3303  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:522  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:143 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/Constraint.jl:1 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Bridges.jl:1 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/MathOptInterface.jl:1 in expression starting at stdin:5 ✗ MathOptInterface ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("b8f27783-ece8-5eb3-8dc8-9495eed66fee"), "MathOptInterface") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base module.jl:60  [10] _eval_using(to::Module, path::Expr, flags::UInt8)  @ Base module.jl:137 [inlined]  [11] eval_using(to::Module, path::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:130  [12] top-level scope  @ ~/.julia/packages/SemidefiniteOptInterface/L4ZHx/src/SemidefiniteOptInterface.jl:3  [13] include(mod::Module, _path::String)  @ Base Base.jl:325  [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3303  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core boot.jl:522  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [18] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [20] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/SemidefiniteOptInterface/L4ZHx/src/SemidefiniteOptInterface.jl:1 in expression starting at stdin:5 ✗ SemidefiniteOptInterface 22 dependencies successfully precompiled in 1781 seconds. 38 already precompiled. 1 dependency had output during precompilation: ┌ MutableArithmetics │ WARNING: method definition for mutable_operate_to_fallback at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 declares type variable N but does not use it. │ WARNING: method definition for mutable_operate_fallback at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:505 declares type variable N but does not use it. │ WARNING: Constructor for type "Matrix" was extended in `MutableArithmetics` without explicit qualification or import. │ NOTE: Assumed "Matrix" refers to `Base.Matrix`. This behavior is deprecated and may differ in future versions. │ NOTE: This behavior may have differed in Julia versions prior to 1.12. │ Hint: If you intended to create a new generic function of the same name, use `function Matrix end`. │ Hint: To silence the warning, qualify `Matrix` as `Base.Matrix` in the method signature or explicitly `import Base: Matrix`. │ WARNING: method definition for #kw_body#int_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. │ WARNING: method definition for #kw_body#scalar_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. │ WARNING: method definition for #kw_body#quadratic_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. │ WARNING: method definition for #kw_body#array_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. │ WARNING: method definition for #kw_body#sparse_test#0 at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/Test/config.jl:9 declares type variable T but does not use it. └ Precompilation completed after 1807.95s ################################################################################ # Loading # Loading SemidefiniteOptInterface... WARNING: method definition for promote_operation at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/mutable_arithmetics.jl:74 declares type variable N but does not use it. WARNING: method definition for promote_operation at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/mutable_arithmetics.jl:81 declares type variable N but does not use it. WARNING: method definition for #kw_body#normalize_and_add_constraint#0 at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/constraints.jl:13 declares type variable T but does not use it. WARNING: method definition for get at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/struct_of_constraints.jl:83 declares type variable T but does not use it. WARNING: method definition for set at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:415 declares type variable T but does not use it. WARNING: method definition for modify at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:462 declares type variable F but does not use it. WARNING: method definition for check_type_and_multiple_names at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:516 declares type variable T but does not use it. WARNING: method definition for check_type_and_multiple_names at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:527 declares type variable T but does not use it. ┌ Info: JuliaLowering threw given input: │ code = │ :(function matrix_to_vector_affine_terms(L::SparseMatrixCSC{T}, p::Vector, index_to_variable_map::Dict{Int, MOI.VariableIndex}) where T │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:143 =# │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:151 =# │ variable = map((i->begin │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:151 =# │ index_to_variable_map[p[i]] │ end), 1:size(L, 1)) │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 =# │ function term(i::Integer, j::Integer, v::T) │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 =# │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:153 =# │ return MOI.VectorAffineTerm(j, MOI.ScalarAffineTerm(v, variable[i])) │ end │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:155 =# │ return map((ijv->begin │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:155 =# │ term(ijv...) │ end), zip(findnz(L)...)) │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ [function] | │ [where] | │ [call] | │ matrix_to_vector_affine_terms :: Identifier | │ [::] | │ L :: Identifier | │ [curly] | │ SparseMatrixCSC :: Identifier | │ T :: Identifier | │ [::] | │ p :: Identifier | │ Vector :: Identifier | │ [::] | │ index_to_variable_map :: Identifier | │ [curly] | │ Dict :: Identifier | │ Int :: Identifier | │ [.] | │ MOI :: Identifier | │ [inert] | │ VariableIndex :: Identifier | │ T :: Identifier | │ [block] | │ [=] | │ variable :: Identifier | │ [call] | │ map :: Identifier | │ [->] | │ i :: Identifier | │ [block] | │ [ref] | │ index_to_variable_map :: Identifier | │ [ref] | │ p :: Identifier | │ i :: Identifier | │ [call] | │ : :: Identifier | │ 1 :: Value | │ [call] | │ size :: Identifier | │ L :: Identifier | │ 1 :: Value | │ [function] | │ [call] | │ term :: Identifier | │ [::] | │ i :: Identifier | │ Integer :: Identifier | │ [::] | │ j :: Identifier | │ Integer :: Identifier | │ [::] | │ v :: Identifier | │ T :: Identifier | │ [block] | │ [return] | │ [call] | │ [.] | │ MOI :: Identifier | │ [inert] | │ VectorAffineTerm :: Identifier | │ j :: Identifier | │ [call] | │ [.] | │ MOI :: Identifier | │ [inert] | │ ScalarAffineTerm :: Identifier | │ v :: Identifier | │ [ref] | │ variable :: Identifier | │ i :: Identifier | │ [return] | │ [call] | │ map :: Identifier | │ [->] | │ ijv :: Identifier | │ [block] | │ [call] | │ term :: Identifier | │ [...] | │ ijv :: Identifier | │ [call] | │ zip :: Identifier | │ [...] | │ [call] | │ findnz :: Identifier | │ L :: Identifier | │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ [function] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [where] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ matrix_to_vector_affine_terms :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ L :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [curly] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ SparseMatrixCSC :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ T :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ p :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ Vector :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ index_to_variable_map :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [curly] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ Dict :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ Int :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [.] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ MOI :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [inert] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ VariableIndex :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ T :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [block] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [=] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ variable :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ map :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [->] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ i :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [block] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [ref] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ index_to_variable_map :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [ref] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ p :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ i :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ : :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ 1 :: Value | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ size :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ L :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ 1 :: Value | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [function] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ term :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ i :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ Integer :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ j :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ Integer :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ v :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ T :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [block] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [return] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [.] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ MOI :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [inert] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ VectorAffineTerm :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ j :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [.] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ MOI :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [inert] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ ScalarAffineTerm :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ v :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [ref] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ variable :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ i :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [return] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ map :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [->] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ ijv :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [block] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ term :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [...] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ ijv :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ zip :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [...] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ findnz :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ L :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ file = "/home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl" │ line = 143 └ mod = MathOptInterface.Bridges.Constraint ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 =# - Found unexpected binding of kind static_parameter Expression:  #₁₆/T Containing expressions:  (= #₅₉/T #₁₆/T)  (= #₃ (call core.svec (call core.svec #₃₈/#matrix_to_vector_affine_terms#term##0 #₂₆/Integer #₂₆/Integer #₁₆/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152:0))  (= #₃ (call core.svec (call core.svec (function_type #₁₉/term) #₂₆/Integer #₂₆/Integer #₁₆/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152:0))  Detailed provenance:  #₁₆/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1097  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1162  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1257  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1287  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [7] top-level scope  @ ~/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/Constraint.jl:53  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [9] top-level scope  @ ~/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Bridges.jl:13  [10] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [11] top-level scope  @ ~/.julia/packages/MathOptInterface/YDdD3/src/MathOptInterface.jl:150  [12] include(mod::Module, _path::String)  @ Base Base.jl:325  [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3303  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:522  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:143 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/Constraint.jl:1 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Bridges.jl:1 in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/MathOptInterface.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("b8f27783-ece8-5eb3-8dc8-9495eed66fee"), "MathOptInterface") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base module.jl:60  [10] _eval_using(to::Module, path::Expr, flags::UInt8)  @ Base module.jl:137 [inlined]  [11] eval_using(to::Module, path::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:130  [12] top-level scope  @ ~/.julia/packages/SemidefiniteOptInterface/L4ZHx/src/SemidefiniteOptInterface.jl:3  [13] include(mod::Module, _path::String)  @ Base Base.jl:325  [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3303  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core boot.jl:522  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [18] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [20] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/SemidefiniteOptInterface/L4ZHx/src/SemidefiniteOptInterface.jl:1 in expression starting at stdin:5 2 dependencies had output during precompilation: ┌ MathOptInterface │ WARNING: method definition for promote_operation at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/mutable_arithmetics.jl:74 declares type variable N but does not use it. │ WARNING: method definition for promote_operation at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/mutable_arithmetics.jl:81 declares type variable N but does not use it. │ WARNING: method definition for #kw_body#normalize_and_add_constraint#0 at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/constraints.jl:13 declares type variable T but does not use it. │ WARNING: method definition for get at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/struct_of_constraints.jl:83 declares type variable T but does not use it. │ WARNING: method definition for set at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:415 declares type variable T but does not use it. │ WARNING: method definition for modify at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:462 declares type variable F but does not use it. │ WARNING: method definition for check_type_and_multiple_names at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:516 declares type variable T but does not use it. │ WARNING: method definition for check_type_and_multiple_names at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Utilities/universalfallback.jl:527 declares type variable T but does not use it. │ ┌ Info: JuliaLowering threw given input: │ │ code = │ │ :(function matrix_to_vector_affine_terms(L::SparseMatrixCSC{T}, p::Vector, index_to_variable_map::Dict{Int, MOI.VariableIndex}) where T │ │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:143 =# │ │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:151 =# │ │ variable = map((i->begin │ │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:151 =# │ │ index_to_variable_map[p[i]] │ │ end), 1:size(L, 1)) │ │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 =# │ │ function term(i::Integer, j::Integer, v::T) │ │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 =# │ │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:153 =# │ │ return MOI.VectorAffineTerm(j, MOI.ScalarAffineTerm(v, variable[i])) │ │ end │ │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:155 =# │ │ return map((ijv->begin │ │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:155 =# │ │ term(ijv...) │ │ end), zip(findnz(L)...)) │ │ end) │ │ st0 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ │ [function] | │ │ [where] | │ │ [call] | │ │ matrix_to_vector_affine_terms :: Identifier | │ │ [::] | │ │ L :: Identifier | │ │ [curly] | │ │ SparseMatrixCSC :: Identifier | │ │ T :: Identifier | │ │ [::] | │ │ p :: Identifier | │ │ Vector :: Identifier | │ │ [::] | │ │ index_to_variable_map :: Identifier | │ │ [curly] | │ │ Dict :: Identifier | │ │ Int :: Identifier | │ │ [.] | │ │ MOI :: Identifier | │ │ [inert] | │ │ VariableIndex :: Identifier | │ │ T :: Identifier | │ │ [block] | │ │ [=] | │ │ variable :: Identifier | │ │ [call] | │ │ map :: Identifier | │ │ [->] | │ │ i :: Identifier | │ │ [block] | │ │ [ref] | │ │ index_to_variable_map :: Identifier | │ │ [ref] | │ │ p :: Identifier | │ │ i :: Identifier | │ │ [call] | │ │ : :: Identifier | │ │ 1 :: Value | │ │ [call] | │ │ size :: Identifier | │ │ L :: Identifier | │ │ 1 :: Value | │ │ [function] | │ │ [call] | │ │ term :: Identifier | │ │ [::] | │ │ i :: Identifier | │ │ Integer :: Identifier | │ │ [::] | │ │ j :: Identifier | │ │ Integer :: Identifier | │ │ [::] | │ │ v :: Identifier | │ │ T :: Identifier | │ │ [block] | │ │ [return] | │ │ [call] | │ │ [.] | │ │ MOI :: Identifier | │ │ [inert] | │ │ VectorAffineTerm :: Identifier | │ │ j :: Identifier | │ │ [call] | │ │ [.] | │ │ MOI :: Identifier | │ │ [inert] | │ │ ScalarAffineTerm :: Identifier | │ │ v :: Identifier | │ │ [ref] | │ │ variable :: Identifier | │ │ i :: Identifier | │ │ [return] | │ │ [call] | │ │ map :: Identifier | │ │ [->] | │ │ ijv :: Identifier | │ │ [block] | │ │ [call] | │ │ term :: Identifier | │ │ [...] | │ │ ijv :: Identifier | │ │ [call] | │ │ zip :: Identifier | │ │ [...] | │ │ [call] | │ │ findnz :: Identifier | │ │ L :: Identifier | │ │ │ │ st1 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ │ [function] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [where] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ matrix_to_vector_affine_terms :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ L :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [curly] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ SparseMatrixCSC :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ T :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ p :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ Vector :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ index_to_variable_map :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [curly] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ Dict :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ Int :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [.] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ MOI :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [inert] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ VariableIndex :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ T :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [block] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [=] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ variable :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ map :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [->] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ i :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [block] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [ref] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ index_to_variable_map :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [ref] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ p :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ i :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ : :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ 1 :: Value | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ size :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ L :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ 1 :: Value | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [function] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ term :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ i :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ Integer :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ j :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ Integer :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [::] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ v :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ T :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [block] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [return] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [.] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ MOI :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [inert] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ VectorAffineTerm :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ j :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [.] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ MOI :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [inert] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ ScalarAffineTerm :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ v :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [ref] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ variable :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ i :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [return] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ map :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [->] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ ijv :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [block] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ term :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [...] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ ijv :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ zip :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [...] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ [call] | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ findnz :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ L :: Identifier | [old,SL(B9PIzpR8nlt,MathOptInterface.Bridges.Constraint,),], │ │ │ │ file = "/home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl" │ │ line = 143 │ └ mod = MathOptInterface.Bridges.Constraint │ ERROR: LoadError: LoweringError: │ #= /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 =# - Found unexpected binding of kind static_parameter │ Expression: │ #₁₆/T │ Containing expressions: │ (= #₅₉/T #₁₆/T) │ (= #₃ (call core.svec (call core.svec #₃₈/#matrix_to_vector_affine_terms#term##0 #₂₆/Integer #₂₆/Integer #₁₆/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152:0)) │ (= #₃ (call core.svec (call core.svec (function_type #₁₉/term) #₂₆/Integer #₂₆/Integer #₁₆/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152:0)) │ │ Detailed provenance: │ #₁₆/T │ └─ T │ └─ T │ └─ @ /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:152 │ │ Stacktrace: │ [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1097 │ [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1162 │ [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1257 │ [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1287 │ [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33 │ [6] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:326 │ [7] top-level scope │ @ ~/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/Constraint.jl:53 │ [8] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:326 │ [9] top-level scope │ @ ~/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Bridges.jl:13 │ [10] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:326 │ [11] top-level scope │ @ ~/.julia/packages/MathOptInterface/YDdD3/src/MathOptInterface.jl:150 │ [12] include(mod::Module, _path::String) │ @ Base Base.jl:325 │ [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base loading.jl:3303 │ [14] top-level scope │ @ stdin:5 │ [15] eval(m::Module, e::Any) │ @ Core boot.jl:522 │ [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base loading.jl:3132 │ [17] include_string(m::Module, txt::String, fname::String) │ @ Base loading.jl:3142 [inlined] │ [18] exec_options(opts::Base.JLOptions) │ @ Base client.jl:353 │ [19] _start() │ @ Base client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/quad_to_soc.jl:143 │ in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Constraint/Constraint.jl:1 │ in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/Bridges/Bridges.jl:1 │ in expression starting at /home/pkgeval/.julia/packages/MathOptInterface/YDdD3/src/MathOptInterface.jl:1 │ in expression starting at stdin:5 └ ┌ SemidefiniteOptInterface │ [Output was shown above] └ ERROR: The following 2 packages failed to precompile: MathOptInterface Failed to precompile MathOptInterface [b8f27783-ece8-5eb3-8dc8-9495eed66fee] to "/home/pkgeval/.julia/compiled/v1.14/MathOptInterface/jl_3eUizx" (ProcessExited(1)). SemidefiniteOptInterface Failed to precompile SemidefiniteOptInterface [f0680fed-b2cd-5302-98f9-f4da282d86b5] to "/home/pkgeval/.julia/compiled/v1.14/SemidefiniteOptInterface/jl_H3Nk87" (ProcessExited(1)). Loading failed after 138.81s ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --check-bounds=yes --pkgimages=existing -e 'using SemidefiniteOptInterface'`, ProcessExited(1)) [1] Stacktrace: [1] pipeline_error(proc::Base.Process) @ Base process.jl:612 [inlined] [2] run(::Cmd; wait::Bool) @ Base process.jl:525 [3] run(::Cmd) @ Base process.jl:522 [4] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:197 [5] include(mod::Module, _path::String) @ Base Base.jl:325 [6] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [7] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:188 PkgEval failed after 1989.94s: package fails to precompile