Package evaluation to test BorrowChecker on Julia 1.14.0-DEV.1826 (44c835795b*) started at 2026-03-02T10:20:52.351 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.52s ################################################################################ # Installation # Installing BorrowChecker... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [7bdcaa52] + BorrowChecker v0.4.4 Updating `~/.julia/environments/v1.14/Manifest.toml` [7bdcaa52] + BorrowChecker v0.4.4 [8d63f2c5] + DispatchDoctor v0.4.28 [1914dd2f] + MacroTools v0.5.16 [21216c6a] + Preferences v1.5.2 [ade2ca70] + Dates v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 Installation completed after 4.58s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 1805.4 ms ✓ DispatchDoctor → DispatchDoctorChainRulesCoreExt 4822.7 ms ✓ BorrowChecker 25873.1 ms ✓ DynamicExpressions 3 dependencies successfully precompiled in 35 seconds. 45 already precompiled. Precompilation completed after 58.59s ################################################################################ # Testing # Testing BorrowChecker Status `/tmp/jl_FCY2a1/Project.toml` [4c88cf16] Aqua v0.8.14 [7bdcaa52] BorrowChecker v0.4.4 [8d63f2c5] DispatchDoctor v0.4.28 [a40a106e] DynamicExpressions v2.5.1 [dc46b164] PerformanceTestTools v0.1.3 [f8b46487] TestItemRunner v1.1.4 [1c621080] TestItems v1.0.0 [b77e0a4c] InteractiveUtils v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [44cfe95a] Pkg v1.14.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_FCY2a1/Manifest.toml` [4c88cf16] Aqua v0.8.14 [7bdcaa52] BorrowChecker v0.4.4 [d360d2e6] ChainRulesCore v1.26.0 [34da2185] Compat v4.18.1 [8d63f2c5] DispatchDoctor v0.4.28 [a40a106e] DynamicExpressions v2.5.1 [85a1e053] Interfaces v0.3.2 [1914dd2f] MacroTools v0.5.16 [dc46b164] PerformanceTestTools v0.1.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [189a3867] Reexport v1.2.2 [f8b46487] TestItemRunner v1.1.4 [1c621080] TestItems v1.0.0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates 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.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.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.3.0+1 [deac9b47] LibCURL_jll v8.18.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.12.2 [4536629a] OpenBLAS_jll v0.3.30+0 [458c3c95] OpenSSL_jll v3.5.5+0 [efcefdf7] PCRE2_jll v10.47.0+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.68.0+1 [3f19e933] p7zip_jll v17.7.0+0 Testing Running tests... ┌ Info: Running IR test in a subprocess... │ cmd = `/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so --depwarn=yes --check-bounds=yes --pkgimages=existing -g1 --startup-file=no --startup-file=no --check-bounds=no --code-coverage=none --inline=yes` └ script = "/home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_llvm_ir_tests.jl" Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_llvm_ir_tests.jl:24 Expression: !(occursin("_generated_assert_safe", joined)) Evaluated: !(occursin("_generated_assert_safe", "define i64 @julia_f_0(i64 signext %\"x::Int64\") local_unnamed_addr #0 {\ntop:\n %jlcallframe = alloca ptr, align 8\n %\"-BorrowChecker.Auto._generated_assert_safe#0\" = load ptr, ptr @\"-BorrowChecker.Auto._generated_assert_safe#0\", align 8\n %\"jl_global#0\" = load ptr, ptr @\"jl_global#0\", align 8\n %\"+Core.Tuple#0\" = load ptr, ptr @\"+Core.Tuple#0\", align 8\n store ptr %\"+Core.Tuple#0\", ptr %jlcallframe, align 8\n %0 = call nonnull ptr @ijl_invoke(ptr nonnull %\"jl_global#0\", ptr nonnull %jlcallframe, i32 1, ptr nonnull %\"-BorrowChecker.Auto._generated_assert_safe#0\")\n ret i64 %\"x::Int64\"\n}")) ERROR: LoadError: There was an error during testing in expression starting at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_llvm_ir_tests.jl:40 Auto LLVM IR: Test Failed at /home/pkgeval/.julia/packages/PerformanceTestTools/cYTSX/src/PerformanceTestTools.jl:34 Expression: success(pipeline(`$cmd -e $code`; stdout = stdout, stderr = stderr)) Evaluated: success(pipeline(pipeline(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so --depwarn=yes --check-bounds=yes --pkgimages=existing -g1 --startup-file=no --startup-file=no --check-bounds=no --code-coverage=none --inline=yes -e 'append!(empty!(Base.DEPOT_PATH), ["/home/pkgeval/.julia", "/usr/local/share/julia", "/opt/julia/local/share/julia", "/opt/julia/share/julia"]) append!(empty!(Base.DL_LOAD_PATH), String[]) append!(empty!(Base.LOAD_PATH), ["/tmp/jl_FCY2a1/Project.toml"]) ENV["JULIA_LOAD_PATH"] = "/tmp/jl_FCY2a1/Project.toml" Base.set_active_project(nothing) include("/home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_llvm_ir_tests.jl") '`, stdout>Base.PipeEndpoint(RawFD(12) open, 0 bytes waiting)), stderr>Base.PipeEndpoint(RawFD(14) open, 0 bytes waiting))) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [2] run_ir_test_script(script::String, include::Base.IncludeInto, dir::String) @ PerformanceTestTools ~/.julia/packages/PerformanceTestTools/cYTSX/src/PerformanceTestTools.jl:34 [ Info: Running IR test in a subprocess...DONE Auto @safe/@unsafe API: Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:28 Expression: _bc_safe_violation_should_error() Expected: BorrowChecker.Auto.BorrowCheckError Thrown: MethodError MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] _bc_safe_violation_should_error() @ Main.var"##160" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:21 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:28 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:977 [inlined] [29] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:28 [inlined] Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:28 [2] eval(m::Module, e::Any) @ Core ./boot.jl:517 [3] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:3130 [4] include_string(m::Module, txt::String, fname::String) @ Base ./loading.jl:3140 [5] #run_testitem##6 @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:119 [inlined] [6] withpath(f::TestItemRunner.var"#run_testitem##6#run_testitem##7"{String, String, Module}, path::String) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/vendored_code.jl:7 [7] #run_testitem##4 @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:118 [inlined] [8] cd(f::TestItemRunner.var"#run_testitem##4#run_testitem##5"{String, String, Module}, dir::String) @ Base.Filesystem ./file.jl:112 [9] run_testitem(filepath::String, use_default_usings::Bool, setups::Vector{Symbol}, package_name::String, original_code::String, line::Int64, column::Int64, test_setup_module_set::TestItemRunner.TestSetupModuleSet, testsetups::Dict{Symbol, Any}) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:117 [10] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:276 [inlined] [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [12] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:274 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [14] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:252 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [16] run_tests(path::String; filter::Nothing, verbose::Bool) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:249 Auto @safe/@unsafe API: Error During Test at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:39 Test threw exception Expression: _bc_safe_with_unsafe_should_pass() == [1, 2, 3, 1] MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] _bc_safe_with_unsafe_should_pass() @ Main.var"##160" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:30 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:557 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:778 [inlined] Auto @safe/@unsafe API: Error During Test at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:50 Test threw exception Expression: _bc_safe_with_unsafe_inner_should_pass() == [1, 2, 3, 1] MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] _bc_safe_with_unsafe_inner_should_pass() @ Main.var"##160" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:41 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:557 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:778 [inlined] Auto @safe/@unsafe API: Error During Test at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:64 Test threw exception Expression: _bc_safe_with_preexpanded_unsafe_should_pass() == [1, 2, 3, 1] MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] _bc_safe_with_preexpanded_unsafe_should_pass() @ Main.var"##160" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:56 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:557 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:778 [inlined] Auto @safe/@unsafe API: Error During Test at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:74 Test threw exception Expression: _bc_bare_meta_unsafe_whole_method_should_pass() == [1, 2, 3, 1] MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] _bc_bare_meta_unsafe_whole_method_should_pass() @ Main.var"##160" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:66 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:557 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:778 [inlined] Auto @safe/@unsafe API: Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:107 Expression: _bc_unsafe_line_mask_demo() Expected: BorrowChecker.Auto.BorrowCheckError Thrown: MethodError MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] _bc_unsafe_line_mask_demo() @ Main.var"##160" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:98 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:107 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:977 [inlined] [29] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:107 [inlined] Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:107 [2] eval(m::Module, e::Any) @ Core ./boot.jl:517 [3] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:3130 [4] include_string(m::Module, txt::String, fname::String) @ Base ./loading.jl:3140 [5] #run_testitem##6 @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:119 [inlined] [6] withpath(f::TestItemRunner.var"#run_testitem##6#run_testitem##7"{String, String, Module}, path::String) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/vendored_code.jl:7 [7] #run_testitem##4 @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:118 [inlined] [8] cd(f::TestItemRunner.var"#run_testitem##4#run_testitem##5"{String, String, Module}, dir::String) @ Base.Filesystem ./file.jl:112 [9] run_testitem(filepath::String, use_default_usings::Bool, setups::Vector{Symbol}, package_name::String, original_code::String, line::Int64, column::Int64, test_setup_module_set::TestItemRunner.TestSetupModuleSet, testsetups::Dict{Symbol, Any}) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:117 [10] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:276 [inlined] [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [12] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:274 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [14] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:252 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [16] run_tests(path::String; filter::Nothing, verbose::Bool) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:249 More complex unsafe branches: Error During Test at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:125 Test threw exception Expression: (add_halves!([1, 2, 3, 4, 5, 6]))[1:3] == [5, 7, 9] MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] add_halves!(a::Vector{Int64}) @ Main.var"##166" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:115 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:557 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:778 [inlined] More complex unsafe branches: Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:137 Expression: add_halves_bad!([1, 2, 3, 4, 5, 6]) Expected: BorrowChecker.Auto.BorrowCheckError Thrown: MethodError MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] add_halves_bad!(a::Vector{Int64}) @ Main.var"##166" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:127 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:137 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:977 [inlined] [29] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:137 [inlined] Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:137 [2] eval(m::Module, e::Any) @ Core ./boot.jl:517 [3] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:3130 [4] include_string(m::Module, txt::String, fname::String) @ Base ./loading.jl:3140 [5] #run_testitem##6 @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:119 [inlined] [6] withpath(f::TestItemRunner.var"#run_testitem##6#run_testitem##7"{String, String, Module}, path::String) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/vendored_code.jl:7 [7] #run_testitem##4 @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:118 [inlined] [8] cd(f::TestItemRunner.var"#run_testitem##4#run_testitem##5"{String, String, Module}, dir::String) @ Base.Filesystem ./file.jl:112 [9] run_testitem(filepath::String, use_default_usings::Bool, setups::Vector{Symbol}, package_name::String, original_code::String, line::Int64, column::Int64, test_setup_module_set::TestItemRunner.TestSetupModuleSet, testsetups::Dict{Symbol, Any}) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:117 [10] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:276 [inlined] [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [12] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:274 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [14] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:252 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [16] run_tests(path::String; filter::Nothing, verbose::Bool) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:249 More complex unsafe branches: Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:145 Expression: _bc_unsafe_within_tuple() Expected: BorrowChecker.Auto.BorrowCheckError Thrown: MethodError MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] _bc_unsafe_within_tuple() @ Main.var"##166" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:139 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:145 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:977 [inlined] [29] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:145 [inlined] Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:145 [2] eval(m::Module, e::Any) @ Core ./boot.jl:517 [3] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:3130 [4] include_string(m::Module, txt::String, fname::String) @ Base ./loading.jl:3140 [5] #run_testitem##6 @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:119 [inlined] [6] withpath(f::TestItemRunner.var"#run_testitem##6#run_testitem##7"{String, String, Module}, path::String) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/vendored_code.jl:7 [7] #run_testitem##4 @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:118 [inlined] [8] cd(f::TestItemRunner.var"#run_testitem##4#run_testitem##5"{String, String, Module}, dir::String) @ Base.Filesystem ./file.jl:112 [9] run_testitem(filepath::String, use_default_usings::Bool, setups::Vector{Symbol}, package_name::String, original_code::String, line::Int64, column::Int64, test_setup_module_set::TestItemRunner.TestSetupModuleSet, testsetups::Dict{Symbol, Any}) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:117 [10] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:276 [inlined] [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [12] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:274 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [14] macro expansion @ ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:252 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2412 [inlined] [16] run_tests(path::String; filter::Nothing, verbose::Bool) @ TestItemRunner ~/.julia/packages/TestItemRunner/ax5HJ/src/TestItemRunner.jl:249 More complex unsafe branches: Error During Test at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:153 Test threw exception Expression: _bc_unsafe_within_tuple_2() == [1, 2, 3, 1, 2] MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult}) The type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache @ Base /opt/julia/share/julia/Compiler/src/types.jl:552 Stacktrace: [1] code_cache(interp::BorrowChecker.Auto.BCInterp) @ Compiler ./../usr/share/julia/Compiler/src/types.jl:586 [2] typeinf_edge(interp::BorrowChecker.Auto.BCInterp, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Compiler.InferenceState, edgecycle::Bool, edgelimited::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1146 [3] abstract_call_method(interp::BorrowChecker.Auto.BCInterp, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, si::Compiler.StmtInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:729 [4] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Vector{Compiler.VarState}, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}, Compiler.InferenceLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}, Compiler.InferenceLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}})(interp::BorrowChecker.Auto.BCInterp, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:166 [5] abstract_call_gf_by_type(interp::BorrowChecker.Auto.BCInterp, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:328 [6] abstract_call_known(interp::BorrowChecker.Auto.BCInterp, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2856 [7] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, vtypes::Vector{Compiler.VarState}, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2964 [8] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2957 [inlined] [9] abstract_call(interp::BorrowChecker.Auto.BCInterp, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3117 [10] abstract_eval_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3135 [inlined] [11] abstract_eval_statement_expr(interp::BorrowChecker.Auto.BCInterp, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3499 [12] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3906 [inlined] [13] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3863 [inlined] [14] typeinf_local(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4448 [15] typeinf(interp::BorrowChecker.Auto.BCInterp, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4726 [16] typeinf_frame(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, run_optimizer::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1367 [17] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, mi::Core.MethodInstance, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1346 [18] typeinf_ircode(interp::BorrowChecker.Auto.BCInterp, match::Core.MethodMatch, optimize_until::String) @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1339 [19] _code_ircode_by_type(tt::Type; optimize_until::String, world::UInt64, cfg::BorrowChecker.Auto.Config) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:99 [20] _code_ircode_by_type @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:50 [inlined] [21] (::BorrowChecker.Auto.var"#70#71"{BorrowChecker.Auto.Config, UInt64})() @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:238 [22] _with_reflection_ctx(f::Function, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/summaries.jl:44 [23] check_signature(tt::Type{<:Tuple}; cfg::BorrowChecker.Auto.Config, world::UInt64) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:229 [24] check_signature @ ~/.julia/packages/BorrowChecker/N7bMb/src/auto/frontend.jl:224 [inlined] [25] _generated_assert_safe_body(world::UInt64, lnn::Method, this::Type, sig::Type) @ BorrowChecker.Auto ~/.julia/packages/BorrowChecker/N7bMb/src/auto/generated.jl:69 [26] _bc_unsafe_within_tuple_2() @ Main.var"##166" ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:147 [27] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_unsafe_api_tests.jl:557 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:778 [inlined] BorrowCheckError includes REPL context (real checker): Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:63 Expression: err isa BorrowCheckError Evaluated: MethodError(Compiler.OverlayCodeCache, (Compiler.InternalCodeCache(BorrowChecker.Auto.BCInterpOwner(), Compiler.WorldRange(0x0000000000009f19, 0x0000000000009f19)), Compiler.InferenceResult[]), 0x0000000000009be5) isa BorrowChecker.Auto.BorrowCheckError Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:41 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:63 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError includes REPL context (real checker): Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:65 Expression: occursin("REPL[999]", s) Evaluated: occursin("REPL[999]", "MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult})\nThe type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it.\n\nClosest candidates are:\n Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache\n @ Base /opt/julia/share/julia/Compiler/src/types.jl:552\n") Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:41 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:65 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError includes REPL context (real checker): Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:66 Expression: occursin("lowered:", s) Evaluated: occursin("lowered:", "MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult})\nThe type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it.\n\nClosest candidates are:\n Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache\n @ Base /opt/julia/share/julia/Compiler/src/types.jl:552\n") Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:41 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:66 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError includes REPL context (real checker): Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:67 Expression: occursin("push!", s) Evaluated: occursin("push!", "MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult})\nThe type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it.\n\nClosest candidates are:\n Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache\n @ Base /opt/julia/share/julia/Compiler/src/types.jl:552\n") Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:41 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:67 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError prints multiple violations: Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:98 Expression: err isa BorrowCheckError Evaluated: MethodError(Compiler.OverlayCodeCache, (Compiler.InternalCodeCache(BorrowChecker.Auto.BCInterpOwner(), Compiler.WorldRange(0x0000000000009f1c, 0x0000000000009f1c)), Compiler.InferenceResult[]), 0x0000000000009be5) isa BorrowChecker.Auto.BorrowCheckError Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:71 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:98 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError prints multiple violations: Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:102 Expression: n >= 2 Evaluated: 0 >= 2 Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:71 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:102 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError prints multiple violations: Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:103 Expression: count("cannot perform write", s) >= 2 Evaluated: 0 >= 2 Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:71 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:103 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError prints file-backed source context (real checker): Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:139 Expression: err isa BorrowCheckError Evaluated: MethodError(Compiler.OverlayCodeCache, (Compiler.InternalCodeCache(BorrowChecker.Auto.BCInterpOwner(), Compiler.WorldRange(0x0000000000009f28, 0x0000000000009f28)), Compiler.InferenceResult[]), 0x0000000000009be5) isa BorrowChecker.Auto.BorrowCheckError Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:107 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:139 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError prints file-backed source context (real checker): Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:141 Expression: occursin("at $(path):", s) Evaluated: occursin("at /tmp/jl_GMzQzj:", "MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult})\nThe type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it.\n\nClosest candidates are:\n Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache\n @ Base /opt/julia/share/julia/Compiler/src/types.jl:552\n") Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:107 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:141 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError prints file-backed source context (real checker): Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:142 Expression: occursin("return sum(f(; x=x, y=y))", s) Evaluated: occursin("return sum(f(; x=x, y=y))", "MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult})\nThe type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it.\n\nClosest candidates are:\n Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache\n @ Base /opt/julia/share/julia/Compiler/src/types.jl:552\n") Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:107 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:142 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] BorrowCheckError prints file-backed source context (real checker): Test Failed at /home/pkgeval/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:143 Expression: occursin(r"(?m)^\s*>\s*9\s+return sum\(f\(; x=x, y=y\)\)", s) Evaluated: occursin(r"(?m)^\s*>\s*9\s+return sum\(f\(; x=x, y=y\)\)", "MethodError: no method matching Compiler.OverlayCodeCache(::Compiler.InternalCodeCache, ::Vector{Compiler.InferenceResult})\nThe type `Compiler.OverlayCodeCache` exists, but no method is defined for this combination of argument types when trying to construct it.\n\nClosest candidates are:\n Compiler.OverlayCodeCache(::Cache, !Matched::Compiler.InferenceCache) where Cache\n @ Base /opt/julia/share/julia/Compiler/src/types.jl:552\n") Stacktrace: [1] top-level scope @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:107 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/BorrowChecker/N7bMb/test/auto_printing_tests.jl:143 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [inlined] start_task at /source/src/task.c:1275 unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x0000703624cdee00 Total snapshots: 718. Utilization: 0% ╎718 @Base/task.jl:1168 wait_forever() 717╎ 718 @Base/task.jl:1246 wait() [1] signal 15: Terminated in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [inlined] start_task at /source/src/task.c:1275 unknown function (ip: (nil)) at (unknown file) Allocations: 17917835 (Pool: 17917183; Big: 652); GC: 14 [22] signal 15: Terminated in expression starting at REPL[2]:1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4342 jl_apply at /source/src/julia.h:2295 [inlined] start_task at /source/src/task.c:1275 unknown function (ip: (nil)) at (unknown file) Allocations: 75512038 (Pool: 75511444; Big: 594); GC: 32 PkgEval terminated after 911.76s: tests became inactive