ReflectionProperty::hasDefault return false on promoted property

[Norbytus]

Description

The following code:

<?php
class A {
    function __construct(
        public string $value = '',
    ) {
    }
}
$propInfo = new ReflectionProperty('A', 'value');
var_dump($propInfo->hasDefaultValue());

bool(false)

bool(true)

PHP Version

PHP 8.4.20 (cli) (built: May 25 2026 09:46:41) (NTS)
Copyright (c) The PHP Group
Zend Engine v4.4.20, Copyright (c) Zend Technologies

Operating System

archlinux 2026.07.01

[LamentXU123]

I doubt that this is actually intentional. When using constructor property promotion, the "default value" belongs to the constructor parameter. So this works instead:

<?php
class A {
    function __construct(
        public string $value = '',
    ) {
    }
}
$method = new ReflectionMethod('A', '__construct');
$param = $method->getParameters()[0];
var_dump($param->isDefaultValueAvailable());  // bool(true)
var_dump($param->getDefaultValue());          // string(0) ""

The property itself is not assigned a default value at the class level. It only gets assigned when the constructor is executed. Therefore, IMO hasDefaultValue() correctly returns false.

cc @DanielEScherzer