Re: [PATCH 6.15 515/592] rust: devres: fix race in Devres::drop()