I fixed it by temporarily setting opcache.optimization_level=0 in php.ini.
opcache.optimization_level=0
php.ini
Still according to this post, it's a known bug which should be fixed in PHP 8.0.1