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

   1 [(Fun
   2     { fd_namespace =
   3       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
   4         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
   5         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:64-68], (Hprim Tvoid))));
  10         f_name = ([3:10-36], "\\assign_array_get_index_vec"); f_tparams = [];
  11         f_where_constraints = [];
  12         f_params =
  13         [{ param_annotation = (vec<int>); param_type_hint = ((vec<int>), (Some ([3:37-45], (Happly (([3:37-40], "\\HH\\vec"), [([3:41-44], (Hprim Tint))])))));
  14            param_is_variadic = false; param_pos = [3:46-49]; 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:51-56], Hmixed)));
  18             param_is_variadic = false; param_pos = [3:57-61]; 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-17],
  26             (Expr
  27                ((int), [5:3-16],
  28                 (Binop ((Eq None),
  29                    ((int), [5:3-12],
  30                     (Array_get (((vec<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))))))),
  31                    ((int), [5:15-16], (Int "1")))))))
  32             ]
  33           };
  34         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  35         f_doc_comment = None };
  36       fd_internal = false; fd_module = None })