I wouldn't call this "fixed". It's more like the worse-is-better people won anot...

		simon_o on Sept 13, 2022 \| parent \| context \| favorite \| on: A personal list of Rust grievances I wouldn't call this "fixed". It's more like the worse-is-better people won another round.