Make Taccess take just a single identifier not a path
commit12761dd7bd4e26be8dfd929c35f37204bd571d80
authorAndrew Kennedy <akenn@fb.com>
Wed, 4 Nov 2020 10:05:53 +0000 (4 02:05 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 4 Nov 2020 10:07:37 +0000 (4 02:07 -0800)
treed622d67e3876d5c71d7848731fbe342eabd61428
parent8ab0aae4d9c01eb1320a20eb22ef994fdec4a3cf
Make Taccess take just a single identifier not a path

Summary: Now that we translate type constant hints (e.g. `this::T1::T2`) into nested uses of Taccess on a singleton identifier (i.e. treat it as `(this::T1)::T2`), we can change the definition of `Taccess` to take a single identifier, not a list.

Reviewed By: vsiles

Differential Revision: D24623079

fbshipit-source-id: 0805d24f9f5cb459e2371ead36c43942eee092a1
21 files changed:
hphp/hack/src/decl/decl_enum.ml
hphp/hack/src/decl/decl_folded_class.ml
hphp/hack/src/decl/decl_fun_utils.ml
hphp/hack/src/decl/decl_hint.ml
hphp/hack/src/decl/decl_instantiate.ml
hphp/hack/src/decl/decl_pos_utils.ml
hphp/hack/src/decl/decl_to_typing.ml
hphp/hack/src/decl/direct_decl_smart_constructors.rs
hphp/hack/src/oxidized_by_ref/gen/typing_defs_core.rs
hphp/hack/src/server/codemodTypePrinter.ml
hphp/hack/src/server/serverExtractStandalone.ml
hphp/hack/src/typing/type_mapper_generic.ml
hphp/hack/src/typing/type_validator.ml
hphp/hack/src/typing/typing_defs.ml
hphp/hack/src/typing/typing_defs_core.ml
hphp/hack/src/typing/typing_defs_core.mli
hphp/hack/src/typing/typing_make_type.ml
hphp/hack/src/typing/typing_phase.ml
hphp/hack/src/typing/typing_print.ml
hphp/hack/src/typing/typing_taccess.ml
hphp/hack/src/typing/typing_taccess.mli