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