I’d hazard to disagree - I think you absolutely have the right to address an issue without your name being made public. I think a good teammate (/friend?) may tell him how he felt but in a normal workplace complaints to HR are handled with a reasonable amount of care to not out the accusatory problem for fear of…