Keep track of this_ty using option type instead of list of dependent types
commit51f8f3ea8548d332b954db4dfff84c62ee54c83b
authorJames Wu <jjwu@fb.com>
Mon, 10 Apr 2017 18:48:23 +0000 (10 11:48 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 10 Apr 2017 18:50:49 +0000 (10 11:50 -0700)
tree93d3fa50d93f47a5a8a24626e513ed0d3413198a
parent3395c7fa681ebd3255d44be57766f8e7bf4afb6d
Keep track of this_ty using option type instead of list of dependent types

Summary: This allows us to replace dependent types with generics in a later diff

Reviewed By: michaeltingley

Differential Revision: D4652783

fbshipit-source-id: 3a7c0f14cf2413f51b78911821833045edb17ebc
hphp/hack/src/typing/typing_subtype.ml
hphp/hack/src/typing/typing_unification_env.ml
hphp/hack/test/typecheck/tconst/tconst_this_ty_generics.php [new file with mode: 0644]
hphp/hack/test/typecheck/tconst/tconst_this_ty_generics.php.exp [new file with mode: 0644]