Retirement tax questions

I know there was no RMD for 2020, but there WAS real federal tax withheld and sent to the IRS despite NO RMD for 2020.  I returned the entire RMD distribution back to my account promptly after the CARES Act., the gross amount returned included the tax amount withheld.   So what happens to that tax withheld, essentially twice paid?