Four Ways to Drop: How rustc Decides Whether a Value Needs a Drop Flag
Drop elaboration in rustc classifies each drop as Dead, Static, Conditional or Open using two dataflow analyses; only the Conditional case needs a runtime drop flag, so most drops …