Bug report

maybe related #3513

It looks like there is something messed up with reading API of this class (stubs?). In stubs it looks OK.

Code snippet that reproduces the problem

https://phpstan.org/r/7bd38eca-a7bc-4e66-9345-de38d5799c28

/** @var \Ds\Vector<int> */
$vector = new \Ds\Vector([1,2,3]);

produces error:

Class Ds\Vector does not have a constructor and must be instantiated without any parameters.

Expected output

No error