Add obligation cause code for function call trait bounds

[notriddle]

Recommended by: #90181 (comment)

There is already an obligation cause code for when the requirement can be traced back to a single parameter, but there is no appropriate cause code for the cases where it cannot.