Package evaluation of JET on Julia 1.13.0-DEV.427 (855bef3b06*) started at 2025-04-23T18:05:03.662 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.27s ################################################################################ # Installation # Installing JET... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [c3a54625] + JET v0.10.4 Updating `~/.julia/environments/v1.13/Manifest.toml` [da1fd8a2] + CodeTracking v1.3.9 [c3a54625] + JET v0.10.4 ⌅ [aa1ae85d] + JuliaInterpreter v0.9.46 [70703baa] + JuliaSyntax v1.0.2 ⌃ [6f1432cf] + LoweredCodeUtils v3.2.2 [1914dd2f] + MacroTools v0.5.16 [21216c6a] + Preferences v1.4.3 [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.12.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.12.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [f489334b] + StyledStrings v1.11.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 [deac9b47] + LibCURL_jll v8.12.1+1 [e37daf67] + LibGit2_jll v1.9.0+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2024.12.31 [458c3c95] + OpenSSL_jll v3.0.16+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Installation completed after 1.04s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/tgnBf/src/julia-1.11/activate_set.jl:63 Precompiling package dependencies... Precompilation completed after 168.73s ################################################################################ # Testing # Testing JET Test Could not use exact versions of packages in manifest. Re-resolving dependencies Updating `/tmp/jl_dAzL08/Project.toml` [4c88cf16] + Aqua v0.8.11 [6e4b80f9] + BenchmarkTools v1.6.0 [f68482b8] + Cthulhu v2.17.2 [7876af07] + Example v0.5.5 [c3a54625] + JET v0.10.4 [0f8b85d8] + JSON3 v1.14.2 ⌅ [70703baa] ↓ JuliaSyntax v1.0.2 ⇒ v0.4.10 ⌃ [295af30f] + Revise v3.7.5 [90137ffa] + StaticArrays v1.9.13 Updating `/tmp/jl_dAzL08/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [4c88cf16] + Aqua v0.8.11 [6e4b80f9] + BenchmarkTools v1.6.0 [34da2185] + Compat v4.16.0 [f68482b8] + Cthulhu v2.17.2 [7876af07] + Example v0.5.5 [1eca21be] + FoldingTrees v1.2.2 [c3a54625] + JET v0.10.4 [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.2 ⌅ [70703baa] ↓ JuliaSyntax v1.0.2 ⇒ v0.4.10 [bac558e1] + OrderedCollections v1.8.0 [69de0a69] + Parsers v2.8.2 [aea7be01] + PrecompileTools v1.3.2 [ae029012] + Requires v1.3.1 ⌃ [295af30f] + Revise v3.7.5 [90137ffa] + StaticArrays v1.9.13 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.0 [d265eb64] + TypedSyntax v1.4.2 [b8c1c048] + WidthLimitedIO v1.0.1 [37e2e46d] + LinearAlgebra v1.12.0 [a63ad114] + Mmap v1.11.0 [9abbd945] + Profile v1.11.0 [3fa0cd96] + REPL v1.11.0 [6462fe0b] + Sockets v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [8e850b90] + libblastrampoline_jll v5.12.0+0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_dAzL08/Project.toml` [4c88cf16] Aqua v0.8.11 [6e4b80f9] BenchmarkTools v1.6.0 [da1fd8a2] CodeTracking v1.3.9 [f68482b8] Cthulhu v2.17.2 [7876af07] Example v0.5.5 [c3a54625] JET v0.10.4 [0f8b85d8] JSON3 v1.14.2 ⌅ [aa1ae85d] JuliaInterpreter v0.9.46 ⌅ [70703baa] JuliaSyntax v0.4.10 ⌃ [6f1432cf] LoweredCodeUtils v3.2.2 [1914dd2f] MacroTools v0.5.16 [21216c6a] Preferences v1.4.3 ⌃ [295af30f] Revise v3.7.5 [90137ffa] StaticArrays v1.9.13 [b77e0a4c] InteractiveUtils v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [44cfe95a] Pkg v1.12.0 [9a3f8284] Random v1.11.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 Status `/tmp/jl_dAzL08/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [4c88cf16] Aqua v0.8.11 [6e4b80f9] BenchmarkTools v1.6.0 [da1fd8a2] CodeTracking v1.3.9 [34da2185] Compat v4.16.0 [f68482b8] Cthulhu v2.17.2 [7876af07] Example v0.5.5 [1eca21be] FoldingTrees v1.2.2 [c3a54625] JET v0.10.4 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.2 ⌅ [aa1ae85d] JuliaInterpreter v0.9.46 ⌅ [70703baa] JuliaSyntax v0.4.10 ⌃ [6f1432cf] LoweredCodeUtils v3.2.2 [1914dd2f] MacroTools v0.5.16 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.2 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [ae029012] Requires v1.3.1 ⌃ [295af30f] Revise v3.7.5 [90137ffa] StaticArrays v1.9.13 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [856f2bd8] StructTypes v1.11.0 [d265eb64] TypedSyntax v1.4.2 [b8c1c048] WidthLimitedIO v1.0.1 [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.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [f489334b] StyledStrings v1.11.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.12.1+1 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2024.12.31 [4536629a] OpenBLAS_jll v0.3.29+0 [458c3c95] OpenSSL_jll v3.0.16+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.12.0+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Testing Running tests... ┌ Info: JET setup information: └ JET.JET_DEV_MODE = false WARNING: Method definition foo(Any, Any) in module anonymous at /home/pkgeval/.julia/packages/JET/hFQlc/test/abstractinterpret/test_typeinfer.jl:139 overwritten at /home/pkgeval/.julia/packages/JET/hFQlc/test/abstractinterpret/test_typeinfer.jl:141. WARNING: Method definition bar(Any, Any) in module anonymous at /home/pkgeval/.julia/packages/JET/hFQlc/test/abstractinterpret/test_typeinfer.jl:146 overwritten at /home/pkgeval/.julia/packages/JET/hFQlc/test/abstractinterpret/test_typeinfer.jl:148. WARNING: Method definition baz(Any, Any) in module anonymous at /home/pkgeval/.julia/packages/JET/hFQlc/test/abstractinterpret/test_typeinfer.jl:152 overwritten at /home/pkgeval/.julia/packages/JET/hFQlc/test/abstractinterpret/test_typeinfer.jl:155. WARNING: Method definition func_impl(Any) in module ##JETVirtualModule#399 at /home/pkgeval/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:909 overwritten at /home/pkgeval/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:912. world age: Error During Test at /home/pkgeval/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:1411 Got exception outside of a @test AssertionError: found nested MustAlias Stacktrace: [1] assert_nested_slotwrapper @ ./../usr/share/julia/Compiler/src/typelattice.jl:204 [inlined] [2] Compiler.Conditional(slot::Int64, thentype::Any, elsetype::Any; isdefined::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typelattice.jl:42 [3] Conditional @ ./../usr/share/julia/Compiler/src/typelattice.jl:39 [inlined] [4] Conditional @ ./../usr/share/julia/Compiler/src/typelattice.jl:46 [inlined] [5] abstract_call_builtin(interp::JETAnalyzer{JET.BasicPass}, f::Core.Builtin, ::Compiler.ArgInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2128 [6] abstract_call_known(interp::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2672 [7] abstract_call_known(analyzer::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:80 [8] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2892 [9] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2885 [inlined] [10] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3045 [11] abstract_eval_call(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3063 [12] abstract_eval_statement_expr(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3402 [13] abstract_eval_statement_expr @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:436 [inlined] [14] abstract_eval_statement_expr(analyzer::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:294 [15] abstract_eval_basic_statement(interp::JETAnalyzer{JET.BasicPass}, stmt::Any, sstate::Compiler.StatementState, frame::Compiler.InferenceState, result::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3776 [16] abstract_eval_basic_statement @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:405 [inlined] [17] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3733 [inlined] [18] typeinf_local(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4282 [19] typeinf(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4440 [20] typeinf @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:310 [inlined] [21] const_prop_call(interp::JETAnalyzer{JET.BasicPass}, mi::MethodInstance, result::Compiler.MethodCallResult, arginfo::Compiler.ArgInfo, sv::Compiler.InferenceState, concrete_eval_result::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:1354 [22] const_prop_call @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:53 [inlined] [23] abstract_call_method_with_const_args(interp::JETAnalyzer{JET.BasicPass}, result::Compiler.MethodCallResult, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, match::Core.MethodMatch, sv::Compiler.InferenceState, invokecall::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:904 [24] abstract_call_method_with_const_args @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:874 [inlined] [25] (::Compiler.var"#handle1#abstract_call_gf_by_type##1"{Int64, Compiler.Future{Compiler.MethodCallResult}, Int64, Vector{Union{Nothing, CodeInstance}}, Core.MethodMatch, Compiler.ArgInfo, Compiler.StmtInfo, Compiler.CallInferenceState, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}})(interp::JETAnalyzer{JET.BasicPass}, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:178 [26] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}})(interp::JETAnalyzer{JET.BasicPass}, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:252 [27] abstract_call_gf_by_type(interp::JETAnalyzer{JET.BasicPass}, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:338 [28] abstract_call_gf_by_type(analyzer::JETAnalyzer{JET.BasicPass}, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, sv::Compiler.InferenceState, max_methods::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:200 [29] abstract_call_known(interp::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2785 [30] abstract_call_known(analyzer::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:80 [31] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2892 [32] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2885 [inlined] [33] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3045 [34] abstract_eval_call(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3063 [35] abstract_eval_statement_expr(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3402 [36] abstract_eval_statement_expr @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:436 [inlined] [37] abstract_eval_statement_expr(analyzer::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:294 [38] abstract_eval_basic_statement(interp::JETAnalyzer{JET.BasicPass}, stmt::Any, sstate::Compiler.StatementState, frame::Compiler.InferenceState, result::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3776 [39] abstract_eval_basic_statement @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:405 [inlined] [40] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3733 [inlined] [41] typeinf_local(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4282 [42] typeinf(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4440 [43] typeinf @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:310 [inlined] [44] analyze_frame! @ ~/.julia/packages/JET/hFQlc/src/JETBase.jl:675 [inlined] [45] analyze_toplevel!(analyzer::JETAnalyzer{JET.BasicPass}, src::CodeInfo, context_module::Module) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:1539 [46] _virtual_process!(res::JET.VirtualProcessResult, toplevelex::Expr, filename::String, analyzer::JETAnalyzer{JET.BasicPass}, config::ToplevelConfig, context::Module, pkg_mod_depth::Int64, force_concretize::Bool) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:830 [47] _virtual_process! @ ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:600 [inlined] [48] virtual_process(x::Expr, filename::String, analyzer::JETAnalyzer{JET.BasicPass}, config::ToplevelConfig) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:433 [49] analyze_toplevel(ex::Expr, lnn::LineNumberNode; jetconfigs::@Kwargs{}) @ Main.test_virtualprocess ~/.julia/packages/JET/hFQlc/test/interactive_utils.jl:102 [50] analyze_toplevel(ex::Expr, lnn::LineNumberNode) @ Main.test_virtualprocess ~/.julia/packages/JET/hFQlc/test/interactive_utils.jl:95 [51] top-level scope @ ~/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:1413 [52] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [53] macro expansion @ ~/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:1421 [inlined] [54] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [55] top-level scope @ ~/.julia/packages/JET/hFQlc/test/runtests.jl:25 [56] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [57] macro expansion @ ~/.julia/packages/JET/hFQlc/test/runtests.jl:33 [inlined] --- the above 2 lines are repeated 1 more time --- [60] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [61] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [62] top-level scope @ none:6 [63] eval(m::Module, e::Any) @ Core ./boot.jl:489 [64] exec_options(opts::Base.JLOptions) @ Base ./client.jl:297 @test macros: Error During Test at /home/pkgeval/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:2143 Got exception outside of a @test AssertionError: found nested MustAlias Stacktrace: [1] assert_nested_slotwrapper @ ./../usr/share/julia/Compiler/src/typelattice.jl:204 [inlined] [2] Compiler.Conditional(slot::Int64, thentype::Any, elsetype::Any; isdefined::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typelattice.jl:42 [3] Conditional @ ./../usr/share/julia/Compiler/src/typelattice.jl:39 [inlined] [4] Conditional @ ./../usr/share/julia/Compiler/src/typelattice.jl:46 [inlined] [5] abstract_call_builtin(interp::JETAnalyzer{JET.BasicPass}, f::Core.Builtin, ::Compiler.ArgInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2128 [6] abstract_call_known(interp::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2672 [7] abstract_call_known(analyzer::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:80 [8] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2892 [9] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2885 [inlined] [10] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3045 [11] abstract_eval_call(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3063 [12] abstract_eval_statement_expr(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3402 [13] abstract_eval_statement_expr @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:436 [inlined] [14] abstract_eval_statement_expr(analyzer::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:294 [15] abstract_eval_basic_statement(interp::JETAnalyzer{JET.BasicPass}, stmt::Any, sstate::Compiler.StatementState, frame::Compiler.InferenceState, result::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3776 [16] abstract_eval_basic_statement @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:405 [inlined] [17] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3733 [inlined] [18] typeinf_local(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4282 [19] typeinf(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4440 [20] typeinf @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:310 [inlined] [21] const_prop_call(interp::JETAnalyzer{JET.BasicPass}, mi::MethodInstance, result::Compiler.MethodCallResult, arginfo::Compiler.ArgInfo, sv::Compiler.InferenceState, concrete_eval_result::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:1354 [22] const_prop_call @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:53 [inlined] [23] abstract_call_method_with_const_args(interp::JETAnalyzer{JET.BasicPass}, result::Compiler.MethodCallResult, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, match::Core.MethodMatch, sv::Compiler.InferenceState, invokecall::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:904 [24] abstract_call_method_with_const_args @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:874 [inlined] [25] (::Compiler.var"#handle1#abstract_call_gf_by_type##1"{Int64, Compiler.Future{Compiler.MethodCallResult}, Int64, Vector{Union{Nothing, CodeInstance}}, Core.MethodMatch, Compiler.ArgInfo, Compiler.StmtInfo, Compiler.CallInferenceState, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}})(interp::JETAnalyzer{JET.BasicPass}, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:178 [26] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}})(interp::JETAnalyzer{JET.BasicPass}, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:252 [27] abstract_call_gf_by_type(interp::JETAnalyzer{JET.BasicPass}, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:338 [28] abstract_call_gf_by_type(analyzer::JETAnalyzer{JET.BasicPass}, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, sv::Compiler.InferenceState, max_methods::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:200 [29] abstract_call_known(interp::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2785 [30] abstract_call_known(analyzer::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:80 [31] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2892 [32] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2885 [inlined] [33] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3045 [34] abstract_eval_call(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3063 [35] abstract_eval_statement_expr(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3402 [36] abstract_eval_statement_expr @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:436 [inlined] [37] abstract_eval_statement_expr(analyzer::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:294 [38] abstract_eval_basic_statement(interp::JETAnalyzer{JET.BasicPass}, stmt::Any, sstate::Compiler.StatementState, frame::Compiler.InferenceState, result::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3776 [39] abstract_eval_basic_statement @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:405 [inlined] [40] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3733 [inlined] [41] typeinf_local(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4282 [42] typeinf(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4440 [43] typeinf @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:310 [inlined] [44] analyze_frame! @ ~/.julia/packages/JET/hFQlc/src/JETBase.jl:675 [inlined] [45] analyze_toplevel!(analyzer::JETAnalyzer{JET.BasicPass}, src::CodeInfo, context_module::Module) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:1539 [46] _virtual_process!(res::JET.VirtualProcessResult, toplevelex::Expr, filename::String, analyzer::JETAnalyzer{JET.BasicPass}, config::ToplevelConfig, context::Module, pkg_mod_depth::Int64, force_concretize::Bool) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:830 [47] _virtual_process! @ ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:600 [inlined] [48] virtual_process(x::Expr, filename::String, analyzer::JETAnalyzer{JET.BasicPass}, config::ToplevelConfig) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:433 [49] analyze_toplevel(ex::Expr, lnn::LineNumberNode; jetconfigs::@Kwargs{context::Module, virtualize::Bool}) @ Main.test_virtualprocess ~/.julia/packages/JET/hFQlc/test/interactive_utils.jl:102 [50] top-level scope @ ~/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:2144 [51] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [52] macro expansion @ ~/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:2148 [inlined] [53] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [54] top-level scope @ ~/.julia/packages/JET/hFQlc/test/runtests.jl:25 [55] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [56] macro expansion @ ~/.julia/packages/JET/hFQlc/test/runtests.jl:33 [inlined] --- the above 2 lines are repeated 1 more time --- [59] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [60] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [61] top-level scope @ none:6 [62] eval(m::Module, e::Any) @ Core ./boot.jl:489 [63] exec_options(opts::Base.JLOptions) @ Base ./client.jl:297 test file targets: Error During Test at /home/pkgeval/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:2275 Got exception outside of a @test AssertionError: found nested MustAlias Stacktrace: [1] assert_nested_slotwrapper @ ./../usr/share/julia/Compiler/src/typelattice.jl:204 [inlined] [2] Compiler.Conditional(slot::Int64, thentype::Any, elsetype::Any; isdefined::Bool) @ Compiler ./../usr/share/julia/Compiler/src/typelattice.jl:42 [3] Conditional @ ./../usr/share/julia/Compiler/src/typelattice.jl:39 [inlined] [4] Conditional @ ./../usr/share/julia/Compiler/src/typelattice.jl:46 [inlined] [5] abstract_call_builtin(interp::JETAnalyzer{JET.BasicPass}, f::Core.Builtin, ::Compiler.ArgInfo, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2128 [6] abstract_call_known(interp::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2672 [7] abstract_call_known(analyzer::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:80 [8] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2892 [9] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2885 [inlined] [10] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3045 [11] abstract_eval_call(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3063 [12] abstract_eval_statement_expr(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3402 [13] abstract_eval_statement_expr @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:436 [inlined] [14] abstract_eval_statement_expr(analyzer::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:294 [15] abstract_eval_basic_statement(interp::JETAnalyzer{JET.BasicPass}, stmt::Any, sstate::Compiler.StatementState, frame::Compiler.InferenceState, result::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3776 [16] abstract_eval_basic_statement @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:405 [inlined] [17] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3733 [inlined] [18] typeinf_local(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4282 [19] typeinf(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4440 [20] typeinf @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:310 [inlined] [21] const_prop_call(interp::JETAnalyzer{JET.BasicPass}, mi::MethodInstance, result::Compiler.MethodCallResult, arginfo::Compiler.ArgInfo, sv::Compiler.InferenceState, concrete_eval_result::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:1354 [22] const_prop_call @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:53 [inlined] [23] abstract_call_method_with_const_args(interp::JETAnalyzer{JET.BasicPass}, result::Compiler.MethodCallResult, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, match::Core.MethodMatch, sv::Compiler.InferenceState, invokecall::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:904 [24] abstract_call_method_with_const_args @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:874 [inlined] [25] (::Compiler.var"#handle1#abstract_call_gf_by_type##1"{Int64, Compiler.Future{Compiler.MethodCallResult}, Int64, Vector{Union{Nothing, CodeInstance}}, Core.MethodMatch, Compiler.ArgInfo, Compiler.StmtInfo, Compiler.CallInferenceState, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}})(interp::JETAnalyzer{JET.BasicPass}, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:178 [26] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{Compiler.ArgInfo, Compiler.StmtInfo, Compiler.CallInferenceState, Compiler.Future{Compiler.CallMeta}, Vector{Compiler.MethodMatchTarget}, Vector{Any}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#tmerge##0#tmerge##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.var"#⊑##0#⊑##1"{Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.MustAliasesLattice{Compiler.ConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}, Compiler.InferenceLattice{JET.IntrinsicErrorCheckLattice{Compiler.InterMustAliasesLattice{Compiler.InterConditionalsLattice{Compiler.PartialsLattice{Compiler.ConstsLattice}}}}}})(interp::JETAnalyzer{JET.BasicPass}, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:252 [27] abstract_call_gf_by_type(interp::JETAnalyzer{JET.BasicPass}, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:338 [28] abstract_call_gf_by_type(analyzer::JETAnalyzer{JET.BasicPass}, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, sv::Compiler.InferenceState, max_methods::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:200 [29] abstract_call_known(interp::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2785 [30] abstract_call_known(analyzer::JETAnalyzer{JET.BasicPass}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:80 [31] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2892 [32] abstract_call @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2885 [inlined] [33] abstract_call(interp::JETAnalyzer{JET.BasicPass}, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3045 [34] abstract_eval_call(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3063 [35] abstract_eval_statement_expr(interp::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3402 [36] abstract_eval_statement_expr @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:436 [inlined] [37] abstract_eval_statement_expr(analyzer::JETAnalyzer{JET.BasicPass}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:294 [38] abstract_eval_basic_statement(interp::JETAnalyzer{JET.BasicPass}, stmt::Any, sstate::Compiler.StatementState, frame::Compiler.InferenceState, result::Nothing) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3776 [39] abstract_eval_basic_statement @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:405 [inlined] [40] abstract_eval_basic_statement @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3733 [inlined] [41] typeinf_local(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4282 [42] typeinf(interp::JETAnalyzer{JET.BasicPass}, frame::Compiler.InferenceState) @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4440 [43] typeinf @ ~/.julia/packages/JET/hFQlc/src/abstractinterpret/typeinfer.jl:310 [inlined] [44] analyze_frame! @ ~/.julia/packages/JET/hFQlc/src/JETBase.jl:675 [inlined] [45] analyze_toplevel!(analyzer::JETAnalyzer{JET.BasicPass}, src::CodeInfo, context_module::Module) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:1539 [46] _virtual_process!(res::JET.VirtualProcessResult, toplevelex::Expr, filename::String, analyzer::JETAnalyzer{JET.BasicPass}, config::ToplevelConfig, context::Module, pkg_mod_depth::Int64, force_concretize::Bool) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:830 [47] _virtual_process! @ ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:600 [inlined] [48] _virtual_process!(res::JET.VirtualProcessResult, s::String, filename::String, analyzer::JETAnalyzer{JET.BasicPass}, config::ToplevelConfig, context::Module, pkg_mod_depth::Int64) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:575 [49] virtual_process(x::String, filename::String, analyzer::JETAnalyzer{JET.BasicPass}, config::ToplevelConfig) @ JET ~/.julia/packages/JET/hFQlc/src/toplevel/virtualprocess.jl:433 [50] analyze_and_report_text!(analyzer::JETAnalyzer{JET.BasicPass}, text::String, filename::String, pkgid::Nothing; jetconfigs::@Kwargs{toplevel_logger::Nothing}) @ JET ~/.julia/packages/JET/hFQlc/src/JETBase.jl:889 [51] analyze_and_report_file!(analyzer::JETAnalyzer{JET.BasicPass}, filename::String, pkgid::Nothing; jetconfigs::@Kwargs{toplevel_logger::Nothing}) @ JET ~/.julia/packages/JET/hFQlc/src/JETBase.jl:697 [52] analyze_and_report_file! (repeats 2 times) @ ~/.julia/packages/JET/hFQlc/src/JETBase.jl:692 [inlined] [53] report_file(args::String; jetconfigs::@Kwargs{toplevel_logger::Nothing}) @ JET ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:1527 [54] report_file @ ~/.julia/packages/JET/hFQlc/src/analyzers/jetanalyzer.jl:1524 [inlined] [55] report_file2(args::String) @ Main.test_virtualprocess ~/.julia/packages/JET/hFQlc/test/interactive_utils.jl:107 [56] top-level scope @ ~/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:2276 [57] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [58] macro expansion @ ~/.julia/packages/JET/hFQlc/test/toplevel/test_virtualprocess.jl:2278 [inlined] [59] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [60] top-level scope @ ~/.julia/packages/JET/hFQlc/test/runtests.jl:25 [61] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [62] macro expansion @ ~/.julia/packages/JET/hFQlc/test/runtests.jl:33 [inlined] --- the above 2 lines are repeated 1 more time --- [65] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [66] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [67] top-level scope @ none:6 [68] eval(m::Module, e::Any) @ Core ./boot.jl:489 [69] exec_options(opts::Base.JLOptions) @ Base ./client.jl:297 ┌ Warning: bad performance detected: @report_call report_pass=FreshPass(JET.BasicPass()) println(QuoteNode(nothing)) │ stats.time = 39.039572598 └ @ Main.performance ~/.julia/packages/JET/hFQlc/test/performance.jl:21 ┌ Warning: bad performance detected: @report_call report_pass=FreshPass(JET.SoundPass()) println(QuoteNode(nothing)) │ stats.time = 40.47018323 └ @ Main.performance ~/.julia/packages/JET/hFQlc/test/performance.jl:36 Test Summary: | Pass Error Broken Total Time JET.jl | 1165 3 38 1206 20m16.9s abstractinterpret | 175 12 187 3m38.6s toplevel | 422 3 19 444 2m52.0s virtualprocess.jl | 422 3 19 444 2m52.0s syntax error reports | 4 4 0.8s virtualize module context | 8 8 0.3s test to_simple_module_usages | 7 7 0.2s 'toplevel definitions' | 30 1 31 1.5s macro expansions | 9 6 15 1.7s `const` handling | 7 7 0.5s expression flattening | 1 1 0.0s handle `include` | 50 50 6.5s module definition | 1 1 0.0s module definition | 1 1 0.0s module definition | 1 1 0.0s module usage | 42 42 0.4s sequential | 2 2 0.0s abstract global variables | 34 6 40 3.1s toplevel throw | 1 1 0.0s error handling within ConcreteInterpreter | 16 16 3.1s non-deterministic abstract global assignments | 5 1 6 0.0s docstrings | 2 2 0.1s world age | 1 1 2 10.8s avoid too much bail out from `_virtual_process!` | 2 2 0.0s custom concretization pattern | 5 2 7 1.7s configuration file | 2 1 3 12.1s `collect_toplevel_signature!` | 9 9 38.1s `analyze_from_definitions=true` | 17 1 18 1.6s `analyze_from_definitions=name::Symbol` | 3 3 0.4s top-level statement selection | 84 1 85 3.9s @test macros | 1 1 0.9s test file targets | 1 1 1.2s @generated function | 5 5 0.2s package dependency | 65 65 1m15.7s ui | 86 86 15.7s misc | 21 21 2.7s Test.jl integration | 74 74 54.8s JETInterface | 7 7 2m49.6s analyzers | 360 7 367 5m37.1s performance | 2 2 1m23.0s sanity check | 11 11 1m02.1s self check | 5 5 56.6s extensions | 2 2 44.8s RNG of the outermost testset: Random.Xoshiro(0x435afe2272236c8b, 0xdeb99468ea38d09b, 0x2971ec50957d3120, 0xe894558ce87f9e40, 0x0acfafca77bd27bc) ERROR: LoadError: Some tests did not pass: 1165 passed, 0 failed, 3 errored, 38 broken. in expression starting at /home/pkgeval/.julia/packages/JET/hFQlc/test/runtests.jl:24 Testing failed after 1234.98s ERROR: LoadError: Package JET errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/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.13/Pkg/src/Operations.jl:2414 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2269 [inlined] [4] 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.13/Pkg/src/API.jl:486 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:303 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:331 [12] _start() @ Base ./client.jl:563 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 1432.84s: package tests unexpectedly errored