I'm afraid I can't speak to HR practice. That's not my area of expertise. But there is no expectation that anyone would be leaving the public service. If they do leave the public service, they'd be entitled to the same protections and benefits of any other public servant.
On May 5th, 2010. See this statement in context.