there is a typo in the semantics of str.replace_re_all (the
definition defines str.replace_re instead of `str.replace_re_all),
str.replace_re's definition is wrong [0], and the semantics of the
replace_re* functions are unclear (does the shorter or the match with the
lower index take precedence?).
From Andres, Oct 27, 2022:
there is a typo in the semantics of
str.replace_re_all(the definition definesstr.replace_reinstead of`str.replace_re_all),str.replace_re's definition is wrong [0], and the semantics of thereplace_re*functions are unclear (does the shorter or the match with the lower index take precedence?).