Currently, MSVC STL hasn't implemented theMandates in[string.capacity]/8:

Mandates:OP has an integer-like type ([iterator.concept.winc]).

As a result, the following ill-formed program is accepted (Godbolt link):

#include<cstddef>#include<string>intmain() {    std::string{}.resize_and_overwrite(0, [](constchar*, std::size_t) {structNotIntegerLike {operatorstd::size_t()const {return0;            }        };return NotIntegerLike{};    });}

This PR adds the missingstatic_assert and expands coverage forGH-2524 to all supported (cv-unqualified) integer-like types.