This would enable us to use pcov instead of xdebug, which would bring performance improvements (see T234020). Since the php7.2-pcov package doesn't exist, we cannot use it in PHP 7.2-based jobs.
Non-coverage jobs and more generally PHP 7.2 support would not be affected by this change.