With my eyes I've seen people get pinged, and the message get deleted right away. I understand how nerve-wracking this is.
A bot can detect if a message gets deleted with a user ping, and send a message to the channel with both the user that was pinged and the user that made the ping. There are bots in existence that do this already.
This instills accountability to the pinger and discourages such a thing, and also gives the pinged peace of mind, in understanding why they have a ping, but no message.