compiler/phpunit/code/native-property-this-write-conversion.php

<?php
use native_types;

class NativePropertyThisWriteConversionBox
{
    public int $value = 0;

    public function setValue($dynamicValue): void
    {
        $this->value = $dynamicValue;
    }
}