It will be interesting to see whether the 2020 Form 1040-NR has a line for the EIP credit.  In some cases, NRA's are allowed the child tax credit, childcare credit, foreign tax credit, and even the residential energy credit. The law says that NRA's are not eligible, but does that mean they had to be an NRA all year?  If someone dies in June 2020, they get the credit, but if they just leave the country and go home, they don't?  

The one thing I learned from my days issuing Alien Tax Clearances in Washington DC is that most of IRS is clueless about taxation of non-citizens.  Congress is ignorant, also, in its best bipartisan way.  My friends around the world are laughing at us, and I can't blame them.