Gerald Pfeifer gerald@pfeifer.com writes:
[ 2nd attempt. I really don't see any viable alternative to these casts; keeping the status quo certainly seems bad. ]
That code is generated, there's no point in fixing it. You need to change tools/make_requests.