pub fn check_live_drops<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>)
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.