I'd be concerned why a 1099-R was not issued.
Are you sure it wasn't merely defaulted and not deemed?
The term 'deemed distribution' implies the participant received proceeds and should be taxed on them.
Sounds like a 415 excess correctable under EPCRS. He has $0 415 compensation his 415 limit is $0. Check your document for waht happens when you have a 415 excess, you probably refund the deferrals with earnings.