They're separate benefits and don't have to do with one another. Retiree healthcare is a rare benefit in the non government world, and is usually classified as OPEB (other post employment benefit).