Add a test case under typecheck/new_inference/falsepos
commit509b715a900a89f4402d0d31e2ad8f6f1524a07d
authorSasha Manzyuk <manzyuk@fb.com>
Wed, 5 Dec 2018 18:26:00 +0000 (5 10:26 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 5 Dec 2018 18:29:27 +0000 (5 10:29 -0800)
tree731b7dc782c7406ce8b49ad45fd570bc1dc39eca
parent9622e28476564589bdc712f1af75f477cccb37c6
Add a test case under typecheck/new_inference/falsepos

Summary: This test case (from T26793216) is incorrectly rejected by the legacy type-checker but is accepted by the new constraint-based system.

Reviewed By: andrewjkennedy

Differential Revision: D13340862

fbshipit-source-id: 6363b9674ae45631dadecf93968f89011b6b8713
hphp/hack/test/typecheck/new_inference/falsepos/t26793216.php [new file with mode: 0644]
hphp/hack/test/typecheck/new_inference/falsepos/t26793216.php.exp [new file with mode: 0644]