Abstract properties (hooks) in traits

Description

At the moment such code does not work (8.4 and 8.5/master), which does not seem very logical:

<?php

trait Example
{
    abstract public string $property {
        get; 
    }
}

class ExampleImpl
{
    use Example;
    
    public function __construct(
        public readonly string $property,
    ) {}
}

Produces:

Fatal error: ExampleImpl and Example define the same hooked property ($property) in the composition of ExampleImpl. Conflict resolution between hooked properties is currently not supported. Class was composed

https://3v4l.org/UYnbo

According to RFC (https://wiki.php.net/rfc/property-hooks#interaction_with_traits), traits do not actually support properties, but at least such primitive conflict resolution would be nice to have.

P.S. Is it worth writing to internals for RFC if there is no way to send a PR?

Bắt đầu với reproducer được cung cấp cho trait và hooked property, sau đó đọc phần trong property-hooks RFC về tương tác giữa các trait. Theo dõi cách việc composition của trait xử lý abstract hooked property và implementing constructor-promoted property. Công việc được hoàn tất khi ví dụ có thể được compose mà không gặp conflict đã báo cáo, đồng thời vẫn giữ nguyên hành vi property-hook dự kiến.