I tried to find it but no success.
There was thread somewhere on here about a Driver who used their vacation prior to their retirement date.
While on vacation as an active non retired employee, this driver passed away.
The discussion was if the spouse or estate was entitled to his Pension.
Hopefully someone else can find the thread.
I am guessing a couple of years ago, maybe? but not for certain....