The IRS has has a really big computer to keep track of that kind of stuff - they most likely won’t be sending you that refund.
