[CSGen] Any type vars in subscript index arguments should be connected to a key path type
This is currently limited to `InferSendableFromCaptures` feature
but a valid thing to do in general because otherwise it won't be
possible to determine the sendability of the key path type.