Fatal error: class and trait define the same constant in the composition of child class in case constant in trait is equal to constant in child class

Description

The following code:

<?php
trait T {
    public const a = C2::b;
}
class C1 {
    use T;
    const b = 1;
}
class C2 extends C1  {
    use T;
    const b = 2;
}
echo C1::a;
echo C2::a;

Resulted in this output:

Fatal error: C1 and T define the same constant (a) in the composition of C2. However, the definition differs and is considered incompatible. Class was composed in /in/riAnX on line 9

But I expected this output instead:

22

It's not clear to me why this code is incorrect, but at the same time, the following works:

<?php
trait T {
    public const a = self::b;
}
class C1 {
    use T;
    const b = 1;
}
class C2 extends C1  {
    use T;
    const b = 2;
}
echo C1::a;
echo C2::a;

and outputs

11

PHP Version

8.2

Operating System

No response

ソースファイルもテストも指定されていません。まず、提供されている PHP 8.2 の reproducer を実行し、C2::b を使う trait 定数と self::b のバリアントを比較してください。trait とクラスの定数の構成を追跡して、意図されたルールを明らかにしてください。最初の例が意図された定数解決の動作に従い、誤った fatal error を発生させず、回帰テストのカバレッジがある状態が完了の条件です。