Really hard to know if reporting to police is viable or not given the extra spoons that takes and the risk of victim blaming from them.
Fuck men who behave like this.
Other men who are not shits need to not minimise women's experiences and need to talk to other men another about this stuff being done to women by men and calling out their pals if they show any level of sexism cos it is all part of a wider pattern.