True, though generally HSA contributions are reported on a return, even if pretax. This completes Form 8889. I've seen the retiree W2s. Either way, you couldn't have the deduction. Just seems odd to have no reporting to the IRS of your participation in an HSA.
