In all cases in which the call to regex_search returns true,
match.prefix().first shall be equal to the previous value of
match.second, and for each index i in the half-open range
[0, match.size()) for which match[i].matched is true,
shall return distance(begin, match[i].first).