ext-ds broken with v0.12.31 #3539
Description
Bug report
I tried to update PHPStan to v0.12.31 and it suddenly reports many false positives related to ext-ds:
Access to an undefined property Ds\Pair::$key.
Access to an undefined property Ds\Pair::$value.
Class Ds\Vector does not have a constructor and must be instantiated without any parameters.
Call to an undefined method Ds\PriorityQueue::push().
v0.12.30 worked fine.