Promoted property must be validated againts property (not param) grammar

[mvorisek]

Feature request

https://3v4l.org/Sq0bk

the fatal error is currently undetected: https://phpstan.org/r/3428ac8f-581f-4bfc-b408-a04c2d9935ca

[phpstan-bot]

@mvorisek After the latest push in 1.11.x, PHPStan now reports different result with your code snippet:

@@ @@
-PHP 8.0 – 8.3 (1 error)
+PHP 8.0 – 8.3 (2 errors)
 ==========
 
 4: Property Scope::$fieldNotPromoted (string) does not accept default value of type null.
+6: Default value of the parameter #1 $field (null) of method Scope::__construct() is incompatible with type string.
 
-PHP 7.2 – 7.4 (2 errors)
+PHP 7.2 – 7.4 (3 errors)
 ==========
 
 4: Property Scope::$fieldNotPromoted (string) does not accept default value of type null.
+6: Default value of the parameter #1 $field (null) of method Scope::__construct() is incompatible with type string.
 6: Promoted properties are supported only on PHP 8.0 and later.

Full report

PHP 8.0 – 8.3 (2 errors)

Line	Error
4	Property Scope::$fieldNotPromoted (string) does not accept default value of type null.
6	Default value of the parameter #1 $field (null) of method Scope::__construct() is incompatible with type string.

PHP 7.2 – 7.4 (3 errors)

Line	Error
4	Property Scope::$fieldNotPromoted (string) does not accept default value of type null.
6	Default value of the parameter #1 $field (null) of method Scope::__construct() is incompatible with type string.
6	Promoted properties are supported only on PHP 8.0 and later.

[ondrejmirtes]

Implemented: phpstan/phpstan-src@b2177e3 + Roave/BetterReflection#1419

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.