Closed topolarity closed 9 months ago
Right now a call to jl_type_error prints as:
jl_type_error
Allocation of Any in ./foo.jl | y = foo(x, z)::Int64 Stacktrace: [1] alloc_in_catch(x::Any) @ Main ./REPL[4]:3
The allocation type should probably be a TypeError.
TypeError
Or maybe we want specific diagnostics for this that say "type-assertion may allocate on error" or similar.
Result from discussion today: We should distinguish between AllocationSites and AllocatingRuntimeCalls - and print slightly different errors in the two cases
AllocationSite
AllocatingRuntimeCall
Right now a call to
jl_type_error
prints as:The allocation type should probably be a
TypeError
.Or maybe we want specific diagnostics for this that say "type-assertion may allocate on error" or similar.