I don't think it should get to your boss, just your insurance, they can't share any details with your boss/company. Might be able to say "mental health" if they have to explain why rates went up or something but not a specific diagnosis/problem of a specific person. If there are "a lot" of people in your company (over 20 or 30), I wouldn't even worry about that.