3 Evaluation and Compilation 3.5 Error Checking in Function Calls 3.5.1 Argument Mismatch Detection 22.214.171.124 Safe and Unsafe Calls
126.96.36.199.1 Error Detection Time in Safe Calls
If an error is signaled in a safe call,
the exact point of the signal is implementation-dependent.
In particular, it might be signaled at compile time or at run time,
and if signaled at run time,
it might be prior to, during, or after executing the call.
However, it is always prior to the execution of the body of the function