Paid student loan, reimbursed w 529 $, what do I report?

Son had $4900 loan from 2021. He paid it off while still a student in 2023 & was reimbursed w 529 $ in 2023. Does he need to report this on his 2023 form and if so where?  Is the loan deductible or it's not since it was reimbursed by 529 money?  Thanks for any help.