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]

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.