The eminent Weibo leaker Digital Chat Station has dropped a number of hints as to the launch schedules of what could be the next flagships from Xiaomi and Redmi. The latter may have the MediaTek Dimensity 1000+ SoC and is thought to be the first of these 3 to debut. That leaves what are thought to be the Mi 10 Pro+ and, finally, the next-gen Mi Mix.
https://www.notebookcheck.net/The-Xiaomi-Mi-10-Pro-could-launch-in-August-2020.477247.0.html