A TypeError crashes Julia

[olivierverdier]

The following code crashes Julia

using Test
import Pkg
Pkg.add("Manifolds")
using Manifolds



@testset "Julia crash" for M in
    [
        Sphere(2),
    ]
    @test_throws TypeError [] isa Vector{<:Sphere(3)}
end

See a discussion in this issue and a reproduction of the problem in this repo.

[nsajko]

Internal error: during type inference of
Tuple{}
Encountered unexpected error in runtime:
TypeError(func=:TypeVar, context="upper bound", expected=Type, got=Manifolds.Sphere{ManifoldsBase.TypeParameter{Tuple{3}}, ManifoldsBase.RealNumbers()}(size=ManifoldsBase.TypeParameter{Tuple{3}}()))
ijl_type_error_rt at /cache/build/builder-amdci4-5/julialang/julia-master/src/rtutils.c:119
ijl_new_typevar at /cache/build/builder-amdci4-5/julialang/julia-master/src/builtins.c:1628
typevar_tfunc at ./compiler/tfuncs.jl:604
#abstract_call_known##0 at ./compiler/abstractinterpretation.jl:2385
#258 at ./compiler/inferencestate.jl:1183
jfptr_YY.258_44254.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
doworkloop at ./compiler/inferencestate.jl:1205
jfptr_doworkloop_44325.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
typeinf at ./compiler/abstractinterpretation.jl:3796
typeinf_ext at ./compiler/typeinfer.jl:1081
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1152 [inlined]
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1150
jfptr_typeinf_ext_toplevel_47724.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
jl_type_infer at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:394
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1036
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:987
ijl_toplevel_eval at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1058
ijl_toplevel_eval_in at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1100
eval at ./boot.jl:459 [inlined]
include_string at ./loading.jl:2798
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
_include at ./loading.jl:2858
include at ./Base.jl:582 [inlined]
exec_options at ./client.jl:329
_start at ./client.jl:558
jfptr__start_80519.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
true_main at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:900
jl_repl_entrypoint at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:1059
main at /cache/build/builder-amdci4-5/julialang/julia-master/cli/loader_exe.c:58
unknown function (ip: 0x7ac5a3fc8e07) at /usr/lib/libc.so.6
__libc_start_main at /usr/lib/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S

[70905] signal 6 (-6): Aborted
in expression starting at /tmp/jl.jl:3
unknown function (ip: 0x7ac5a40393f4) at /usr/lib/libc.so.6
gsignal at /usr/lib/libc.so.6 (unknown line)
abort at /usr/lib/libc.so.6 (unknown line)
jl_type_infer at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:413
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1036
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:987
ijl_toplevel_eval at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1058
ijl_toplevel_eval_in at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1100
eval at ./boot.jl:459 [inlined]
include_string at ./loading.jl:2798
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
_include at ./loading.jl:2858
include at ./Base.jl:582 [inlined]
exec_options at ./client.jl:329
_start at ./client.jl:558
jfptr__start_80519.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
true_main at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:900
jl_repl_entrypoint at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:1059
main at /cache/build/builder-amdci4-5/julialang/julia-master/cli/loader_exe.c:58
unknown function (ip: 0x7ac5a3fc8e07) at /usr/lib/libc.so.6
__libc_start_main at /usr/lib/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
Allocations: 6479295 (Pool: 6478947; Big: 348); GC: 12
Aborted (core dumped)

Version info:

Julia Version 1.12.0-DEV.1437
Commit 877de983980 (2024-10-19 13:46 UTC)
Build Info:
  Official https://julialang.org release
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 8 × AMD Ryzen 3 5300U with Radeon Graphics
  WORD_SIZE: 64
  LLVM: libLLVM-18.1.7 (ORCJIT, znver2)
Threads: 1 default, 0 interactive, 1 GC (on 8 virtual cores)
Environment:
  JULIA_NUM_PRECOMPILE_TASKS = 4
  JULIA_PKG_PRECOMPILE_AUTO = 0

[nsajko]

Just a wild guess, but this could have something to do with the abuse of constructs like, for example, Tuple{3} in that package. The error message indicates that a non-Type appeared somewhere where a Type was expected.

[nsajko]

A better reproducer is provided in the linked issue:

using Test

@testset "Julia crash" for M in [42]
    @test_throws TypeError [] isa Vector{<:3}
end

Result:

Internal error: during type inference of
Tuple{}
Encountered unexpected error in runtime:
TypeError(func=:TypeVar, context="upper bound", expected=Type, got=3)
ijl_type_error_rt at /cache/build/builder-amdci4-5/julialang/julia-master/src/rtutils.c:119
ijl_new_typevar at /cache/build/builder-amdci4-5/julialang/julia-master/src/builtins.c:1628
typevar_tfunc at ./compiler/tfuncs.jl:604
#abstract_call_known##0 at ./compiler/abstractinterpretation.jl:2385
#258 at ./compiler/inferencestate.jl:1183
jfptr_YY.258_44254.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
doworkloop at ./compiler/inferencestate.jl:1205
jfptr_doworkloop_44325.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
typeinf at ./compiler/abstractinterpretation.jl:3796
typeinf_ext at ./compiler/typeinfer.jl:1081
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1152 [inlined]
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1150
jfptr_typeinf_ext_toplevel_47724.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
jl_type_infer at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:394
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1036
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:987
ijl_toplevel_eval at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1058
ijl_toplevel_eval_in at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1100
eval at ./boot.jl:459 [inlined]
include_string at ./loading.jl:2798
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
_include at ./loading.jl:2858
include at ./Base.jl:582 [inlined]
exec_options at ./client.jl:329
_start at ./client.jl:558
jfptr__start_80519.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
true_main at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:900
jl_repl_entrypoint at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:1059
main at /cache/build/builder-amdci4-5/julialang/julia-master/cli/loader_exe.c:58
unknown function (ip: 0x75385d0e3e07) at /usr/lib/libc.so.6
__libc_start_main at /usr/lib/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S

[74329] signal 6 (-6): Aborted
in expression starting at /tmp/jl.jl:3
unknown function (ip: 0x75385d1543f4) at /usr/lib/libc.so.6
gsignal at /usr/lib/libc.so.6 (unknown line)
abort at /usr/lib/libc.so.6 (unknown line)
jl_type_infer at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:413
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1036
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:987
ijl_toplevel_eval at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1058
ijl_toplevel_eval_in at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1100
eval at ./boot.jl:459 [inlined]
include_string at ./loading.jl:2798
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
_include at ./loading.jl:2858
include at ./Base.jl:582 [inlined]
exec_options at ./client.jl:329
_start at ./client.jl:558
jfptr__start_80519.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
true_main at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:900
jl_repl_entrypoint at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:1059
main at /cache/build/builder-amdci4-5/julialang/julia-master/cli/loader_exe.c:58
unknown function (ip: 0x75385d0e3e07) at /usr/lib/libc.so.6
__libc_start_main at /usr/lib/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
Allocations: 1 (Pool: 1; Big: 0); GC: 0
Aborted (core dumped)

[nsajko]

Minimal reproducer:

julia> for M ∈ [42]
           try
               [] isa Vector{<:3}
           catch e
               if e isa TypeError
                   3
               else
                   7
               end
           end
       end
Internal error: during type inference of
Tuple{}
Encountered unexpected error in runtime:
TypeError(func=:TypeVar, context="upper bound", expected=Type, got=3)
ijl_type_error_rt at /cache/build/builder-amdci4-5/julialang/julia-master/src/rtutils.c:119
ijl_new_typevar at /cache/build/builder-amdci4-5/julialang/julia-master/src/builtins.c:1628
typevar_tfunc at ./compiler/tfuncs.jl:604
#abstract_call_known##0 at ./compiler/abstractinterpretation.jl:2385
#258 at ./compiler/inferencestate.jl:1183
jfptr_YY.258_44254.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
doworkloop at ./compiler/inferencestate.jl:1205
jfptr_doworkloop_44325.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
typeinf at ./compiler/abstractinterpretation.jl:3796
typeinf_ext at ./compiler/typeinfer.jl:1081
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1152 [inlined]
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1150
jfptr_typeinf_ext_toplevel_47724.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
jl_type_infer at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:394
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1036
__repl_entry_eval_expanded_with_loc at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:341
toplevel_eval_with_hooks at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:348
toplevel_eval_with_hooks at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:352
toplevel_eval_with_hooks at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:345 [inlined]
eval_user_input at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:370
repl_backend_loop at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:482
#start_repl_backend#41 at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:467
start_repl_backend at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:464 [inlined]
#run_repl#48 at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:690
run_repl at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:676
jfptr_run_repl_23264.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/share/julia/compiled/v1.12/REPL/u0gqU_EUM9W.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
run_std_repl at ./client.jl:490
jfptr_run_std_repl_25933.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/share/julia/compiled/v1.12/REPL/u0gqU_EUM9W.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
jl_f__call_latest at /cache/build/builder-amdci4-5/julialang/julia-master/src/builtins.c:883
#invokelatest#1 at ./essentials.jl:1049 [inlined]
invokelatest at ./essentials.jl:1046 [inlined]
run_main_repl at ./client.jl:511
repl_main at ./client.jl:593 [inlined]
_start at ./client.jl:568
jfptr__start_80519.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
true_main at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:900
jl_repl_entrypoint at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:1059
main at /cache/build/builder-amdci4-5/julialang/julia-master/cli/loader_exe.c:58
unknown function (ip: 0x72e3e89c0e07) at /usr/lib/libc.so.6
__libc_start_main at /usr/lib/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S

[74748] signal 6 (-6): Aborted
in expression starting at REPL[2]:1
unknown function (ip: 0x72e3e8a313f4) at /usr/lib/libc.so.6
gsignal at /usr/lib/libc.so.6 (unknown line)
abort at /usr/lib/libc.so.6 (unknown line)
jl_type_infer at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:413
jl_toplevel_eval_flex at /cache/build/builder-amdci4-5/julialang/julia-master/src/toplevel.c:1036
__repl_entry_eval_expanded_with_loc at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:341
toplevel_eval_with_hooks at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:348
toplevel_eval_with_hooks at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:352
toplevel_eval_with_hooks at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:345 [inlined]
eval_user_input at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:370
repl_backend_loop at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:482
#start_repl_backend#41 at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:467
start_repl_backend at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:464 [inlined]
#run_repl#48 at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:690
run_repl at /cache/build/builder-amdci4-5/julialang/julia-master/usr/share/julia/stdlib/v1.12/REPL/src/REPL.jl:676
jfptr_run_repl_23264.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/share/julia/compiled/v1.12/REPL/u0gqU_EUM9W.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
run_std_repl at ./client.jl:490
jfptr_run_std_repl_25933.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/share/julia/compiled/v1.12/REPL/u0gqU_EUM9W.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
jl_f__call_latest at /cache/build/builder-amdci4-5/julialang/julia-master/src/builtins.c:883
#invokelatest#1 at ./essentials.jl:1049 [inlined]
invokelatest at ./essentials.jl:1046 [inlined]
run_main_repl at ./client.jl:511
repl_main at ./client.jl:593 [inlined]
_start at ./client.jl:568
jfptr__start_80519.1 at /home/nsajko/tmp/jl/jl/nightly_assert/julia-877de98398/lib/julia/sys.so (unknown line)
_jl_invoke at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3291 [inlined]
ijl_apply_generic at /cache/build/builder-amdci4-5/julialang/julia-master/src/gf.c:3479
jl_apply at /cache/build/builder-amdci4-5/julialang/julia-master/src/julia.h:2235 [inlined]
true_main at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:900
jl_repl_entrypoint at /cache/build/builder-amdci4-5/julialang/julia-master/src/jlapi.c:1059
main at /cache/build/builder-amdci4-5/julialang/julia-master/cli/loader_exe.c:58
unknown function (ip: 0x72e3e89c0e07) at /usr/lib/libc.so.6
__libc_start_main at /usr/lib/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
Allocations: 1499355 (Pool: 1499206; Big: 149); GC: 2
Aborted (core dumped)

[nsajko]

Minimal reproducer:

f() = TypeVar(:x, 3)
f()

[nsajko]

Crashes Julia all the way back to v0.7.0, v0.6.4 doesn't crash after the TypeError.