mixed type is not reported on PHP 7.4

[szepeviktor]

Bug report

mixed type was introduced in PHP 8.0.

I cannot set PHP version in playground.

parameters:
  phpVersion: 70400 # PHP 7.4

Code snippet that reproduces the problem

https://phpstan.org/r/f561d4fe-243a-4df0-9f8d-6b26c99cff8b

Expected output

An error that Args\mixed is missing.

When run on PHP 7.4:

PHP Fatal error:  Uncaught TypeError: Typed property Args\register_meta::$default must be an instance of Args\mixed, int used

[ondrejmirtes]

This will be solved in PHPStan 2.0 being released at some point in 2024, thanks to upgrade to nikic/php-parser 5.0. From the upgrade guide:

Type hints are interpreted as a class Name or as a built-in Identifier depending on PHP version, for example int is treated as a class name on PHP 5.6 and as a built-in on PHP 7.0.

Work in progress: phpstan/phpstan-src#2839

Result diff of your code snippet:

@@ @@
-No errors
+PHP 8.0 – 8.1
+==========
+
+No errors
+
+PHP 7.1 – 7.4 (2 errors)
+==========
+
+ 9: Property Args\register_meta::$default has unknown class Args\mixed as its type.
+13: Property Args\register_meta::$default (Args\mixed) does not accept int.

[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.