fix antipattern of deconstructing and reconstructing type
commit1062bf44a8af4cae17fdf508a2f81ebbc5c93194
authorCatherine Gasnier <catg@fb.com>
Wed, 2 Sep 2020 14:49:41 +0000 (2 07:49 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 2 Sep 2020 14:52:08 +0000 (2 07:52 -0700)
treeea79adb40db66551b8b05b908de94af07cd71008
parent209be9760a7152d88151690f784ebab153fe5607
fix antipattern of deconstructing and reconstructing type

Summary: This caused a bug in another prototype diff of mine.

Reviewed By: andrewjkennedy

Differential Revision: D23473525

fbshipit-source-id: 310e06488752aab033c7fa10bc5fd97afc3fb841
hphp/hack/src/typing/typing_defs_core.ml
hphp/hack/src/typing/typing_defs_core.mli
hphp/hack/src/typing/typing_phase.ml