Move error detection for multiple :@ into naming
commit23381a22cc141b90437499dbb472e362eb5e9040
authorVincent Siles <vsiles@fb.com>
Mon, 8 Jun 2020 09:19:35 +0000 (8 02:19 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 8 Jun 2020 09:32:19 +0000 (8 02:32 -0700)
tree998f7d4bf8e3d75e589a7655e745510f350dac8a
parent7afc93b0d896c4d69924dd2ca87aa3d6ad67af5f
Move error detection for multiple :@ into naming

Summary:
It was in typing/localization and would trigger on other files.
Now it should be only done once, at the actual location.

Reviewed By: andrewjkennedy

Differential Revision: D21861754

fbshipit-source-id: 258d40a7f6d91f084a16812f668e5e1c4bdf9920
hphp/hack/src/errors/errors.ml
hphp/hack/src/errors/errors.mli
hphp/hack/src/typing/nastCheck.ml
hphp/hack/src/typing/typing_phase.ml
hphp/hack/src/typing/typing_toplevel.ml
hphp/hack/test/pocket_universes/naming/pu_type_access.bad.php.exp
hphp/hack/test/pocket_universes/typing/dep1.bad.php.exp