Now he is wondering whether he might get problems cashing out in the future.
Switzerland is not as crazy with KYC and chain analysis as the United States. As long as there is no reported illegal activity associated with the address that he sent to, he won't have any problem selling for fiat in the future.
If he wants to sell it without any KYC, he might consider using a service like Bisq or RoboSats when he is ready to sell.