My experience:
Best option is using a Konica HexarAF with TMax400 @ 6400 in Xtol 1+1, but without autoexposure, because it doesn't work 99 times out of 100, so it's better to meter, take a decision and shoot in manual.
Second best option is same film and pushing, but using a longer focal length when 35mm is not the best option, and that's really often... I use an autofocus Nikon SLR with the 85 1.8: the lens is great at 1.8, where it has its best out of focus rendering for backgrounds, and it's a small light lens compared to the faster, bigger, heavier 85.
Third best option, same film and pushing with a rangefinder and a fast lens.
Cheers,
Juan