As this module aims to be compatible with Drupal 8/9 and those core versions are compatibles with PHP 7.3, the code should be compatible with PHP 7.3 right now, or the module must be compatible only with Drupal 10.
Active
1.0
Code
PHP 7.3 will not be supported so I think that the best approach to this is to add constraints to require PHP 8.0 or higher version.
... I am using this MR/Patch as I am still on Drupal 9 and PHP 7.4.