hphp/hack/test/holes/array_get_index_immvector.php.holes.exp

   1 [(Fun
   2     { fd_namespace =
   3       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
   4         ns_record_def_uses = <opaque>; ns_fun_uses = <opaque>; ns_const_uses = <opaque>;
   5         ns_name = None; ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
   6       fd_file_attributes = []; fd_mode = Mstrict;
   7       fd_fun =
   8       { f_span = [3:1-6:2]; f_readonly_this = None; f_annotation = ();
   9         f_readonly_ret = None; f_ret = ((void), (Some ([3:69-73], (Hprim Tvoid))));
  10         f_name = ([3:10-35], "\\array_get_index_immvector"); f_tparams = [];
  11         f_where_constraints = []; f_variadic = FVnonVariadic;
  12         f_params =
  13         [{ param_annotation = (ImmVector<int>); param_type_hint = ((ImmVector<int>), (Some ([3:36-50], (Happly (([3:36-45], "\\HH\\ImmVector"), [([3:46-49], (Hprim Tint))])))));
  14            param_is_variadic = false; param_pos = [3:51-54]; param_name = "$xs";
  15            param_expr = None; param_readonly = None; param_callconv = Pnormal;
  16            param_user_attributes = []; param_visibility = None };
  17           { param_annotation = (mixed); param_type_hint = ((mixed), (Some ([3:56-61], Hmixed)));
  18             param_is_variadic = false; param_pos = [3:62-66]; param_name = "$idx";
  19             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  20             param_user_attributes = []; param_visibility = None }
  21           ];
  22         f_ctxs = None; f_unsafe_ctxs = None;
  23         f_body =
  24         { fb_ast =
  25           [([5:3-13],
  26             (Expr
  27                ((int), [5:3-12],
  28                 (Array_get (((ImmVector<int>), [5:3-6], (Lvar ([5:3-6], $xs))), (Some ((mixed), [5:7-11], (Hole (((mixed), [5:7-11], (Lvar ([5:7-11], $idx))), (mixed), (int), Typing)))))))))
  29             ]
  30           };
  31         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  32         f_doc_comment = None }
  33       })