Better error message when type inference resolves valid types but parameter types still don't match