Missing error on enum using trait which requires property

[the-liquid-metal]

Bug Description Missing error on enum using trait which requires property.

Eclipse environment Version: 2023-06 (4.28.0) Build id: 20230608-1333 PDT: 8.0.0.202306050832

System

• PHP Version: 8.2.7, 8.1.20, 8.0.29, 7.4.33 (via https://onlinephp.io/)

To Reproduce Steps to reproduce the behavior: copy-paste this script to the IDE

<?php
declare(strict_types=1);

namespace ns1\ns2;

trait Test41 {
    public function setProp() {
        $this->prop = 10; // dynamically declare property
    }
    public function getProp() {
        return $this->prop; // access property dynamically
    }
}

trait Test41b {
    public function getValue() {
        return 10;
    }
}

enum Suit1: string {
    use Test41;  // this statement must display error
    use Test41b; // OK
    case Hearts = 'H';
    case Diamonds = 'D';
    case Clubs = 'C';
    case Spades = 'S';
}