Matthias Krüger e3bf088fb5
Rollup merge of #112655 - WaffleLapkin:must_use_map_or, r=workingjubilee
Mark `map_or` as `#[must_use]`

I don't know what else to say.

r? libs
2023-07-30 14:25:08 +02:00
..
2023-06-14 18:29:08 +03:00
2023-07-12 21:38:55 -04:00
2023-07-18 20:58:35 -04:00
2023-07-12 21:38:55 -04:00
2023-07-28 14:46:17 +02:00
2023-06-18 01:14:45 -07:00
2023-07-08 12:10:12 +09:00
2023-07-12 21:38:55 -04:00
2023-07-30 10:22:23 +00:00
2023-07-12 21:38:55 -04:00