An MIIT listing has confirmed that Xiaomi has another 5G smartphone in development. Assigned the model number M2007J1SC, the device is purported to be a flagship by a reputable tipster.
https://www.notebookcheck.net/MIIT-listing-confirms-5G-connectivity-for-August-bound-Xiaomi-flagship-smartphone.480944.0.html