Function adjust_activity_to_abi 

fn adjust_activity_to_abi<'tcx>(
    tcx: TyCtxt<'tcx>,
    fn_ty: Ty<'tcx>,
    da: &mut Vec<DiffActivity>,
)