Proxy error function does not cause unreachable/terminate thread
I have an error/warning function that will print out standardized error codes to make debugging easier:
When I call this, the type solver appears to ignore that this function terminates the running thread:
This function has no condition for calling
When I call this, the type solver appears to ignore that this function terminates the running thread:
This function has no condition for calling
error(), so calling it should be effectively the same as calling error(), which does work: