hphp/hack/test/tast/global_inference/reinfer_types/unsafe_type_fixme.php.exp

   1 [(Typedef
   2     { t_annotation = (); t_name = ([2:6-27], "\\UNSAFE_TYPE_HH_FIXME_");
   3       t_tparams = [{ tp_variance = Invariant; tp_name = ([2:28-29], "T"); tp_parameters = []; tp_constraints = []; tp_reified = Erased; tp_user_attributes = [] }];
   4       t_constraint = None; t_kind = ([2:33-34], (Habstr ("T", [])));
   5       t_user_attributes = []; t_file_attributes = []; t_mode = Mstrict;
   6       t_vis = Transparent;
   7       t_namespace =
   8       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
   9         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  10         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  11       t_span = [2:1-35]; t_emit_id = None; t_is_ctx = false; t_internal = false;
  12       t_module = None })[(Typedef
  13     { t_annotation = (); t_name = ([4:6-26], "\\UNSAFE_TYPE_HH_FIXME");
  14       t_tparams = []; t_constraint = None; t_kind = ([4:29-50], (Happly (([4:29-50], "\\UNSAFE_TYPE_HH_FIXME_"), [])));
  15       t_user_attributes = []; t_file_attributes = []; t_mode = Mstrict;
  16       t_vis = Transparent;
  17       t_namespace =
  18       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  19         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  20         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  21       t_span = [4:1-51]; t_emit_id = None; t_is_ctx = false; t_internal = false;
  22       t_module = None })[(Fun
  23     { fd_namespace =
  24       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  25         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  26         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  27       fd_file_attributes = []; fd_mode = Mstrict;
  28       fd_fun =
  29       { f_span = [3:1-5:2]; f_readonly_this = None; f_annotation = ();
  30         f_readonly_ret = None; f_ret = ((string), (Some ([3:15-35], (Happly (([3:15-35], "\\UNSAFE_TYPE_HH_FIXME"), [])))));
  31         f_name = ([3:10-11], "\\f"); f_tparams = []; f_where_constraints = [];
  32         f_params = []; f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([4:3-16], (Return (Some ((string), [4:10-15], (String "foo")))))] };
  33         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  34         f_doc_comment = None };
  35       fd_internal = false; fd_module = None })[(Class
  36     { c_span = [2:1-4:2]; c_annotation = (); c_mode = Mstrict; c_final = true;
  37       c_is_xhp = false; c_has_xhp_keyword = false; c_kind = (Cclass Abstract);
  38       c_name = ([2:22-30], "\\HH_FIXME"); c_tparams = []; c_extends = [];
  39       c_uses = []; c_xhp_attr_uses = []; c_xhp_category = None; c_reqs = [];
  40       c_implements = []; c_where_constraints = []; c_consts = [];
  41       c_typeconsts =
  42       [{ c_tconst_user_attributes = []; c_tconst_name = ([3:14-26], "MISSING_TYPE");
  43          c_tconst_kind = (TCConcrete { c_tc_type = ([3:29-49], (Happly (([3:29-49], "\\UNSAFE_TYPE_HH_FIXME"), []))) });
  44          c_tconst_span = [3:3-50]; c_tconst_doc_comment = None; c_tconst_is_ctx = false }
  45         ];
  46       c_vars = []; c_methods = []; c_attributes = []; c_xhp_children = [];
  47       c_xhp_attrs = [];
  48       c_namespace =
  49       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  50         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  51         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  52       c_user_attributes = []; c_file_attributes = []; c_enum = None;
  53       c_doc_comment = None; c_emit_id = None; c_internal = false; c_module = None })[(Fun
  54     { fd_namespace =
  55       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  56         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  57         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  58       fd_file_attributes = []; fd_mode = Mstrict;
  59       fd_fun =
  60       { f_span = [3:1-5:2]; f_readonly_this = None; f_annotation = ();
  61         f_readonly_ret = None; f_ret = ((int), (Some ([3:15-37], (Haccess (([3:15-23], (Happly (([3:15-23], "\\HH_FIXME"), []))), [([3:25-37], "MISSING_TYPE")])))));
  62         f_name = ([3:10-11], "\\g"); f_tparams = []; f_where_constraints = [];
  63         f_params = []; f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([4:3-12], (Return (Some ((int), [4:10-11], (Int "0")))))] };
  64         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  65         f_doc_comment = None };
  66       fd_internal = false; fd_module = None })