fix careless mistake in transitive closure
commitba8467ffc513bfb8e9bdbd13298510996bff2b65
authorCatherine Gasnier <catg@fb.com>
Mon, 1 Jun 2020 18:02:39 +0000 (1 11:02 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 1 Jun 2020 18:09:15 +0000 (1 11:09 -0700)
tree24ed76e9c0c20c036d17fd5cd94b0670faad9439
parentba6a6cb57eabd7135e5aeb169c306d53b454dc44
fix careless mistake in transitive closure

Differential Revision: D21819380

fbshipit-source-id: d055b949928ff7b0d40061ff5cc2b82762401608
hphp/hack/src/typing/typing_subtype.rs