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

En el issue no se identifica ningún archivo fuente ni ninguna prueba. Reproduce los ejemplos en las versiones de PHP indicadas y, a continuación, sigue la composición de propiedades de los traits con propiedades promocionadas por el constructor; el trabajo estará terminado cuando se corrija el comportamiento de las propiedades incompatibles y quede cubierto por una prueba de regresión.