Typecheck `php/spl/datastructures/SplHeap.php`
commit7c608e127a1a5c5301fb5b40bc9a668fc2ed520e
authorHunter Goldstein <hgoldstein@fb.com>
Thu, 14 Jul 2022 16:44:56 +0000 (14 09:44 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 14 Jul 2022 16:44:56 +0000 (14 09:44 -0700)
treeedb7b45731d918fd645e9288454f1a5dbd3193bf
parentde841d4f94d3d9a59c39775420e510f36cb8b1d6
Typecheck `php/spl/datastructures/SplHeap.php`

Summary: The major issue I encountered is that Hack doesn't have a way to specify that a type is comparable. This required me `UNSAFE_CAST`ing to `int` as a way to proxy "pretend that this type is potentially comparable.

Reviewed By: edwinsmith

Differential Revision: D37538233

fbshipit-source-id: ac5b97697edb85d16ae92766793518eec9b98fbc
hphp/system/php/spl/datastructures/SplHeap.php
hphp/test/quick/debugger/list.php.expectf