If the amount went into a ROTH 401K then that amount is still reported in box 1 of the W-2 form which means it is still taxable income and as such can be used for the ROTH IRA contribution as well ... weird as it may seem it is allowed... one of those legal loopholes.
