compiler/phpunit/code/with-readonly-property.php

<?php

readonly class WithReadonlyProperty
{
    public function __construct(
        #[With]
        private int $value,
    ) {
    }
}