Static property access
commitae90e004feece34b3da8c86b029b2b02235bbbdd
authorSasha Manzyuk <manzyuk@fb.com>
Wed, 11 Jul 2018 10:49:12 +0000 (11 03:49 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 11 Jul 2018 10:57:13 +0000 (11 03:57 -0700)
treeff36b7d379e00663e5950f41920edf40c17fe1b0
parentf611a95a6de0b7a0b7fe9628c93f88dd8da39a87
Static property access

Summary: Further tiny steps, this time toward formalization of static property access.  This case seems to be easier than instance property access because we don't have to deal with the possibility of `this` type being used in the type of the property.  This is currently disallowed by Hack.

Reviewed By: andrewjkennedy

Differential Revision: D8781039

fbshipit-source-id: f451a76e53f0bc6dc9c7ae068e280a850b70c2db
hphp/hack/doc/type_system/hack_typing.ott