eclipse-pdt / pdt

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

Missing validation on properties with same name but different on case #197

Open the-liquid-metal opened 1 year ago

the-liquid-metal commented 1 year ago

Bug Description A class with properties with same name but different on case is a bad design.

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;

class Test21 {
    public int $propFooBar = 10;
    public int $propfoobar = 10; // this statement should trigger warning
}

trait Test21b {
    public int $propFooBar = 10;
    public int $propfoobar = 10; // this statement should trigger warning
}