Reference for Makkot 22:13

נגמר דינו ונעשה כהן בן גרושה או בן חלוצה פליגי בה רבי אמי ור' יצחק נפחא חד אומר מתה כהונה וחד אומר בטלה כהונה

If his judgment was finalized and subsequently the [high] priest was found to be the son of a divorcee or the son of a woman who received chalitzah, the matter is subject to a dispute between Rebbi Ami and Rebbi Yitzchak Nafkah. One says, [It is comparable to a case where] the priesthood died, and one says, [It is comparable to a case where] the priesthood got disqualified [retroactively].

Jastrow