fn build_adrop_for_coroutine_shim<'tcx>( tcx: TyCtxt<'tcx>, proxy_ty: Ty<'tcx>, impl_ty: Ty<'tcx>, span: Span, instance: InstanceKind<'tcx>, ) -> Body<'tcx>