On second thought, it doesn't make sense to change this just cause of a clippy warning. We'll wait and see if it ever causes and real problems before making the API less consistent just to avoid a potential space saving issue.
On second thought, it doesn't make sense to change this just cause of a clippy warning. We'll wait and see if it ever causes and real problems before making the API less consistent just to avoid a potential space saving issue.