Function has_async_drops 

pub(super) fn has_async_drops<'tcx>(body: &mut Body<'tcx>) -> bool

Drop elaboration has transformed all async drops into yield loops. The resulting coroutine needs async drop if it yields on a path reachable through ‘drop’ targets of a Yield terminator.