[quote=@Tangletail]
But... do gyms actually have a healing machine? You're generally forced to run back to the pokemon center, aren't you? I know the Elite 4 has them at the end of the journey.
[/quote]

How else do they have fully healed Pokemon when you return after a loss?

That said, we're also melding some of the anime's logic because the game doesn't do certain things for gameplay reasons. They definitely would have a healing machine in the gyms.

Not to mention it's something useful to have when you have multiple challengers lining up a day.