Retirement tax questions

Unless the employer is actually making after-tax contributions to a private IRA (which would be unusual).