(This statement only makes sense if you also assume that we will just get rid of #[unsafe_no_drop_flag] when we shift to stack-local drop flags. But that was the context in which the statement was written, since @eddyb had said he does not think #[unsafe_no_drop_flag] should remove the stack-local drop flags, which I see as synonymous with saying that we should plan to get rid of #[unsafe_no_drop_flag].)