I'm a Google AI Pro subscriber (the $~20/month one).

I don't think it's connected in any way, though. Their pricing page doesn't mention it. https://antigravity.google/pricing

if it were true, it would be a big miss to not point that out when you run out of credit, in their pricing page, or anywhere in their app.

I should also mention that the first time I prompted it, I got a different 'overloaded' type out of credit message. The one I got at the end was different.

I've rotated on paying the $200/month plans with Anthropic, Cursor, and OpenAI. But never Google's. They have maybe the best raw power in their models - smartest, and extremely fast for what they are. But they always drop the ball on usability. Both in terms of software surrounding the model and raw model attitude. These things matter.