After you file

If they never file then the IRS would have no record of course, since there is no record.   All the IRS can tell you is what you already know, then the IRS has no record of filing.
**Disclaimer: This post is for discussion purposes only and is NOT tax advice. The author takes no responsibility for the accuracy of any information in this post.**