Static polymorphism check should fold unresolved types
commitbc07712a4c00038d941eaaf82dcc06afd0b7d6fe
authorJez Ng <jezng@fb.com>
Sat, 14 Mar 2015 03:25:28 +0000 (13 20:25 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Thu, 23 Apr 2015 06:00:38 +0000 (22 23:00 -0700)
treec08a0e7e669f31549684d789a0347d043c6ee3e1
parent3b2370fce06117614d3a1f0c553e7d77ae45a97a
Static polymorphism check should fold unresolved types

Reviewed By: @elgenie

Differential Revision: D1913099
hphp/hack/src/typing/typing.ml
hphp/hack/test/typecheck/dynamic_class_2.php [new file with mode: 0644]
hphp/hack/test/typecheck/dynamic_class_2.php.exp [new file with mode: 0644]