Right now the debugger info widget displays info for the call using the info from the function itself. This is good in many cases, but it is not perfect, since:
The call can be a function pointer or data variable, which means it does not have the associated function type
The call type could have been overridden
For variadic functions, e.g., printf, the type at the call site could be more accurate
Right now the debugger info widget displays info for the call using the info from the function itself. This is good in many cases, but it is not perfect, since: