add tests for traits
commit905f95d976caf0631b4075a8fd23e7eb4eca5128
authorNoam Zilberstein <noamz@fb.com>
Thu, 17 Jun 2021 16:24:51 +0000 (17 09:24 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 17 Jun 2021 16:27:18 +0000 (17 09:27 -0700)
tree1f3cad0e2c3d1334f3d6e872bd4c9f975c6de687
parentd617b11202d976ac0633472fc442b124feb9187f
add tests for traits

Summary: added trait tests, probably not exhaustive

Reviewed By: andrewjkennedy

Differential Revision: D29143181

fbshipit-source-id: 08b7384071e3d19269c4b97bbb652c6f43c7fcc7
hphp/hack/src/typing/typing_type_wellformedness.ml
hphp/hack/test/typecheck/modules/module_traits.php [new file with mode: 0644]
hphp/hack/test/typecheck/modules/module_traits.php.exp [new file with mode: 0644]