You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.