Is using Integer type for User id safe?

[EXL]

https://core.telegram.org/bots/api-changelog#march-9-2021

⚠️WARNING! ⚠️
After one of the upcoming Bot API updates, some user identifiers will become bigger than 2^31 - 1 and it will be no longer possible to store them in a signed 32-bit integer type. User identifiers will have up to 52 significant bits, so a 64-bit integer or double-precision float type would still be safe for storing them. Please make sure that your code can correctly handle such user identifiers.

java-telegram-bot-api/library/src/main/java/com/pengrad/telegrambot/model/User.java

Line 12 in 82a949b

private Integer id;

[mircoianese]

I would say that this needs to be addressed soon. There are also some methods taking Integer as user ID (for example GetChatMember)

[pengrad]

thanks to @mircoianese updated in 5.2.0