fix miss-match "vec" vs "HH\vec"
commit09f8cd008938b8e6e315fbdeb107c114d736da4e
authorVincent Siles <vsiles@fb.com>
Fri, 24 Apr 2020 08:00:28 +0000 (24 01:00 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 30 Apr 2020 21:17:42 +0000 (30 14:17 -0700)
tree6528f3e9bf5036329acc5f2ae308384d08324410
parentf0908f419b420087a8590d2c287280c1e7069722
fix miss-match "vec" vs "HH\vec"

Summary:
The `Members` method of PU is returning a vector of universes.
It must return a `\\HH\\vec` but was wrongly returning a `\\vec`.

Reviewed By: francesco-zappa-nardelli

Differential Revision: D21199514

fbshipit-source-id: 2ca12a93d44f8d9634d80d8c6242c06f7f92745f
hphp/hack/src/typing/dune
hphp/hack/src/typing/typing.ml
hphp/hack/test/pocket_universes/typing/extends_members.bad.php [new file with mode: 0644]
hphp/hack/test/pocket_universes/typing/extends_members.bad.php.exp [new file with mode: 0644]