Prolific leaker Digital Chat Station states that Xiaomi is expected to release a phone powered by MediaTek's Dimensity 1000+ SoC in July. It is very likely the Redmi K40, as earlier leaks, speculated that it would come with a MediaTek chip, 144Hz screen, and support for 33W fast charging.
https://www.notebookcheck.net/Redmi-K40-tipped-for-a-July-launch-will-feature-a-MediaTek-Dimensity-1000-SoC-144Hz-screen-and-more.477199.0.html