"Should the UK leave the EU with no deal on 1st November 2019, EURid will enforce the following measures as far as .eu domain names that have GB/GI as the registrant’s residence country code are concerned..."
If someone really wants uk in their TLD they can always go with .uk.com - totally unrestricted.