Allow BUninit in all optional types
commit01e03e5231d9ff1d63cb324ab10419b481c64703
authorMark Williams <mwilliams@fb.com>
Fri, 6 Jul 2018 03:33:42 +0000 (5 20:33 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 6 Jul 2018 03:44:50 +0000 (5 20:44 -0700)
tree6263f6697a100f4705a5c826a16b0ab45b156ed4
parentc12b20ea06576242dacc8f7f249ac0fa08950f07
Allow BUninit in all optional types

Summary:
As a step towards allowing arbitrary unions, this allows BUninit
to be added to any canBeOptional, or is_opt type.

Reviewed By: ricklavoie

Differential Revision: D8702018

fbshipit-source-id: fd3829ef80cf761fa3b46bc729411aacfea24132
hphp/hhbbc/index.cpp
hphp/hhbbc/interp-internal.h
hphp/hhbbc/show.cpp
hphp/hhbbc/test/type-system.cpp
hphp/hhbbc/type-system.cpp
hphp/hhbbc/type-system.h