Incorrect type inference from result of array_map

[marcospassos]

Summary of a problem or a feature request

The type inference from the result of array_map seems wrong.

Code snippet that reproduces the problem

https://phpstan.org/r/b8dbc80d-ded7-42e4-9ed5-db6d8d795eb0

Expected output

No error.

[JanTvrdik]

That's unrelated to array_map. https://phpstan.org/r/9b0361b9-b4f3-43b9-821a-7e5739e28f99

[ondrejmirtes]

Yeah, StaticResolvableType::resolveStatic needs to be called in more cases.

[phpstan-bot]

@marcospassos PHPStan now reports different result with your code snippet:

@@ @@
-20: Parameter #1 ...$bars of function bar expects array<int, Bar>, array<int, static(Foo)> given.
+10: Unsafe usage of new static().
+17: Function bar() has no return typehint specified.
+20: Parameter #1 ...$bars of function bar expects Bar, static(Foo) given.

Full report

Line	Error
10	Parameter #1 ...$bars of function bar expects Bar, static(Foo) given.
17	Parameter #1 ...$bars of function bar expects Bar, static(Foo) given.
20	Parameter #1 ...$bars of function bar expects Bar, static(Foo) given.

[phpstan-bot]

@JanTvrdik PHPStan now reports different result with your code snippet:

@@ @@
+10: Unsafe usage of new static().
 23: Strict comparison using === between static(Foo) and 0 will always evaluate to false.
 24: Strict comparison using === between static(Foo) and 0 will always evaluate to false.

Full report

Line	Error
10	Strict comparison using === between static(Foo) and 0 will always evaluate to false.
23	Strict comparison using === between static(Foo) and 0 will always evaluate to false.
24	Strict comparison using === between static(Foo) and 0 will always evaluate to false.

[phpstan-bot]

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

@@ @@
-20: Parameter #1 ...$bars of function bar expects array<int, Bar>, array<int, static(Foo)> given.
+10: Unsafe usage of new static().
+17: Function bar() has no return typehint specified.

Full report

Line	Error
10	Unsafe usage of new static().
17	Function bar() has no return typehint specified.

[phpstan-bot]

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

@@ @@
-23: Strict comparison using === between static(Foo) and 0 will always evaluate to false.
-24: Strict comparison using === between static(Foo) and 0 will always evaluate to false.
+10: Unsafe usage of new static().
+23: Strict comparison using === between Foo and 0 will always evaluate to false.
+24: Strict comparison using === between Bar and 0 will always evaluate to false.

Full report

Line	Error
10	Unsafe usage of new static().
23	Strict comparison using === between Foo and 0 will always evaluate to false.
24	Strict comparison using === between Bar and 0 will always evaluate to false.

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