Xiaomi Redmi 7: Lost all contacts, can't restore

My Xiaomi Redmi 7 phone lost all my contacts.

Trying to restore them in Settings > Google > Set up & restore > Restore contacts gives me a screen "confirm your old redmi 7 screen lock".
After I enter the screen lock 4-digit code, it says "Something went wrong. Try again later".

Any ideas?