Comment by detaro

ISO 3166-1 defines codes for "countries, territories, or areas of geographical interest". When the country is no longer a country, the country it's becoming part of might very decide to treat it as something still deserving an ISO code and thus a ccTLD. (and such a status makes sense for pure geographical reasons, its >2000km from Mauritius)