I think this might be making a large assumption. What if they’re happy with the rest of the job?

Sure, it's ok, but she's compromising on the best resource for advancing her programming ability: her team.

I learned a lot from my coworkers that I couldn't have learned at school or internet. The author of the comment looked like she is passionate for programming, so I think she could be much happier with coworkers who she can look up to and learn from.