Package evaluation to test ArbExtras on Julia 1.14.0-DEV.2593 (15c2b67521*) started at 2026-07-03T22:03:51.547 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.32s ################################################################################ # Installation # Installing ArbExtras... Resolving package versions... Installed LogExpFunctions ────── v1.0.1 Installed SpecialFunctions ───── v2.8.0 Installed Arblib ─────────────── v1.8.0 Installed OpenSpecFun_jll ────── v0.5.6+0 Installed JLLWrappers ────────── v1.8.0 Installed OpenBLAS32_jll ─────── v0.3.33+1 Installed HashArrayMappedTries ─ v0.2.0 Installed FLINT_jll ──────────── v301.600.0+0 Installed Preferences ────────── v1.5.2 Installed ScopedValues ───────── v1.6.2 Installed IrrationalConstants ── v0.2.6 Installed DocStringExtensions ── v0.9.5 Installed ArbExtras ──────────── v1.2.2 Installing 3 artifacts Installed artifact OpenSpecFun 105.4 KiB Installed artifact OpenBLAS32 5.0 MiB Installed artifact FLINT 19.3 MiB Updating `~/.julia/environments/v1.14/Project.toml` [c87f5d39] + ArbExtras v1.2.2 Updating `~/.julia/environments/v1.14/Manifest.toml` [c87f5d39] + ArbExtras v1.2.2 [fb37089c] + Arblib v1.8.0 [ffbed154] + DocStringExtensions v0.9.5 [076d061b] + HashArrayMappedTries v0.2.0 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [2ab3a3ac] + LogExpFunctions v1.0.1 [21216c6a] + Preferences v1.5.2 [7e506255] + ScopedValues v1.6.2 [276daf66] + SpecialFunctions v2.8.0 [e134572f] + FLINT_jll v301.600.0+0 [656ef2d0] + OpenBLAS32_jll v0.3.33+1 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [ade2ca70] + Dates v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.5+2 [781609d7] + GMP_jll v6.3.0+2 [3a97d323] + MPFR_jll v4.2.2+0 [4536629a] + OpenBLAS_jll v0.3.33+0 [05823500] + OpenLibm_jll v0.8.7+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 6.26s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 9.7 s ✓ TestEnv 1 dependency successfully precompiled in 10 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 1.2 s ✓ HashArrayMappedTries 1.5 s ✓ DocStringExtensions 2.7 s ✓ IrrationalConstants 38.7 s ✓ RequiredInterfaces 30.8 s ✓ Preferences 2.2 s ✓ Compat 1.3 s ✓ ScopedValues 1.9 s ✓ LogExpFunctions 31.5 s ✓ JLLWrappers 1.0 s ✓ Compat → CompatLinearAlgebraExt 31.7 s ✓ OpenSpecFun_jll 32.0 s ✓ OpenBLAS32_jll ┌ Info: JuliaLowering threw given input: │ code = │ :(function shrinkTowards(to::T) where T <: Union{Char, Real} │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:274 =# │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# │ function (x::T,) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:276 =# │ ret = T[] │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:277 =# │ to == x && return ret │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:278 =# │ diff = half(x) - half(to) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:279 =# │ while diff != 0 │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:280 =# │ pval = x - diff │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:281 =# │ push!(ret, x - diff) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:282 =# │ diff = div(diff, 2) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:283 =# │ end │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:284 =# │ (isempty(ret) || first(ret) != to) && pushfirst!(ret, to) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:285 =# │ return ret │ end │ 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] | │ shrinkTowards :: Identifier | │ [::] | │ to :: Identifier | │ T :: Identifier | │ [<:] | │ T :: Identifier | │ [curly] | │ Union :: Identifier | │ Char :: Identifier | │ Real :: Identifier | │ [block] | │ [function] | │ [tuple] | │ [::] | │ x :: Identifier | │ T :: Identifier | │ [block] | │ [=] | │ ret :: Identifier | │ [ref] | │ T :: Identifier | │ [&&] | │ [call] | │ == :: Identifier | │ to :: Identifier | │ x :: Identifier | │ [return] | │ ret :: Identifier | │ [=] | │ diff :: Identifier | │ [call] | │ - :: Identifier | │ [call] | │ half :: Identifier | │ x :: Identifier | │ [call] | │ half :: Identifier | │ to :: Identifier | │ [while] | │ [call] | │ != :: Identifier | │ diff :: Identifier | │ 0 :: Value | │ [block] | │ [=] | │ pval :: Identifier | │ [call] | │ - :: Identifier | │ x :: Identifier | │ diff :: Identifier | │ [call] | │ push! :: Identifier | │ ret :: Identifier | │ [call] | │ - :: Identifier | │ x :: Identifier | │ diff :: Identifier | │ [=] | │ diff :: Identifier | │ [call] | │ div :: Identifier | │ diff :: Identifier | │ 2 :: Value | │ [&&] | │ [||] | │ [call] | │ isempty :: Identifier | │ ret :: Identifier | │ [call] | │ != :: Identifier | │ [call] | │ first :: Identifier | │ ret :: Identifier | │ to :: Identifier | │ [call] | │ pushfirst! :: Identifier | │ ret :: Identifier | │ to :: Identifier | │ [return] | │ ret :: 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(KBLQNnMVuPr,PropCheck,),], │ [where] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ shrinkTowards :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [::] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ to :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ T :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [<:] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ T :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [curly] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ Union :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ Char :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ Real :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [block] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [function] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [tuple] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [::] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ x :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ T :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [block] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [=] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ ret :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [ref] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ T :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [&&] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ == :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ to :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ x :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [return] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ ret :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [=] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ diff :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ - :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ half :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ x :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ half :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ to :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [while] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ != :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ diff :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ 0 :: Value | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [block] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [=] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ pval :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ - :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ x :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ diff :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ push! :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ ret :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ - :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ x :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ diff :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [=] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ diff :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ div :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ diff :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ 2 :: Value | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [&&] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [||] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ isempty :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ ret :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ != :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ first :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ ret :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ to :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [call] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ pushfirst! :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ ret :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ to :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ [return] | [old,SL(KBLQNnMVuPr,PropCheck,),], │ ret :: Identifier | [old,SL(KBLQNnMVuPr,PropCheck,),], │ │ file = "/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl" │ line = 274 └ mod = PropCheck ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# - Found unexpected binding of kind static_parameter Expression:  #₁₀/T Containing expressions:  (= #₃₂/T #₁₀/T)  (= #₂ (call core.svec (call core.svec #₂₆/#shrinkTowards##anon###0 #₁₀/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275:0))  (= #₂ (call core.svec (call core.svec (function_type #₁₁/#anon#) #₁₀/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275:0))  Detailed provenance:  #₁₀/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275  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/PropCheck/AK4AW/src/PropCheck.jl:48  [8] include(mod::Module, _path::String)  @ Base Base.jl:325  [9] 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  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core boot.jl:522  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [13] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [15] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:274 in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/PropCheck.jl:1 in expression starting at stdin:5 ✗ PropCheck 105.8 s ✓ SpecialFunctions 31.9 s ✓ FLINT_jll 350.4 s ✓ Arblib 40.1 s ✓ ArbExtras 16 dependencies successfully precompiled in 872 seconds. 16 already precompiled. Precompilation completed after 917.8s ################################################################################ # Testing # Testing ArbExtras Status `/tmp/jl_01RRsx/Project.toml` [c87f5d39] ArbExtras v1.2.2 [fb37089c] Arblib v1.8.0 [ca382230] PropCheck v0.10.1 [276daf66] SpecialFunctions v2.8.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_01RRsx/Manifest.toml` [c87f5d39] ArbExtras v1.2.2 [fb37089c] Arblib v1.8.0 [34da2185] Compat v4.18.1 [ffbed154] DocStringExtensions v0.9.5 [076d061b] HashArrayMappedTries v0.2.0 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.8.0 [2ab3a3ac] LogExpFunctions v1.0.1 [21216c6a] Preferences v1.5.2 [ca382230] PropCheck v0.10.1 [97f35ef4] RequiredInterfaces v0.1.7 [7e506255] ScopedValues v1.6.2 [276daf66] SpecialFunctions v2.8.0 [e134572f] FLINT_jll v301.600.0+0 [656ef2d0] OpenBLAS32_jll v0.3.33+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.5+2 [781609d7] GMP_jll v6.3.0+2 [3a97d323] MPFR_jll v4.2.2+0 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [8e850b90] libblastrampoline_jll v5.15.0+0 Testing Running tests... ┌ Info: JuliaLowering threw given input: │ code = │ :(function shrinkTowards(to::T) where T <: Union{Char, Real} │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:274 =# │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# │ function (x::T,) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:276 =# │ ret = T[] │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:277 =# │ to == x && return ret │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:278 =# │ diff = half(x) - half(to) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:279 =# │ while diff != 0 │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:280 =# │ pval = x - diff │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:281 =# │ push!(ret, x - diff) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:282 =# │ diff = div(diff, 2) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:283 =# │ end │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:284 =# │ (isempty(ret) || first(ret) != to) && pushfirst!(ret, to) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:285 =# │ return ret │ end │ 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] | │ shrinkTowards :: Identifier | │ [::] | │ to :: Identifier | │ T :: Identifier | │ [<:] | │ T :: Identifier | │ [curly] | │ Union :: Identifier | │ Char :: Identifier | │ Real :: Identifier | │ [block] | │ [function] | │ [tuple] | │ [::] | │ x :: Identifier | │ T :: Identifier | │ [block] | │ [=] | │ ret :: Identifier | │ [ref] | │ T :: Identifier | │ [&&] | │ [call] | │ == :: Identifier | │ to :: Identifier | │ x :: Identifier | │ [return] | │ ret :: Identifier | │ [=] | │ diff :: Identifier | │ [call] | │ - :: Identifier | │ [call] | │ half :: Identifier | │ x :: Identifier | │ [call] | │ half :: Identifier | │ to :: Identifier | │ [while] | │ [call] | │ != :: Identifier | │ diff :: Identifier | │ 0 :: Value | │ [block] | │ [=] | │ pval :: Identifier | │ [call] | │ - :: Identifier | │ x :: Identifier | │ diff :: Identifier | │ [call] | │ push! :: Identifier | │ ret :: Identifier | │ [call] | │ - :: Identifier | │ x :: Identifier | │ diff :: Identifier | │ [=] | │ diff :: Identifier | │ [call] | │ div :: Identifier | │ diff :: Identifier | │ 2 :: Value | │ [&&] | │ [||] | │ [call] | │ isempty :: Identifier | │ ret :: Identifier | │ [call] | │ != :: Identifier | │ [call] | │ first :: Identifier | │ ret :: Identifier | │ to :: Identifier | │ [call] | │ pushfirst! :: Identifier | │ ret :: Identifier | │ to :: Identifier | │ [return] | │ ret :: 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(2o1t8sw0sTx,PropCheck,),], │ [where] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ shrinkTowards :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [::] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ to :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ T :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [<:] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ T :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [curly] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ Union :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ Char :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ Real :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [block] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [function] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [tuple] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [::] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ x :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ T :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [block] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [=] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ ret :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [ref] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ T :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [&&] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ == :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ to :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ x :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [return] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ ret :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [=] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ diff :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ - :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ half :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ x :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ half :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ to :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [while] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ != :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ diff :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ 0 :: Value | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [block] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [=] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ pval :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ - :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ x :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ diff :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ push! :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ ret :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ - :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ x :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ diff :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [=] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ diff :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ div :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ diff :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ 2 :: Value | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [&&] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [||] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ isempty :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ ret :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ != :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ first :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ ret :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ to :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [call] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ pushfirst! :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ ret :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ to :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ [return] | [old,SL(2o1t8sw0sTx,PropCheck,),], │ ret :: Identifier | [old,SL(2o1t8sw0sTx,PropCheck,),], │ │ file = "/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl" │ line = 274 └ mod = PropCheck ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# - Found unexpected binding of kind static_parameter Expression:  #₁₀/T Containing expressions:  (= #₃₂/T #₁₀/T)  (= #₂ (call core.svec (call core.svec #₂₆/#shrinkTowards##anon###0 #₁₀/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275:0))  (= #₂ (call core.svec (call core.svec (function_type #₁₁/#anon#) #₁₀/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275:0))  Detailed provenance:  #₁₀/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275  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/PropCheck/AK4AW/src/PropCheck.jl:48  [8] include(mod::Module, _path::String)  @ Base Base.jl:325  [9] 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  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core boot.jl:522  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [13] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [15] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:274 in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/PropCheck.jl:1 in expression starting at stdin:5 1 dependency had output during precompilation: ┌ PropCheck │ [Output was shown above] └ ERROR: LoadError: The following 1 package failed to precompile: PropCheck Failed to precompile PropCheck [ca382230-33be-11e9-0059-d981d03070e4] to "/home/pkgeval/.julia/compiled/v1.14/PropCheck/jl_AFcng9" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/ArbExtras/mRN1k/test/runtests.jl:1 Testing failed after 207.43s ERROR: LoadError: Package ArbExtras errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3247 [3] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:587 [4] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [8] include(mod::Module, _path::String) @ Base Base.jl:325 [9] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [10] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1178.79s: package fails to precompile