Matthias Krüger 88e5ae2dd3
Rollup merge of #89786 - jkugelman:must-use-len-and-is_empty, r=joshtriplett
Add #[must_use] to len and is_empty

Parent issue: #89692

r? `@joshtriplett`
2021-10-31 13:20:05 +01:00
..
2021-09-28 11:31:47 +09:00
2021-10-06 14:33:13 +00:00