Most likely, he does, but:
a) Is he travelling alone?
b) If not, is he travelling with EU family member?
c) Who is the EU family member and what's their nationality?
For consideration:
https://europa.eu/youreurope/citizens/t ... schengen-1
Your residence card was issued by a non-Schengen country and you are travelling to a Schengen country
You do not need a visa if you have a residence card as an EU national family member issued under by an EU country other than the country your EU spouse / partner is a national of. You must be either travelling together with your EU spouse / partner or you are joining them in the Schengen country
Warning
If you have a residence card as an EU national family member and you are not accompanying or joining your EU spouse / partner in the Schengen country, you must apply for a visa to enter that country.
Exception for Switerland
You will need a visa if you are travelling to Switzerland with a non-EU family member's residence card issued by a non-Schengen area country – this applies if you are travelling alone, together with your EU spouse / partner or if you are joining them in Switzerland.
4EUFAM doesn't give you a free pass to go to a Schengen area, since Ireland is outside Schengen.
