Lots of nonresident aliens live in the US.  Legally.  Someone pointed out, 

"The form to claiming this credit for vehicles put in service in 2023 and later, Form 8936, and its instructions, refer to 1040-NR, so it seems that it can be filed by nonresident aliens."

https://money.stackexchange.com/questions/160689/can-i-get-the-electric-vehicles-federal-income-tax-...