I just decided to try updating GBoard. It seems this has been finally fixed after months. Which also probably means it had nothing to do with MIUI, just me running ancient, unaffected version of Gboard before.