pub fn check_live_drops<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>)
Expand description

Look for live drops in a const context.

This is separate from the rest of the const checking logic because it must run after drop elaboration.