@var variable not found if initialized in a test

[jolan78]

Bug report

when a variable designated in a @var type $variable phpdoc comment is initialized in a test, phpstan fails to find it :
Variable $variable in PHPDoc tag @var does not exist.

Code snippet that reproduces the problem

https://phpstan.org/r/9566e566-3fb7-40a3-9620-fb08ab0791b1

Expected output

no error

Did PHPStan help you today? Did it make you happy in any way?

Absolutely ! my code gets cleaner and is is satisfying.

[phpstan-bot]

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

@@ @@
  9: Parameter #1 (mixed) of echo cannot be converted to string.
 12: Variable $fails2 in PHPDoc tag @var does not exist.
 13: Parameter #1 (mixed) of echo cannot be converted to string.
+23: PHPDoc tag @var with type string is not subtype of native type mixed.
 27: Parameter #1 $string of function strlen expects string, mixed given.

Full report

Line	Error
8	Variable $fails1 in PHPDoc tag @var does not exist.
9	Parameter #1 (mixed) of echo cannot be converted to string.
12	Variable $fails2 in PHPDoc tag @var does not exist.
13	Parameter #1 (mixed) of echo cannot be converted to string.
23	PHPDoc tag @var with type string is not subtype of native type mixed.
27	Parameter #1 $string of function strlen expects string, mixed given.

[phpstan-bot]

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

@@ @@
  8: Variable $fails1 in PHPDoc tag @var does not exist.
- 9: Parameter #1 (mixed) of echo cannot be converted to string.
 12: Variable $fails2 in PHPDoc tag @var does not exist.
-13: Parameter #1 (mixed) of echo cannot be converted to string.
-27: Parameter #1 $string of function strlen expects string, mixed given.
+23: PHPDoc tag @var with type string is not subtype of native type mixed.
+27: Parameter #1 $string of function strlen expects string, mixed given.
+33: Parameter #1 $string of function strlen expects string, mixed given.
+34: Cannot access offset int<0, max> on mixed.
+34: Parameter #1 (mixed) of echo cannot be converted to string.

Full report

Line	Error
8	Variable $fails1 in PHPDoc tag @var does not exist.
12	Variable $fails2 in PHPDoc tag @var does not exist.
23	PHPDoc tag @var with type string is not subtype of native type mixed.
27	Parameter #1 $string of function strlen expects string, mixed given.
33	Parameter #1 $string of function strlen expects string, mixed given.
34	Cannot access offset int<0, max> on mixed.
34	Parameter #1 (mixed) of echo cannot be converted to string.

[phpstan-bot]

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

@@ @@
+PHP 8.0 – 8.2 (7 errors)
+==========
+
  8: Variable $fails1 in PHPDoc tag @var does not exist.
- 9: Parameter #1 (mixed) of echo cannot be converted to string.
 12: Variable $fails2 in PHPDoc tag @var does not exist.
-13: Parameter #1 (mixed) of echo cannot be converted to string.
-27: Parameter #1 $string of function strlen expects string, mixed given.
+23: PHPDoc tag @var with type string is not subtype of native type mixed.
+27: Parameter #1 $string of function strlen expects string, mixed given.
+33: Parameter #1 $string of function strlen expects string, mixed given.
+34: Cannot access offset int<0, max> on mixed.
+34: Parameter #1 (mixed) of echo cannot be converted to string.
+
+PHP 7.1 – 7.4 (11 errors)
+==========
+
+ 5: Parameter $input of method HelloWorld::sayHello() has invalid type mixed.
+ 8: Strict comparison using !== between mixed and '' will always evaluate to true.
+ 8: Variable $fails1 in PHPDoc tag @var does not exist.
+12: Variable $fails2 in PHPDoc tag @var does not exist.
+16: PHPDoc tag @var with type string is not subtype of native type mixed.
+21: Strict comparison using !== between mixed and '' will always evaluate to true.
+23: PHPDoc tag @var with type string is not subtype of native type mixed.
+27: Parameter #1 $string of function strlen expects string, mixed|string given.
+29: PHPDoc tag @var with type string is not subtype of native type mixed.
+33: Parameter #1 $string of function strlen expects string, mixed given.
+34: Access to offset int<0, max> on an unknown class mixed.

Full report

PHP 8.0 – 8.2 (7 errors)

Line	Error
8	Variable $fails1 in PHPDoc tag @var does not exist.
12	Variable $fails2 in PHPDoc tag @var does not exist.
23	PHPDoc tag @var with type string is not subtype of native type mixed.
27	Parameter #1 $string of function strlen expects string, mixed given.
33	Parameter #1 $string of function strlen expects string, mixed given.
34	Cannot access offset int<0, max> on mixed.
34	Parameter #1 (mixed) of echo cannot be converted to string.

PHP 7.1 – 7.4 (11 errors)

Line	Error
5	Parameter $input of method HelloWorld::sayHello() has invalid type mixed.
8	Strict comparison using !== between mixed and '' will always evaluate to true.
8	Variable $fails1 in PHPDoc tag @var does not exist.
12	Variable $fails2 in PHPDoc tag @var does not exist.
16	PHPDoc tag @var with type string is not subtype of native type mixed.
21	Strict comparison using !== between mixed and '' will always evaluate to true.
23	PHPDoc tag @var with type string is not subtype of native type mixed.
27	`Parameter #1 $string of function strlen expects string, mixed
29	PHPDoc tag @var with type string is not subtype of native type mixed.
33	Parameter #1 $string of function strlen expects string, mixed given.
34	Access to offset int<0, max> on an unknown class mixed.

[phpstan-bot]

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

@@ @@
+PHP 8.0 – 8.2 (6 errors)
+==========
+
  8: Variable $fails1 in PHPDoc tag @var does not exist.
- 9: Parameter #1 (mixed) of echo cannot be converted to string.
 12: Variable $fails2 in PHPDoc tag @var does not exist.
-13: Parameter #1 (mixed) of echo cannot be converted to string.
-27: Parameter #1 $string of function strlen expects string, mixed given.
+27: Parameter #1 $string of function strlen expects string, mixed given.
+33: Parameter #1 $string of function strlen expects string, mixed given.
+34: Cannot access offset int<0, max> on mixed.
+34: Parameter #1 (mixed) of echo cannot be converted to string.
+
+PHP 7.1 – 7.4 (8 errors)
+==========
+
+ 5: Parameter $input of method HelloWorld::sayHello() has invalid type mixed.
+ 8: Strict comparison using !== between mixed and '' will always evaluate to true.
+ 8: Variable $fails1 in PHPDoc tag @var does not exist.
+12: Variable $fails2 in PHPDoc tag @var does not exist.
+21: Strict comparison using !== between mixed and '' will always evaluate to true.
+27: Parameter #1 $string of function strlen expects string, mixed|string given.
+33: Parameter #1 $string of function strlen expects string, mixed given.
+34: Access to offset int<0, max> on an unknown class mixed.

Full report

PHP 8.0 – 8.2 (6 errors)

Line	Error
8	Variable $fails1 in PHPDoc tag @var does not exist.
12	Variable $fails2 in PHPDoc tag @var does not exist.
27	Parameter #1 $string of function strlen expects string, mixed given.
33	Parameter #1 $string of function strlen expects string, mixed given.
34	Cannot access offset int<0, max> on mixed.
34	Parameter #1 (mixed) of echo cannot be converted to string.

PHP 7.1 – 7.4 (8 errors)

Line	Error
5	Parameter $input of method HelloWorld::sayHello() has invalid type mixed.
8	Strict comparison using !== between mixed and '' will always evaluate to true.
8	Variable $fails1 in PHPDoc tag @var does not exist.
12	Variable $fails2 in PHPDoc tag @var does not exist.
21	Strict comparison using !== between mixed and '' will always evaluate to true.
27	`Parameter #1 $string of function strlen expects string, mixed
33	Parameter #1 $string of function strlen expects string, mixed given.
34	Access to offset int<0, max> on an unknown class mixed.