Remove support for <<__UNSAFE_Construct>> in the type checker
commit8923c33e74ae09d00e077d47cc844e07b31217ed
authorVassil Mladenov <vmladenov@fb.com>
Fri, 5 Apr 2019 06:29:50 +0000 (4 23:29 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 5 Apr 2019 06:34:04 +0000 (4 23:34 -0700)
treeafbf66257ddb9abd21937f5adf3a29d8d3ba6cf9
parentfaeb9fa36bf03f13bff5bbe1f7402e5ec0433212
Remove support for <<__UNSAFE_Construct>> in the type checker

Summary: Just removes support for the attribute and propagates

Reviewed By: kmeht

Differential Revision: D14274797

fbshipit-source-id: b7873e0b75dd2a819a1f7827f362aa702924abb6
12 files changed:
hphp/hack/src/decl/decl.ml
hphp/hack/src/decl/shallow_decl.ml
hphp/hack/src/decl/shallow_decl_defs.ml
hphp/hack/src/naming/naming_special_names.ml
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/options/typecheckerOptions.ml
hphp/hack/src/server/serverConfig.ml
hphp/hack/src/typing/tast_check/disallow_unsafe_construct.ml [deleted file]
hphp/hack/src/typing/tast_check/tast_check.ml
hphp/hack/test/typecheck/construct_consist3.php [deleted file]
hphp/hack/test/typecheck/construct_consist3.php.exp [deleted file]