Cast vector to vector

If you have a const vector<int> you cannot modify the container, nor can you modify any of the elements in the container. You don’t need a const vector<const int> to achieve those semantics.