New inference: rename fresh_unresolved_type
commit623513cd0940c21e083d5f461e2a5c5e01d7cdc6
authorAndrew Kennedy <akenn@fb.com>
Wed, 29 May 2019 09:49:13 +0000 (29 02:49 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 29 May 2019 09:53:00 +0000 (29 02:53 -0700)
tree4d073764b94214c77aee0c8218287269c4f81d4a
parentc947117f19b3aa5428d7c301ed1b8ad4b7e7cafc
New inference: rename fresh_unresolved_type

Summary: Under new inference, `fresh_type` and `fresh_unresolved_type` have identical functionality. Rename the latter to the former.

Reviewed By: dlreeves

Differential Revision: D15518339

fbshipit-source-id: 067382c514fe1510e48fca751d1edaff7e2d119d
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_array_access.ml
hphp/hack/src/typing/typing_arrays.ml
hphp/hack/src/typing/typing_env.ml
hphp/hack/src/typing/typing_env.mli
hphp/hack/src/typing/typing_memoize.ml
hphp/hack/src/typing/typing_return.ml
hphp/hack/src/typing/typing_shapes.ml