They might nicely retire earlier—the typical retirement age has gone down from 67 to 63—but that is typically “retirement” only in the sense of collecting retirement positive aspects.