Re: [PATCH 3/4] rust: devres: fix race in Devres::drop()