Comparing constraint names: Just() == Nothing. 14132/14145.
commit5fad4be0f986655913e3ac73aa72bb6d495e290c
authorAlma Thaler <almathaler@fb.com>
Fri, 22 Jul 2022 14:52:14 +0000 (22 07:52 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 22 Jul 2022 14:52:14 +0000 (22 07:52 -0700)
tree80c83aea1833bb1f846da804ccde208d6e49f92e
parentf36975796e54ccc5e8ea3365f2979a47a3bc5685
Comparing constraint names: Just() == Nothing. 14132/14145.

Summary:
Because the bytecode printer prints a typedef constraint name of `""` and `Nothing` the same (`""`), gives leeway in `cmp_unit` wrt that.
Ex file that now assembles:
`test/slow/type_structure/namespaces-1.php`

Reviewed By: aorenste

Differential Revision: D37966049

fbshipit-source-id: a28665f5eeba479247776040681afdda87c4da9d
hphp/hack/src/hackc/bytecode_printer/print.rs
hphp/hack/src/hackc/hackc/cmp_unit.rs