Closed
Description
The docs for it already read as "Flip the direction of the iterator", and it's a shorter name.
The length, at the very least, becomes important if we decide to do something like #9391, because then using invert
would become the common way to iterater over values in reverse. Compare:
for c in "abc".chars().invert() {
// c, b, a
}
for c in "abc".chars().flip() {
// c, b, a
}
Imo, the meaning also becomes marginally more clear that way.