Closure::bind() and array type hinting inside closure

[mente]

Bug report

With latest upgrade to 0.12.84 (by probably fixing #4808) PHPStan loses the typing of an array coming from an upper class.

Code snippet that reproduces the problem

https://phpstan.org/r/d4e5e3e8-57f6-4f1b-88e6-cfcd73e8c8ef

Expected output

No errors reports.

PS Simple type hinting of $connectionParameters inside Closure:bind would have helped, but fixing type erasure will be a proper solution.

[phpstan-bot]

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

@@ @@
+10: Property Connection::$params is unused.
+18: Property HelloWorld::$connectionParameters is never written, only read.
+20: Method HelloWorld::overrideConnectionParameters() is unused.
 24: Array (array<string, mixed>) does not accept key (int|string).

Full report

Line	Error
10	Property Connection::$params is unused.
18	Property HelloWorld::$connectionParameters is never written, only read.
20	Method HelloWorld::overrideConnectionParameters() is unused.
24	`Array (array<string, mixed>) does not accept key (int

[phpstan-bot]

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

@@ @@
-24: Array (array<string, mixed>) does not accept key (int|string).
+10: Property Connection::$params is unused.
+24: Array (array<string, mixed>) does not accept key (int|string).
+18: Property HelloWorld::$connectionParameters is never written, only read.
+20: Method HelloWorld::overrideConnectionParameters() is unused.

Full report

Line	Error
10	Property Connection::$params is unused.
24	`Array (array<string, mixed>) does not accept key (int
18	Property HelloWorld::$connectionParameters is never written, only read.
20	Method HelloWorld::overrideConnectionParameters() is unused.

[phpstan-bot]

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

@@ @@
-24: Array (array<string, mixed>) does not accept key (int|string).
+10: Property Connection::$params is unused.
+18: Property HelloWorld::$connectionParameters is never written, only read.
+20: Method HelloWorld::overrideConnectionParameters() is unused.

Full report

Line	Error
10	Property Connection::$params is unused.
18	Property HelloWorld::$connectionParameters is never written, only read.
20	Method HelloWorld::overrideConnectionParameters() is unused.

[mente]

Nice, looks like fixed, so closing

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