ניצול ימי חופשה לפני תאריך היציאה לפנסיה

שלום, דודתי תהיה בת 67 ב- 02/07/2023 ויש ברשותה יתרת ימי חופש של חודשיים לערך שצברה. היא מעוניינת לצאת לפנסיה השנה ובמקום לפדות את ימי החופש ב02/07, היא רוצה לנצל את יתרת ימי החופש (של חודשיים) ולצאת לחופש כבר בחודש מאי מבלי לחזור לעבודה וכך שייחשב שיצאה לפנסיה ב02/07 בהגיעה לגיל 67. המנהל שלה אמר לה שהוא לא מאשר לה את זה ושהיא צריכה להמשיך ולעבוד עד ה-02/07 ואז שתצא לפנסיה ושתפדה את ימי החופשה שלה. האם חוקי הדבר? כאמור, היא מעוניינת לנצל את ימי החופש לפני צאתה לפנסיה והמנהל מונע זאת ממנה ורוצה שתפדה אותם לאחר שתצא. אודה לתשובתכם, רונן.