It depends. If you are a nonresident alien then you only need to file if you have US source taxable income. If there was no distribution from your 401K or HSA then then those items are not income.
Here is a link with more information on nonresident tax filing. Should you have to file it would be using a form 1040NR.
On the other hand if you are a resident (by substantial presence or green card) alien, you file on your worldwide income. So even if you have no US source income you may still need to file if your gross income exceeds the filing threshold for your filing status as listed in Publication 501, Table 1.
Generally,
Single 12,950
Head of Household 19,400
Married Jointly 25,900
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"
