compiler/phpunit/code/override-property-trait-missing.php

<?php

trait OverridePropertyMissingTrait
{
    #[\Override]
    public string $value = 'trait';
}

class OverridePropertyTraitConsumer
{
    use OverridePropertyMissingTrait;
}