I hope it is not that solidly etched in stone. If a player is elite at both, a coach is stupid to leave one part of her skill set on the bench.
I’ll go a step further. If a pitcher is that good of a hitter, they should play a position on their non-pitching day if good enough in the field…and obviously hit. And if not a good fielder, DP. A coach should play their Best 9.
College softball in no way needs to be managed like MLB. Let the best players play!
But, in conclusion, and IMO, none of our pitchers is an SEC-caliber hitter. Otherwise they’d be hitting.