hphp/hack/test/holes/array_get_index_map.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-8:2]; f_readonly_this = None; f_annotation = ();
   9         f_readonly_ret = None; f_ret = ((void), (Some ([3:51-55], (Hprim Tvoid))));
  10         f_name = ([3:10-37], "\\array_get_index_map_nothing"); f_tparams = [];
  11         f_where_constraints = []; f_variadic = FVnonVariadic;
  12         f_params =
  13         [{ param_annotation = (mixed); param_type_hint = ((mixed), (Some ([3:38-43], Hmixed)));
  14            param_is_variadic = false; param_pos = [3:44-48]; param_name = "$idx";
  15            param_expr = None; param_readonly = None; param_callconv = Pnormal;
  16            param_user_attributes = []; param_visibility = None }
  17           ];
  18         f_ctxs = None; f_unsafe_ctxs = None;
  19         f_body =
  20         { fb_ast =
  21           [([4:3-16],
  22             (Expr
  23                ((Map<nothing, nothing>), [4:3-15],
  24                 (Binop ((Eq None), ((Map<nothing, nothing>), [4:3-6], (Lvar ([4:3-6], $xs))), ((Map<nothing, nothing>), [4:9-15], (KeyValCollection (Map, None, []))))))));
  25             ([7:3-13],
  26              (Expr
  27                 ((nothing), [7:3-12],
  28                  (Array_get (((Map<nothing, nothing>), [7:3-6], (Lvar ([7:3-6], $xs))), (Some ((mixed), [7:7-11], (Hole (((mixed), [7:7-11], (Lvar ([7:7-11], $idx))), (mixed), (nothing), Typing)))))))))
  29             ]
  30           };
  31         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  32         f_doc_comment = None }
  33       });
  34   (Fun
  35      { fd_namespace =
  36        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  37          ns_record_def_uses = <opaque>; ns_fun_uses = <opaque>; ns_const_uses = <opaque>;
  38          ns_name = None; ns_auto_ns_map = []; ns_is_codegen = false;
  39          ns_disable_xhp_element_mangling = false };
  40        fd_file_attributes = []; fd_mode = Mstrict;
  41        fd_fun =
  42        { f_span = [10:1-14:2]; f_readonly_this = None; f_annotation = ();
  43          f_readonly_ret = None; f_ret = ((void), (Some ([10:71-75], (Hprim Tvoid))));
  44          f_name = ([10:10-36], "\\array_get_index_map_string"); f_tparams = [];
  45          f_where_constraints = []; f_variadic = FVnonVariadic;
  46          f_params =
  47          [{ param_annotation = (Map<string, int>);
  48             param_type_hint = ((Map<string, int>), (Some ([10:37-52], (Happly (([10:37-40], "\\HH\\Map"), [([10:41-47], (Hprim Tstring)); ([10:48-51], (Hprim Tint))])))));
  49             param_is_variadic = false; param_pos = [10:53-56]; param_name = "$xs";
  50             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  51             param_user_attributes = []; param_visibility = None };
  52            { param_annotation = (mixed); param_type_hint = ((mixed), (Some ([10:58-63], Hmixed)));
  53              param_is_variadic = false; param_pos = [10:64-68]; param_name = "$idx";
  54              param_expr = None; param_readonly = None; param_callconv = Pnormal;
  55              param_user_attributes = []; param_visibility = None }
  56            ];
  57          f_ctxs = None; f_unsafe_ctxs = None;
  58          f_body =
  59          { fb_ast =
  60            [([13:3-13],
  61              (Expr
  62                 ((int), [13:3-12],
  63                  (Array_get (((Map<string, int>), [13:3-6], (Lvar ([13:3-6], $xs))), (Some ((mixed), [13:7-11], (Hole (((mixed), [13:7-11], (Lvar ([13:7-11], $idx))), (mixed), (string), Typing)))))))))
  64              ]
  65            };
  66          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  67          f_doc_comment = None }
  68        })