PHPStan's stub for sys_getloadavg is lacking #13198
Description
Bug report
Currently sys_getloadavg() returns array|false. I think it could be narrowed down to array{float, float, float} instead.
Code snippet that reproduces the problem
https://phpstan.org/r/1685e94a-9bc1-4372-99c7-3be061dc8d87
Expected output
No errors.
Did PHPStan help you today? Did it make you happy in any way?
No response