Test error on Julia nightly (1.9)

[fredrikekre]

xref #985 (comment)

Stacktrace:

Internal error: encountered unexpected error in runtime:
TypeError(func=:TypeVar, context="upper bound", expected=Type, got=2)
ijl_type_error_rt at /buildworker/worker/package_linux64/build/src/rtutils.c:119
ijl_new_typevar at /buildworker/worker/package_linux64/build/src/builtins.c:1355
subtype_unionall at /buildworker/worker/package_linux64/build/src/subtype.c:795
subtype at /buildworker/worker/package_linux64/build/src/subtype.c:1260
subtype_unionall at /buildworker/worker/package_linux64/build/src/subtype.c:807
subtype at /buildworker/worker/package_linux64/build/src/subtype.c:1257
exists_subtype at /buildworker/worker/package_linux64/build/src/subtype.c:1395 [inlined]
forall_exists_subtype at /buildworker/worker/package_linux64/build/src/subtype.c:1423
ijl_subtype_env at /buildworker/worker/package_linux64/build/src/subtype.c:1878
jl_type_intersection_env_s at /buildworker/worker/package_linux64/build/src/subtype.c:3444
jl_type_intersection2 at /buildworker/worker/package_linux64/build/src/gf.c:1639 [inlined]
ml_matches at /buildworker/worker/package_linux64/build/src/gf.c:3058
ijl_matching_methods at /buildworker/worker/package_linux64/build/src/gf.c:1925
_methods_by_ftype at ./reflection.jl:930 [inlined]
#findall#259 at ./compiler/methodtable.jl:68 [inlined]
findall##kw at ./compiler/methodtable.jl:65 [inlined]
#262 at ./compiler/methodtable.jl:97
get! at ./iddict.jl:178 [inlined]
#findall#261 at ./compiler/methodtable.jl:96 [inlined]
findall##kw at ./compiler/methodtable.jl:95 [inlined]
find_matching_methods at ./compiler/abstractinterpretation.jl:286
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:50
abstract_call_known at ./compiler/abstractinterpretation.jl:1593
abstract_call at ./compiler/abstractinterpretation.jl:1649
abstract_call at ./compiler/abstractinterpretation.jl:1628
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1770
typeinf_local at ./compiler/abstractinterpretation.jl:2232
typeinf_nocycle at ./compiler/abstractinterpretation.jl:2328
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:856
abstract_call_method at ./compiler/abstractinterpretation.jl:593
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:132
abstract_call_known at ./compiler/abstractinterpretation.jl:1593
abstract_call at ./compiler/abstractinterpretation.jl:1649
abstract_call at ./compiler/abstractinterpretation.jl:1628
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1770
typeinf_local at ./compiler/abstractinterpretation.jl:2232
typeinf_nocycle at ./compiler/abstractinterpretation.jl:2328
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:856
abstract_call_method at ./compiler/abstractinterpretation.jl:593
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:127
abstract_call_known at ./compiler/abstractinterpretation.jl:1593
abstract_call at ./compiler/abstractinterpretation.jl:1649
abstract_call at ./compiler/abstractinterpretation.jl:1628
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1770
typeinf_local at ./compiler/abstractinterpretation.jl:2232
typeinf_nocycle at ./compiler/abstractinterpretation.jl:2328
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_edge at ./compiler/typeinfer.jl:856
abstract_call_method at ./compiler/abstractinterpretation.jl:593
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:132
abstract_call_known at ./compiler/abstractinterpretation.jl:1593
abstract_call at ./compiler/abstractinterpretation.jl:1649
abstract_call at ./compiler/abstractinterpretation.jl:1628
abstract_eval_statement at ./compiler/abstractinterpretation.jl:1770
typeinf_local at ./compiler/abstractinterpretation.jl:2232
typeinf_nocycle at ./compiler/abstractinterpretation.jl:2328
_typeinf at ./compiler/typeinfer.jl:226
typeinf at ./compiler/typeinfer.jl:209
typeinf_ext at ./compiler/typeinfer.jl:937
typeinf_ext_toplevel at ./compiler/typeinfer.jl:970
typeinf_ext_toplevel at ./compiler/typeinfer.jl:966
jfptr_typeinf_ext_toplevel_19679.clone_1 at /opt/hostedtoolcache/julia/nightly/x64/lib/julia/sys.so (unknown line)
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2331 [inlined]
ijl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2513
jl_apply at /buildworker/worker/package_linux64/build/src/julia.h:1825 [inlined]
jl_type_infer at /buildworker/worker/package_linux64/build/src/gf.c:305
jl_generate_fptr_impl at /buildworker/worker/package_linux64/build/src/jitlayers.cpp:314
jl_compile_method_internal at /buildworker/worker/package_linux64/build/src/gf.c:2047
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2323 [inlined]
ijl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2513
jl_apply at /buildworker/worker/package_linux64/build/src/julia.h:1825 [inlined]
do_apply at /buildworker/worker/package_linux64/build/src/builtins.c:725
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2331 [inlined]
ijl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2513
jl_apply at /buildworker/worker/package_linux64/build/src/julia.h:1825 [inlined]
do_call at /buildworker/worker/package_linux64/build/src/interpreter.c:126
eval_value at /buildworker/worker/package_linux64/build/src/interpreter.c:215
eval_body at /buildworker/worker/package_linux64/build/src/interpreter.c:467
eval_body at /buildworker/worker/package_linux64/build/src/interpreter.c:522
eval_body at /buildworker/worker/package_linux64/build/src/interpreter.c:522
eval_body at /buildworker/worker/package_linux64/build/src/interpreter.c:522
jl_interpret_toplevel_thunk at /buildworker/worker/package_linux64/build/src/interpreter.c:744
macro expansion at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.8/Test/src/Test.jl:464 [inlined]
macro expansion at /home/runner/work/StaticArrays.jl/StaticArrays.jl/test/convert.jl:11 [inlined]
macro expansion at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.8/Test/src/Test.jl:1357 [inlined]
top-level scope at /home/runner/work/StaticArrays.jl/StaticArrays.jl/test/convert.jl:11
jl_toplevel_eval_flex at /buildworker/worker/package_linux64/build/src/toplevel.c:906
jl_toplevel_eval_flex at /buildworker/worker/package_linux64/build/src/toplevel.c:850
ijl_toplevel_eval_in at /buildworker/worker/package_linux64/build/src/toplevel.c:965
eval at ./boot.jl:368 [inlined]
include_string at ./loading.jl:1277
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2331 [inlined]
ijl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2513
_include at ./loading.jl:1334
include at ./client.jl:476 [inlined]
addtests at /home/runner/work/StaticArrays.jl/StaticArrays.jl/test/runtests.jl:20
unknown function (ip: 0x7f557bdbe132)
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2331 [inlined]
ijl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2513
jl_apply at /buildworker/worker/package_linux64/build/src/julia.h:1825 [inlined]
do_call at /buildworker/worker/package_linux64/build/src/interpreter.c:126
eval_value at /buildworker/worker/package_linux64/build/src/interpreter.c:215
eval_stmt_value at /buildworker/worker/package_linux64/build/src/interpreter.c:166 [inlined]
eval_body at /buildworker/worker/package_linux64/build/src/interpreter.c:612
jl_interpret_toplevel_thunk at /buildworker/worker/package_linux64/build/src/interpreter.c:744
top-level scope at /home/runner/work/StaticArrays.jl/StaticArrays.jl/test/runtests.jl:40
jl_toplevel_eval_flex at /buildworker/worker/package_linux64/build/src/toplevel.c:906
jl_toplevel_eval_flex at /buildworker/worker/package_linux64/build/src/toplevel.c:850
ijl_toplevel_eval_in at /buildworker/worker/package_linux64/build/src/toplevel.c:965
eval at ./boot.jl:368 [inlined]
include_string at ./loading.jl:1277
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2331 [inlined]
ijl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2513
_include at ./loading.jl:1334
include at ./client.jl:476
unknown function (ip: 0x7f557bda74a2)
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2331 [inlined]
ijl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2513
jl_apply at /buildworker/worker/package_linux64/build/src/julia.h:1825 [inlined]
do_call at /buildworker/worker/package_linux64/build/src/interpreter.c:126
eval_value at /buildworker/worker/package_linux64/build/src/interpreter.c:215
eval_stmt_value at /buildworker/worker/package_linux64/build/src/interpreter.c:166 [inlined]
eval_body at /buildworker/worker/package_linux64/build/src/interpreter.c:612
jl_interpret_toplevel_thunk at /buildworker/worker/package_linux64/build/src/interpreter.c:744
top-level scope at none:6
jl_toplevel_eval_flex at /buildworker/worker/package_linux64/build/src/toplevel.c:906
jl_toplevel_eval_flex at /buildworker/worker/package_linux64/build/src/toplevel.c:850
ijl_toplevel_eval_in at /buildworker/worker/package_linux64/build/src/toplevel.c:965
eval at ./boot.jl:368 [inlined]
exec_options at ./client.jl:276
_start at ./client.jl:522
jfptr__start_35892.clone_1 at /opt/hostedtoolcache/julia/nightly/x64/lib/julia/sys.so (unknown line)
_jl_invoke at /buildworker/worker/package_linux64/build/src/gf.c:2331 [inlined]
ijl_apply_generic at /buildworker/worker/package_linux64/build/src/gf.c:2513
jl_apply at /buildworker/worker/package_linux64/build/src/julia.h:1825 [inlined]
true_main at /buildworker/worker/package_linux64/build/src/jlapi.c:562
jl_repl_entrypoint at /buildworker/worker/package_linux64/build/src/jlapi.c:706
main at /buildworker/worker/package_linux64/build/cli/loader_exe.c:59
__libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
_start at /opt/hostedtoolcache/julia/nightly/x64/bin/julia (unknown line)
Constructors of zero size arrays: Error During Test at /home/runner/work/StaticArrays.jl/StaticArrays.jl/test/testutil.jl:26
   [18] abstract_call_gf_by_type(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, atype::Any, sv::Core.Compiler.InferenceState, max_methods::Int64)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:132
   [19] abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1593
   [20] abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1649
   [21] abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1628
   [22] abstract_eval_statement(interp::Core.Compiler.NativeInterpreter, e::Any, vtypes::Vector{Core.Compiler.VarState}, sv::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1770
   [23] typeinf_local(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:2232
   [24] typeinf_nocycle(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:2328
   [25] _typeinf(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/typeinfer.jl:226
   [26] typeinf(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/typeinfer.jl:209
   [27] typeinf_edge(interp::Core.Compiler.NativeInterpreter, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/typeinfer.jl:856
   [28] abstract_call_method(interp::Core.Compiler.NativeInterpreter, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, sv::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:593
   [29] abstract_call_gf_by_type(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, atype::Any, sv::Core.Compiler.InferenceState, max_methods::Int64)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:127
   [30] abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1593
   [31] abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1649
   [32] abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1628
   [33] abstract_eval_statement(interp::Core.Compiler.NativeInterpreter, e::Any, vtypes::Vector{Core.Compiler.VarState}, sv::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1770
   [34] typeinf_local(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:2232
   [35] typeinf_nocycle(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:2328
   [36] _typeinf(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/typeinfer.jl:226
   [37] typeinf(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/typeinfer.jl:209
   [38] typeinf_edge(interp::Core.Compiler.NativeInterpreter, method::Method, atype::Any, sparams::Core.SimpleVector, caller::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/typeinfer.jl:856
   [39] abstract_call_method(interp::Core.Compiler.NativeInterpreter, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, sv::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:593
   [40] abstract_call_gf_by_type(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, atype::Any, sv::Core.Compiler.InferenceState, max_methods::Int64)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:132
   [41] abstract_call_known(interp::Core.Compiler.NativeInterpreter, f::Any, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1593
   [42] abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState, max_methods::Int64)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1649
   [43] abstract_call(interp::Core.Compiler.NativeInterpreter, arginfo::Core.Compiler.ArgInfo, sv::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1628
   [44] abstract_eval_statement(interp::Core.Compiler.NativeInterpreter, e::Any, vtypes::Vector{Core.Compiler.VarState}, sv::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:1770
   [45] typeinf_local(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:2232
   [46] typeinf_nocycle(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/abstractinterpretation.jl:2328
   [47] _typeinf(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/typeinfer.jl:226
   [48] typeinf(interp::Core.Compiler.NativeInterpreter, frame::Core.Compiler.InferenceState)
      @ Core.Compiler ./compiler/typeinfer.jl:209
   [49] typeinf
      @ ./compiler/typeinfer.jl:8 [inlined]
   [50] typeinf_type(interp::Core.Compiler.NativeInterpreter, method::Method, atype::Any, sparams::Core.SimpleVector)
      @ Core.Compiler ./compiler/typeinfer.jl:959
   [51] return_types(f::Any, types::Any, interp::Core.Compiler.NativeInterpreter)
      @ Base ./reflection.jl:1287
   [52] return_types(f::Any, types::Any)
      @ Base ./reflection.jl:1280
   [53] macro expansion
      @ /opt/hostedtoolcache/julia/nightly/x64/share/julia/stdlib/v1.8/Test/src/Test.jl:464 [inlined]
   [54] macro expansion
      @ ~/work/StaticArrays.jl/StaticArrays.jl/test/convert.jl:12 [inlined]
   [55] macro expansion
      @ /opt/hostedtoolcache/julia/nightly/x64/share/julia/stdlib/v1.8/Test/src/Test.jl:1357 [inlined]

[thchr]

This also happened on MacOS-latest x64 CI: https://github.com/JuliaArrays/StaticArrays.jl/runs/5281695686?check_suite_focus=true#step:5:339. So it seems it's happening across all platforms, albeit sporadically.

[fredrikekre]

I wonder if this might have been fixed on Julia master? Have anyone seen it recently on CI? I managed to repro some days ago on my local machine. However, then I wanted to record with rr, and in the process I recompiled Julia, presumably on a newer commit, and after that I could repro...

[thchr]

Happened on this recent commit as well: https://github.com/JuliaArrays/StaticArrays.jl/runs/5360214708?check_suite_focus=true#step:5:329

I rebased #998 to rerun CI on v1 but it didn't seem to happen there (but it is sporadic anyway, so might happen if we run it again, I suppose).

[fredrikekre]

Seems stale, probably fixed upstream.