It's pretty insignificant in terms of actual execution performance (in the added read_extensions() benchmark, the difference is only a couple percent) but it does cut down number of allocations (of the whole application!) by ~4%, at least in the application in which I'm using rss :)
It also (unrelated) cleans up some Clippy warnings in the 3rd commit
It's pretty insignificant in terms of actual execution performance (in the added
read_extensions()
benchmark, the difference is only a couple percent) but it does cut down number of allocations (of the whole application!) by ~4%, at least in the application in which I'm usingrss
:)It also (unrelated) cleans up some Clippy warnings in the 3rd commit