subsequent // @phpstan-ignore-line is ignored / without effect

[jtopenpetition]

Bug report

in this specific code snippet the // @phpstan-ignore-line doesn't mute the second line's error

Code snippet that reproduces the problem

<?php

return [
	'first' => $first, // @phpstan-ignore-line
	'second' => $second, // @phpstan-ignore-line  <-- this line still produces an error
];

https://phpstan.org/r/8034d53c-c704-4cd5-ac28-b9dac7cd3dff

Expected output

no error

[phpstan-bot]

@jtopenpetition After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-5: Variable $second might not be defined.
+No errors

[ondrejmirtes]

Fixed: phpstan/phpstan-src@9474696

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