Rewrite various ad hoc tests using subtypeOf/couldBe
commitc12b20ea06576242dacc8f7f249ac0fa08950f07
authorMark Williams <mwilliams@fb.com>
Fri, 6 Jul 2018 03:33:40 +0000 (5 20:33 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 6 Jul 2018 03:44:48 +0000 (5 20:44 -0700)
treedaa65c7008aa00ce9f51eedf24b73dabcf511b93
parent8fec35fd3225893aaa0f06092405e83e730b7b2d
Rewrite various ad hoc tests using subtypeOf/couldBe

Summary:
A number of checks had been written using m_bits directly, rather than
subtypeOf/couldBe for efficiency; rewrite using the new trep versions
of subtypeOf/couldBe.

Reviewed By: ricklavoie

Differential Revision: D8714779

fbshipit-source-id: c7692e1e6669f83aa88ad1eaac73c02ef5c70fe6
hphp/hhbbc/type-system.cpp