Thanks for the reply.
No, I'm anticipating that this company, which I never actually worked for in 2020 but received a last salary payment from in January, will provide a W2 with the "Pension Plan" box checked (since they provide a 401(k) to employees), making me ineligible to deduct an IRA contribution. Sorry for the confusion.
