The MediaTek Dimensity 800 is a new processor that may make 5G even more mid-range in 2020. Now, a reliable Weibo tipster asserts that Redmi is to be the first OEM to bring it to the mobile-device market in 2020. It is an outside possibility that the phone in question could be of the Note 9 series.
https://www.notebookcheck.net/The-first-MediaTek-Dimensity-800-powered-phone-will-be-made-by-Redmi.455471.0.html