hphp/hack/test/nast/nonreturn_habstr_hkt.php.exp

   1 [(Class
   2     { c_span = [3:1-7:2]; c_annotation = (); c_mode = Mstrict; c_final = false;
   3       c_is_xhp = false; c_has_xhp_keyword = false; c_kind = (Cclass Concrete);
   4       c_name = ([3:7-10], "\\ABC");
   5       c_tparams =
   6       [{ tp_variance = Invariant; tp_name = ([3:11-13], "T1");
   7          tp_parameters =
   8          [{ tp_variance = Invariant; tp_name = ([3:14-16], "T2"); tp_parameters = [];
   9             tp_constraints = [(Constraint_as, ([3:14-16], (Happly (([3:14-16], "\\HH\\supportdyn"), [([3:14-16], Hmixed)]))))];
  10             tp_reified = Erased; tp_user_attributes = [] }
  11            ];
  12          tp_constraints = [(Constraint_as, ([3:11-13], (Happly (([3:11-13], "\\HH\\supportdyn"), [([3:11-13], Hmixed)]))))];
  13          tp_reified = Erased; tp_user_attributes = [] }
  14         ];
  15       c_extends = []; c_uses = []; c_xhp_attr_uses = []; c_xhp_category = None;
  16       c_reqs = []; c_implements = []; c_where_constraints = []; c_consts = [];
  17       c_typeconsts = []; c_vars = [];
  18       c_methods =
  19       [{ m_span = [4:3-66]; m_annotation = (); m_final = false; m_abstract = false;
  20          m_static = false; m_readonly_this = false; m_visibility = Public;
  21          m_name = ([4:19-44], "nonreturn_habstr_void_hkt"); m_tparams = [];
  22          m_where_constraints = [];
  23          m_params =
  24          [{ param_annotation = (); param_type_hint = ((), (Some ([4:45-53], (Habstr ("T1", [([4:48-52], (Hprim Tvoid))])))));
  25             param_pos = [4:54-56]; param_name = "$x"; param_info = Param_required;
  26             param_readonly = None; param_callconv = Pnormal; param_user_attributes = [];
  27             param_visibility = None }
  28            ];
  29          m_ctxs = None; m_unsafe_ctxs = None; m_body = { fb_ast = [([Pos.none], Noop)] };
  30          m_fun_kind = FSync; m_user_attributes = []; m_readonly_ret = None;
  31          m_ret = ((), (Some ([4:59-63], (Hprim Tvoid)))); m_external = false;
  32          m_doc_comment = None };
  33         { m_span = [6:3-74]; m_annotation = (); m_final = false; m_abstract = false;
  34           m_static = false; m_readonly_this = false; m_visibility = Public;
  35           m_name = ([6:19-48], "nonreturn_habstr_noreturn_hkt"); m_tparams = [];
  36           m_where_constraints = [];
  37           m_params =
  38           [{ param_annotation = (); param_type_hint = ((), (Some ([6:49-61], (Habstr ("T1", [([6:52-60], (Hprim Tnoreturn))])))));
  39              param_pos = [6:62-64]; param_name = "$x"; param_info = Param_required;
  40              param_readonly = None; param_callconv = Pnormal; param_user_attributes = [];
  41              param_visibility = None }
  42             ];
  43           m_ctxs = None; m_unsafe_ctxs = None; m_body = { fb_ast = [([Pos.none], Noop)] };
  44           m_fun_kind = FSync; m_user_attributes = []; m_readonly_ret = None;
  45           m_ret = ((), (Some ([6:67-71], (Hprim Tvoid)))); m_external = false;
  46           m_doc_comment = None }
  47         ];
  48       c_xhp_children = []; c_xhp_attrs = [];
  49       c_namespace =
  50       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  51         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  52         ns_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false };
  53       c_user_attributes = [{ ua_name = ([3:7-10], "__SupportDynamicType"); ua_params = [] }];
  54       c_file_attributes = []; c_docs_url = None; c_enum = None; c_doc_comment = None;
  55       c_emit_id = None; c_internal = false; c_module = None })
  56   ]