dangerous type inference failure #3657
Labels
kind:bug
Indicates an unexpected problem or unintended behavior
status:priority
This should be addressed urgently
Milestone
Start by defining a function for which it is impossible to generate exact information:
Looking at the finfer result, we see julia has assumed too much, even though it will call jl_apply_generic and does not know the run-time return type:
And in fact, we can break it quite easily:
The text was updated successfully, but these errors were encountered: