type of function being called
true if the callee invokes destructors for arguments.
See Implementation