Given the naming of the ROM, I believe it is already on Android 11. It is just the array in the post that is not up to date.Sure,
The global release is on MIUI 220.127.116.11 (RJGMIXM) builded under Android. The one available for EU is builded under Android 10 (Stable release).
The question is if you will release miui 12.5 builded on Android 11 for this model?