A person who is allowed to live in Ireland because they are married to an Irish citizen can be thrown out of the country if they divorce in particular circumstances, the European Court of Justice has ruled.