She will get a 1099-C for the tax year, as will the IRS. The amount of the discharged debt will be considered income for Federal tax purposes and possibly for State tax purposes.
https://www.usnews.com/education/blogs/student-loan-ranger/articles/2017-11-08/know-the-tax-implicat...
