eclipse-pdt / pdt

PHP Development Tools project (PDT)
https://eclipse.org/pdt
Eclipse Public License 2.0
189 stars 46 forks source link

Missing error on enum case does not exist #209

Open the-liquid-metal opened 1 year ago

the-liquid-metal commented 1 year ago

Bug Description Missing error on enum case does not exist.

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

System

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

<?php
declare(strict_types=1);

namespace ns1\ns2;

enum Test33: string {
    case Hearts = 'H';
    case Diamonds = 'D';
    case Clubs = 'C';
    case Spades = 'S';
}

echo Test33::Xxx->name ."\n";  // this statement must trigger error
echo Test33::Xxx->value ."\n"; // this statement must trigger error

$test33 = Test33::Xxx;     // this statement must trigger error
echo $test33->name ."\n";  // OK
echo $test33->value ."\n"; // OK