<?php

class PropertyDefaultObjectCast
{
    public object $value = (object) ['value' => 1];
}