Add the #[manually_drop]
attribute.
#101586
+387
−31
Closed