And their line manager would have followed up with "if I even hear a rumor of this happening again, you'll be fired for cause". Because such harassment is, per my understanding, illegal, and can create enormous problems for the individual, manager, and company. Not to mention incredibly unethical.