Al que recomiende una pantalla HD sin brillo en 2019, que cuesta más de 100€, es pa' darle una ostia.

De tus opciones, el Redmi Note 7 sin duda. Si te atreves a trastear con ROMs puedes cambiar a Android One en caso de que no te guste MIUI. Es mejor que el Mi A3, y encima cuesta 100€ menos.
Incluso el Mi A2 vale más la pena que el Mi A3. El marco inferior es prácticamente el mismo y arriba pasas de marco a notch. No sé qué es peor...