There's no special injury or retirement provisions with the cap. If he retires we would take a $20M cap hit next year and have $42M in dead cap. Not good. The contact was set up for a potential out after year 3. So if he retires before then, again, not good.
https://www.spotrac.com/nfl/washingt...ex-smith-3337/