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
Auto merge of #1305 - ssomers:map_first_last_vs_miri, r=RalfJung
Replace last_entry with last_key_value
Wondering why `last_entry` was introduced (in #1156) while the alternative is shorter and seems clearer to me.
Also, as the perpetrator of map_first_last, I now think that `first_entry`/`last_entry` are silly methods because they're supposed to be constant time (as opposed to `entry`), so there's no money to be made by doing multiple things with the entry.
0 commit comments