רמב"ם (משנה תורה) הלכות איסורי ביאה פרק יז הלכה יב

כהן גדול שמת אחיו אף על פי שהוא מן הארוסין הרי זה לא ייבם אלא חולץ. נפלה לו יבמה והוא כהן הדיוט ונתמנה להיות כהן גדול אף על פי שעשה בה מאמר כשהוא כהן הדיוט הרי זה לא ייבם אחר שנתמנה. אבל אם ארס את האלמנה ונתמנה להיות כהן גדול הרי זה יכנס אחר שנתמנה. היתה מקדשת ספק קדושין ומת ארוסה הרי זו ספק אלמנה: