--TEST--
Constructor property promotion
--FILE--
<?php

class Test {
    public function __construct(
        public $prop = 42 {
            get => print("Getting\n");
            set { print("Setting\n"); }
        }
    ) {
        echo "Constructor\n";
    }
}

echo "Pre-test\n";
$test = new Test;
$test->prop;
$test->prop = 42;

$r = (new ReflectionProperty(Test::class, 'prop'));
var_dump($r->hasDefaultValue());
var_dump($r->getDefaultValue());

?>
--EXPECT--
Pre-test
Setting
Constructor
Getting
Setting
bool(false)
NULL