Xiaomi 's MiBox for sure is equipped with Chromecast, not Miracast. And it is MIUI that stopped supporting Chromecast. When my phone searches for devices to cast to, it only finds Miracast devices.
With my old Oneplus One with LineageOS (Android Pie) the casting to the MiBox works flawlessly