hphp/hack/test/holes/const_mutation_nothing.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:53-57], (Hprim Tvoid))));
  10         f_name = ([3:10-29], "\\const_mutation_pair"); f_tparams = [];
  11         f_where_constraints = [];
  12         f_params =
  13         [{ param_annotation = (Pair<string, int>);
  14            param_type_hint = ((Pair<string, int>), (Some ([3:30-46], (Happly (([3:30-34], "\\HH\\Pair"), [([3:35-41], (Hprim Tstring)); ([3:42-45], (Hprim Tint))])))));
  15            param_is_variadic = false; param_pos = [3:47-49]; 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-13],
  23             (Expr
  24                ((int), [5:3-12],
  25                 (Binop ((Eq None),
  26                    ((int), [5:3-8],
  27                     (Array_get (((Pair<string, int>), [5:3-5], (Hole (((Pair<string, int>), [5:3-5], (Lvar ([5:3-5], $x))), (Pair<string, int>), (nothing), Typing))),
  28                        (Some ((int), [5:6-7], (Int "1")))))),
  29                    ((int), [5:11-12], (Int "1")))))))
  30             ]
  31           };
  32         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  33         f_doc_comment = None };
  34       fd_internal = false; fd_module = None });
  35   (Fun
  36      { fd_namespace =
  37        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  38          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  39          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  40        fd_file_attributes = []; fd_mode = Mstrict;
  41        fd_fun =
  42        { f_span = [8:1-11:2]; f_readonly_this = None; f_annotation = ();
  43          f_readonly_ret = None; f_ret = ((void), (Some ([8:73-77], (Hprim Tvoid))));
  44          f_name = ([8:10-39], "\\const_mutation_keyedcontainer"); f_tparams = [];
  45          f_where_constraints = [];
  46          f_params =
  47          [{ param_annotation = (KeyedContainer<string, int>);
  48             param_type_hint = ((KeyedContainer<string, int>), (Some ([8:40-66], (Happly (([8:40-54], "\\HH\\KeyedContainer"), [([8:55-61], (Hprim Tstring)); ([8:62-65], (Hprim Tint))])))));
  49             param_is_variadic = false; param_pos = [8:67-69]; param_name = "$x";
  50             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  51             param_user_attributes = []; param_visibility = None }
  52            ];
  53          f_ctxs = None; f_unsafe_ctxs = None;
  54          f_body =
  55          { fb_ast =
  56            [([10:3-13],
  57              (Expr
  58                 ((int), [10:3-12],
  59                  (Binop ((Eq None),
  60                     ((int), [10:3-8],
  61                      (Array_get (
  62                         ((KeyedContainer<string, int>), [10:3-5], (Hole (((KeyedContainer<string, int>), [10:3-5], (Lvar ([10:3-5], $x))), (KeyedContainer<string, int>), (nothing), Typing))),
  63                         (Some ((int), [10:6-7], (Int "1")))))),
  64                     ((int), [10:11-12], (Int "1")))))))
  65              ]
  66            };
  67          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  68          f_doc_comment = None };
  69        fd_internal = false; fd_module = None });
  70   (Fun
  71      { fd_namespace =
  72        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  73          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  74          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  75        fd_file_attributes = []; fd_mode = Mstrict;
  76        fd_fun =
  77        { f_span = [13:1-16:2]; f_readonly_this = None; f_annotation = ();
  78          f_readonly_ret = None; f_ret = ((void), (Some ([13:61-65], (Hprim Tvoid))));
  79          f_name = ([13:10-33], "\\const_mutation_anyarray"); f_tparams = [];
  80          f_where_constraints = [];
  81          f_params =
  82          [{ param_annotation = (AnyArray<string, int>);
  83             param_type_hint = ((AnyArray<string, int>), (Some ([13:34-54], (Happly (([13:34-42], "\\HH\\AnyArray"), [([13:43-49], (Hprim Tstring)); ([13:50-53], (Hprim Tint))])))));
  84             param_is_variadic = false; param_pos = [13:55-57]; param_name = "$x";
  85             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  86             param_user_attributes = []; param_visibility = None }
  87            ];
  88          f_ctxs = None; f_unsafe_ctxs = None;
  89          f_body =
  90          { fb_ast =
  91            [([15:3-13],
  92              (Expr
  93                 ((int), [15:3-12],
  94                  (Binop ((Eq None),
  95                     ((int), [15:3-8],
  96                      (Array_get (((AnyArray<string, int>), [15:3-5], (Hole (((AnyArray<string, int>), [15:3-5], (Lvar ([15:3-5], $x))), (AnyArray<string, int>), (nothing), Typing))),
  97                         (Some ((int), [15:6-7], (Int "1")))))),
  98                     ((int), [15:11-12], (Int "1")))))))
  99              ]
 100            };
 101          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
 102          f_doc_comment = None };
 103        fd_internal = false; fd_module = None })