RFC for `ManuallyDrop`.