Clean up logic that governs valid reified arguments
commit417c1e9bda0d53b2e46accf3c95d1782d27a12a9
authorVassil Mladenov <vmladenov@fb.com>
Wed, 12 Jun 2019 18:18:35 +0000 (12 11:18 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 12 Jun 2019 18:23:04 +0000 (12 11:23 -0700)
tree66d759dbfddc8566ae1543034a87e51736d05aaf
parentdf78223fc58614a38623cfb19bb607be0cf1be67
Clean up logic that governs valid reified arguments

Summary: This is a cleaner approach, and easier to add new cases to.

Reviewed By: oulgen

Differential Revision: D15771385

fbshipit-source-id: 680106d33db7930efe56445ee92efc9bdfdbf3b2
hphp/hack/src/typing/tast_check/reified_check.ml