Unsound SCCP for partial objects with hooks

Description

The following code:

<?php

#[AllowDynamicProperties]
class Foo {
    public $prop { get => 43; set => $value; }
}

function test() {
    $obj = new Foo;
    $obj->prop = 42;
    return $obj->prop;
}

var_dump(test());

Resulted in this output:

int(42)

But I expected this output instead:

int(43)

PHP Version

PHP 8.4+

Operating System

No response