This is what grid tie solar is for. Push the engergy to the grid durring peak sun and peak AC requirement. Pull from the grid to charge the car at night.
I'll preface this by saying I have zero experience with grid-tie solar, or how the payment/billing schema looks for such a setup.
But...
In a previous job, as a substation technician for an electrical utility, one of the things I got a first-hand look at was how the power demands shifted from one area to another depending on the time of day.
As an example... there would usually be a small peak in the residential areas around 0700-0900, as people woke up, fired up their coffee pots, toasters, microwaves and such. Then you'd see that die off, and a corresponding peak from 0800-1000 in the business areas as people reported to work, turned on the lights, fired up the office equipment, etc. etc. Peak draw overall was usually early afternoon as A/C started to kick in. But you'd see the demand drop off in the business districts as people began heading home, and then peak again in the 'burbs as those people got to their houses, fired up the TV and the oven and started fixing dinner, etc.
Overall a very simple version of what was going on, and on a fairly small scale, but it does illustrate a point - peak demand, especially in residential areas, isn't necessarily during peak sunlight hours. How or if that plays into the pricing schema for grid-tie solar, dunno. Food for thought, though.