I may not be fully correct on this, but I believe there was a MIUI 10 port to the Mi A2 Lite, however it caused the device trouble. Many users reported their devices being "Bricked" by following such method, therefore the method and guide was removed from XDA Developers.