Function check_drop_recursion

pub fn check_drop_recursion<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>)

Requires drop elaboration to have been performed first.