hphp/hack/test/tast/global_inference/partial_annot_where.php.exp

   1 Errors:
   2   [4:10-13] Was expecting a return type hint
   3 [(Fun
   4     { fd_namespace =
   5       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
   6         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
   7         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
   8       fd_file_attributes = []; fd_mode = Mstrict;
   9       fd_fun =
  10       { f_span = [4:1-6:2]; f_readonly_this = None; f_annotation = ();
  11         f_readonly_ret = None; f_ret = ((?arraykey), None); f_name = ([4:10-13], "\\foo");
  12         f_tparams = []; f_where_constraints = [];
  13         f_params =
  14         [{ param_annotation = (A<arraykey>); param_type_hint = ((A<arraykey>), (Some ([4:14-15], (Happly (([4:14-15], "\\A"), [])))));
  15            param_is_variadic = false; param_pos = [4:16-18]; param_name = "$x";
  16            param_expr = None; param_readonly = None; param_callconv = Pnormal;
  17            param_user_attributes = []; param_visibility = None }
  18           ];
  19         f_ctxs = None; f_unsafe_ctxs = None;
  20         f_body =
  21         { fb_ast =
  22           [([5:3-20],
  23             (Return
  24                (Some ((?arraykey), [5:10-19],
  25                       (Call (
  26                          (((function(): ?arraykey)), [5:10-17],
  27                           (Obj_get (((A<arraykey>), [5:10-12], (Lvar ([5:10-12], $x))), (((function(): ?arraykey)), [5:14-17], (Id ([5:14-17], "get"))), OG_nullthrows, Is_method))),
  28                          [], [], None))))))
  29             ]
  30           };
  31         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  32         f_doc_comment = None };
  33       fd_internal = false; fd_module = None })[(Class
  34     { c_span = [3:1-7:2]; c_annotation = (); c_mode = Mstrict; c_final = false;
  35       c_is_xhp = false; c_has_xhp_keyword = false; c_kind = (Cclass Concrete);
  36       c_name = ([3:7-8], "\\A");
  37       c_tparams =
  38       [{ tp_variance = Invariant; tp_name = ([3:9-10], "T"); tp_parameters = []; tp_constraints = [(Constraint_super, ([3:17-23], (Hprim Tstring)))]; tp_reified = Erased; tp_user_attributes = [] }];
  39       c_extends = []; c_uses = []; c_xhp_attr_uses = []; c_xhp_category = None;
  40       c_reqs = []; c_implements = []; c_where_constraints = []; c_consts = [];
  41       c_typeconsts = []; c_vars = [];
  42       c_methods =
  43       [{ m_span = [4:3-6:4]; m_annotation = (); m_final = false; m_abstract = false;
  44          m_static = false; m_readonly_this = false; m_visibility = Public;
  45          m_name = ([4:19-22], "get"); m_tparams = []; m_where_constraints = [(([4:35-36], (Habstr ("T", []))), Constraint_super, ([4:43-51], (Hprim Tarraykey)))];
  46          m_params = []; m_ctxs = None; m_unsafe_ctxs = None; m_body = { fb_ast = [([5:5-17], (Return (Some ((null), [5:12-16], Null))))] };
  47          m_fun_kind = FSync; m_user_attributes = []; m_readonly_ret = None;
  48          m_ret = ((?T), (Some ([4:26-28], (Hoption ([4:27-28], (Habstr ("T", [])))))));
  49          m_external = false; m_doc_comment = None }
  50         ];
  51       c_attributes = []; c_xhp_children = []; c_xhp_attrs = [];
  52       c_namespace =
  53       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  54         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  55         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  56       c_user_attributes = []; c_file_attributes = []; c_enum = None;
  57       c_doc_comment = None; c_emit_id = None; c_internal = false; c_module = None })