Pxp_core_types.S.collect_warnings