Discord.py: [Suggestion] Concatenate username and discriminator with strings

[GnomoP]

When including a given user's username and discriminator inside a string, like such:

arg = "User: '%s'" % user

the snippet works. However, the same does not happen when it is done implicitly, like this:

arg = "User: " + user

Could the second snippet be a valid way of achieving the same result as well?

[fixator10]

arg = "User: " + str(user)

Also, better to ask questions like this on discord.py server

[LyricLy]

Implicit casting to string with concatenation is impossible, by the way.

[Rapptz]

This isn't how Python works.

[iomintz]

@LyricLy sure it is, just define __add__ and __radd__.