fails with this test file in
4.9.0 experimental personal
4.8.2 latest (maybe any 4.8.2) personal
std::vector::size_type doesn't work either. I looked at the library source and for some reason it's broken.
correction, std::vector<int>::size_type works, but should this be necessary? according to this, and this, it should not be.
This is not a bug. You do need to write std::vector<int>::size_type. The C++ standard does not have a global size_type, as the size_type can be different for different containers.