False positive on stream_get_meta_data

[pincher2012]

Bug report

Metadata of stream_socket_client does not contains uri item, but phpstan report as error.

Code snippet that reproduces the problem

https://phpstan.org/r/67303fbb-4df5-49f9-b451-58a88d118aa7

Expected output

Phpstan does not alert about error

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

PHPStan is awesome!

[ondrejmirtes]

When is the uri index missing?

[pincher2012]

1. Create resource with stream_socket_client
2. Get stream metadata with stream_get_meta_data
3. var_dump metadata

array(8) {
  ["crypto"]=>
  array(4) {
    ["protocol"]=>
    string(7) "TLSv1.2"
    ["cipher_name"]=>
    string(27) "ECDHE-RSA-AES128-GCM-SHA256"
    ["cipher_bits"]=>
    int(128)
    ["cipher_version"]=>
    string(11) "TLSv1/SSLv3"
  }
  ["timed_out"]=>
  bool(false)
  ["blocked"]=>
  bool(true)
  ["eof"]=>
  bool(false)
  ["stream_type"]=>
  string(14) "tcp_socket/ssl"
  ["mode"]=>
  string(2) "r+"
  ["unread_bytes"]=>
  int(0)
  ["seekable"]=>
  bool(false)
}

As you see, the composition of the fields is different from another case when you use fopen and url as parameter.

https://www.php.net/manual/en/function.stream-get-meta-data.php

[ondrejmirtes]

Yeah, so we just need to make the url key optional.

[ondrejmirtes]

Fixed phpstan/phpstan-src#3024

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