To Reproduce
Steps to reproduce the behavior: copy-paste this script to the IDE
<?php
declare(strict_types=1);
namespace ns1\ns2;
interface Test58 {
public function __construct(public int $a, public int $b); // this statement must trigger error
}
abstract class Test58b {
public abstract function __construct(public int $a, public int $b); // this statement must trigger error
}
Bug Description Missing error on defining property promotion on interface/abstract class.
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