New issue from STL: vector::resize(n, t)'s specification should be simplified