A slightly sneakier way of tipping off your manager about a problem with a coworker is to ask for advice about dealing with that problem. That way you’re alerting her to what’s happening without having to worry that you’re coming across as a complainer.
