Remove Tobject
commit2b29e7b696ba8919e5c992c28485ad5d4bfd134d
authorMistral Orhan Jean-Pierre Contrastin <mojpc2@fb.com>
Wed, 11 Aug 2021 10:37:35 +0000 (11 03:37 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 11 Aug 2021 10:39:16 +0000 (11 03:39 -0700)
tree001a2c914d834fa98e9f113290eccd026951aada
parent98db5311a64a96ddab042681678da7cf7f1e56ff
Remove Tobject

Summary: We eliminated all the ways of producing `Tobject`. This diff removes the constructor altogether.

Differential Revision: D30191620

fbshipit-source-id: d83aa23a0253ed739b90a5b68163ca9e0c1b4b48
49 files changed:
hphp/hack/src/ifc/ifc_lift.ml
hphp/hack/src/oxidized_by_ref/decl_visitor/node_impl_gen.rs
hphp/hack/src/oxidized_by_ref/gen/typing_defs_core.rs
hphp/hack/src/oxidized_by_ref/manual/typing_defs_core_impl.rs
hphp/hack/src/server/codemodTypePrinter.ml
hphp/hack/src/typing/coverage_level.ml
hphp/hack/src/typing/tast_check/bad_type_logger/bad_type_logger.ml
hphp/hack/src/typing/tast_check/bad_type_logger/bad_type_logger_file.ml
hphp/hack/src/typing/tast_check/bad_type_logger/bad_type_logger_types.ml
hphp/hack/src/typing/tast_check/discarded_awaitable_check.ml
hphp/hack/src/typing/tast_check/invalid_index_check.ml
hphp/hack/src/typing/tast_check/string_cast_check.ml
hphp/hack/src/typing/tast_check/switch_check.ml
hphp/hack/src/typing/tast_check/type_serialization_identity_check.ml
hphp/hack/src/typing/tast_expand.ml
hphp/hack/src/typing/tast_utils.ml
hphp/hack/src/typing/type_mapper_generic.ml
hphp/hack/src/typing/type_mapper_generic.mli
hphp/hack/src/typing/type_visitor.ml
hphp/hack/src/typing/type_visitor.mli
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_array_access.ml
hphp/hack/src/typing/typing_async.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_dependent_type.ml
hphp/hack/src/typing/typing_env.ml
hphp/hack/src/typing/typing_equality_check.ml
hphp/hack/src/typing/typing_escape.ml
hphp/hack/src/typing/typing_kinding.ml
hphp/hack/src/typing/typing_local_ops.ml
hphp/hack/src/typing/typing_make_type.ml
hphp/hack/src/typing/typing_memoize.ml
hphp/hack/src/typing/typing_object_get.ml
hphp/hack/src/typing/typing_print.ml
hphp/hack/src/typing/typing_solver.ml
hphp/hack/src/typing/typing_substring.ml
hphp/hack/src/typing/typing_subtype.ml
hphp/hack/src/typing/typing_taccess.ml
hphp/hack/src/typing/typing_union.ml
hphp/hack/src/typing/typing_xhp.ml
hphp/hack/test/typecheck/new_inference/string_expressions4b.php.exp
hphp/hack/test/typecheck/new_inference/string_expressions4c.php.exp
hphp/hack/test/typecheck/new_inference/string_expressions6.php.exp
hphp/hack/test/typecheck/string_expressions4b.php.exp
hphp/hack/test/typecheck/string_expressions4c.php.exp
hphp/hack/test/typecheck/string_expressions6.php.exp
hphp/hack/test/typecheck/unmagic_stringish/unmagic_stringish2.php.exp