Improve incompatible trait property error message

Description

The following code results in a PHP Fatal Error:

trait FooTrait
{
    private array $options = [];
}
class Foo
{
    use FooTrait;
    public function __construct(private array $options = []) {}
}

The error thrown is

PHP Fatal error:  Foo and FooTrait define the same property ($options) in the composition of Foo. However, the definition differs and is considered incompatible.

However, the same thing defined in the class instead of in the constructor works:

trait FooTrait
{
    private array $options = [];
}
class Foo
{
    use FooTrait;
    private array $options = [];
}

As does the same thing, but without setting a default value:

trait FooTrait
{
    private array $options;
}
class Foo
{
    use FooTrait;
    public function __construct(private array $options) {}
}

This seems to be ane rror

PHP Version

PHP 8.1.29 to PHP 8.4.0-dev

Operating System

MAC OSX 14.7

In der Issue ist keine Quelldatei und kein Test angegeben. Reproduziere die Beispiele mit den aufgeführten PHP-Versionen und verfolge anschließend die Zusammensetzung von Trait-Eigenschaften mit konstruktorpromovierten Eigenschaften; die Aufgabe ist abgeschlossen, wenn das Verhalten bei inkompatiblen Eigenschaften korrigiert und durch einen Regressionstest abgedeckt ist.