The Euro is mandatory at this point. For a country to join, I mean. But of course countries can still „take their time“ adapting it and basically not adapt it. So yes the UK would have to formerly adapt the Euro. No doubt about it. Practically, thought? Never going to happen, if you ask me.