The Redmi K90 Pro is now rumored to launch at around the same time as its maker Xiaomi prepares to part ways with its current high-end camera partner, Leica. That might work out well for the putative high-end Android smartphone, as it might be able to benefit from the technology developed as a result of the collaboration without an effect on its price.