chiark / gitweb /
Remove an unnecessary drop.
authorSimon Tatham <anakin@pobox.com>
Sat, 30 Dec 2023 09:01:57 +0000 (09:01 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 30 Dec 2023 09:01:57 +0000 (09:01 +0000)
commit7b276021da07d6705d1ce72d520345324a663b2d
tree8ab54edf7f6ec23437288f50784fbda358eb2e0e
parent61fcc610a5e1522e743cf9f245a793e6720dc890
Remove an unnecessary drop.

I had imagined that explicitly dropping a reference would terminate a
borrow. But firstly, rustc 1.74 says it does nothing at all, and
secondly, therefore I infer that this particular borrow wasn't in the
way in any case.
src/file.rs