Bug report
iterable<K, V> is an alias for array<K, V>|Traversable<K, V>, therefore, an expression of type iterable<K, V> should be allowed as an argument to a parameter of type array<K, V>|Traversable<K, V>.
Code snippet that reproduces the problem
https://phpstan.org/r/31665602-43e6-4f33-b23f-7c6a1f282e13
Expected output
No issues
Did PHPStan help you today? Did it make you happy in any way?
No response
Bug report
iterable<K, V>is an alias forarray<K, V>|Traversable<K, V>, therefore, an expression of typeiterable<K, V>should be allowed as an argument to a parameter of typearray<K, V>|Traversable<K, V>.Code snippet that reproduces the problem
https://phpstan.org/r/31665602-43e6-4f33-b23f-7c6a1f282e13
Expected output
No issues
Did PHPStan help you today? Did it make you happy in any way?
No response