Set::map() unknown even though it's in the stub

[simPod]

Bug report

PHPStan says the \Ds\Set::map() does not exists

I see the method is there https://github.com/phpstan/phpstan-src/blob/e40eff0a8e34ceae776e38d48a31efbe67ea399a/stubs/ext-ds.stub#L686-L692 added in phpstan/phpstan-src#855

Code snippet that reproduces the problem

https://phpstan.org/r/9b25b205-df92-41a2-8acb-5b28419faf6e

Expected output

No errors

[ondrejmirtes]

PHPStan stub files are only for overriding PHPDocs. They're not for creating new methods.

The method is either missing in https://github.com/phpstan/phpstan-src/blob/master/resources/functionMap.php or https://github.com/JetBrains/phpstorm-stubs/blob/master/ds/ds.php or both.

[simPod]

I'll look into it and send PR, thanks for pointers.

…

On 15. 1. 2022, at 13:44, Ondřej Mirtes ***@***.***> wrote: PHPStan stub files are only for overriding PHPDocs. They're not for creating new methods. The method is either missing in https://github.com/phpstan/phpstan-src/blob/master/resources/functionMap.php <https://github.com/phpstan/phpstan-src/blob/master/resources/functionMap.php> or https://github.com/JetBrains/phpstorm-stubs/blob/master/ds/ds.php <https://github.com/JetBrains/phpstorm-stubs/blob/master/ds/ds.php> or both. — Reply to this email directly, view it on GitHub <#6373 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACQAJO2TFREMVELPDAI5XLUWFT3NANCNFSM5MA5U4DA>. Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you authored the thread.

[ondrejmirtes]

Didn't help, needs to be in phpstorm-stubs too.

[simPod]

Preparing the PR rn

…

On 15. 1. 2022, at 15:26, Ondřej Mirtes ***@***.***> wrote: Didn't help, needs to be in phpstorm-stubs too. — Reply to this email directly, view it on GitHub <#6373 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACQAJMAEOV2DJQOTYPUZT3UWF73FANCNFSM5MA5U4DA>. Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you authored the thread.

[simPod]

Crosslinks:

phpstan/phpstan-src#923
JetBrains/phpstorm-stubs#1323

[phpstan-bot]

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

@@ @@
-PHP 8.0 – 8.1 (1 error)
+PHP 8.0 – 8.1
 ==========
 
-11: Call to an undefined method Ds\Set<Stringable>::map().
+No errors
 
-PHP 7.1 – 7.4 (2 errors)
+PHP 7.1 – 7.4 (1 error)
 ==========
 
- 9: Parameter $ids of method A::x() has invalid type Stringable.
-11: Call to an undefined method Ds\Set<Stringable>::map().
+ 9: Parameter $ids of method A::x() has invalid type Stringable.

Full report

PHP 8.0 – 8.1

No errors

PHP 7.1 – 7.4 (1 error)

Line	Error
9	Parameter $ids of method A::x() has invalid type Stringable.

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