consistently use Decl_provider.xyz_key instead of string
commit9f153453e3c1e5b42acdb60f3c6a060ef1ed6a01
authorLucian Wischik <ljw@fb.com>
Mon, 15 Mar 2021 23:21:04 +0000 (15 16:21 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 15 Mar 2021 23:23:29 +0000 (15 16:23 -0700)
tree08cebd88c811e9377b5a44cc2b52edc3d1940d5a
parentc2d6b7030b6edd986a9d9ce8bf7e824bdb54655f
consistently use Decl_provider.xyz_key instead of string

Summary:
In many parts of the code we use Decl_provider.fun_key or type_key or gconst_key. They are all aliased to string.

In other parts of the code we use string.

This diff changes from "string" to "key". It doesn't have any effect. (It's a prelude to a future diff, which will change them to use opaque types rather than string).

Differential Revision: D27054849

fbshipit-source-id: ed651a9c1198d7f6e1fae0da4e47602a796160bb
hphp/hack/src/providers/decl_provider.ml
hphp/hack/src/typing/tast_env.mli
hphp/hack/src/typing/typing_env.ml
hphp/hack/src/typing/typing_env.mli