Matthias Krüger
cadb37a8c7
Rollup merge of #101727 - est31:stabilize_map_first_last, r=m-ou-se
Stabilize map_first_last
Stabilizes the following functions:
```Rust
impl<T> BTreeSet<T> {
pub fn first(&self) -> Option<&T> where T: Ord;
pub fn last(&self) -> Option<&T> where T: Ord;
pub fn pop_first(&mut self) -> Option<T> where T: Ord;
pub fn pop_last(&mut self) -> Option<T> where T: Ord;
}
impl<K, V> BTreeMap<K, V> {
pub fn first_key_value(&self) -> Option<(&K, &V)> where K: Ord;
pub fn last_key_value(&self) -> Option<(&K, &V)> where K: Ord;
pub fn first_entry(&mut self) -> Option<OccupiedEntry<'_, K, V>> where K: Ord;
pub fn last_entry(&mut self) -> Option<OccupiedEntry<'_, K, V>> where K: Ord;
pub fn pop_first(&mut self) -> Option<(K, V)> where K: Ord;
pub fn pop_last(&mut self) -> Option<(K, V)> where K: Ord;
}
```
Closes #62924
~~Blocked on the [FCP](https://github.com/rust-lang/rust/issues/62924#issuecomment-1179489929) finishing.~~ Edit: It finished!
2022-10-11 18:59:46 +02:00
..
2022-10-10 13:43:43 +05:30
2022-10-10 02:31:37 +00:00
2022-10-10 13:43:43 +05:30
2022-10-10 02:31:37 +00:00
2022-09-29 16:49:04 +09:00
2022-10-08 18:14:59 -07:00
2022-10-10 02:31:37 +00:00
2022-10-06 15:32:41 +03:00
2022-10-02 13:42:14 +00:00
2022-10-06 16:29:45 +02:00
2022-10-08 14:38:18 +02:00
2022-10-08 14:38:18 +02:00
2022-10-06 16:29:45 +02:00
2022-10-06 15:49:44 +11:00
2022-10-03 08:53:06 +02:00
2022-10-06 16:29:44 +02:00
2022-10-10 18:28:29 +02:00
2022-10-05 09:53:49 +09:00
2022-10-08 11:00:13 +02:00
2022-10-10 00:09:42 +09:00
2022-10-11 18:59:45 +02:00
2022-10-10 00:09:42 +09:00
2022-10-10 00:09:42 +09:00
2022-09-29 16:49:04 +09:00
2022-10-10 00:09:42 +09:00
2022-10-10 17:40:52 +00:00
2022-09-29 16:49:04 +09:00
2022-10-10 13:43:43 +05:30
2022-10-08 11:53:25 +00:00
2022-09-26 16:51:18 -07:00
2022-10-03 13:52:17 +01:00
2022-10-07 09:33:46 -05:00
2022-10-11 18:59:46 +02:00
2022-10-10 13:43:42 +05:30
2022-10-08 14:38:18 +02:00
2022-10-08 14:38:19 +02:00
2022-10-06 03:01:57 +00:00
2022-10-11 00:36:26 +00:00
2022-09-28 13:47:17 -07:00
2022-10-10 02:31:37 +00:00
2022-09-29 16:49:04 +09:00
2022-10-09 07:09:57 +00:00
2022-10-07 09:33:46 -05:00
2022-10-07 09:33:46 -05:00
2022-10-11 18:59:45 +02:00
2022-10-09 07:09:57 +00:00
2022-09-26 10:14:45 +02:00
2022-10-06 15:49:44 +11:00
2022-10-10 10:23:05 +09:00
2022-10-06 03:01:57 +00:00
2022-10-06 13:41:12 +04:00
2022-10-11 00:36:26 +00:00
2022-10-07 07:10:40 -05:00
2022-10-07 07:06:19 -05:00
2022-10-10 13:43:41 +05:30
2022-09-29 16:49:04 +09:00