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_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false };
   6       fd_file_attributes = []; fd_mode = Mstrict; fd_name = ([3:10-29], "\\const_mutation_pair");
   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_params =
  11         [{ param_annotation = (Pair<string, int>);
  12            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))])))));
  13            param_pos = [3:47-49]; param_name = "$x"; param_info = Param_required;
  14            param_readonly = None; param_callconv = Pnormal; param_user_attributes = [];
  15            param_visibility = None }
  16           ];
  17         f_ctxs = None; f_unsafe_ctxs = None;
  18         f_body =
  19         { fb_ast =
  20           [([5:3-13],
  21             (Expr
  22                ((int), [5:3-12],
  23                 (Binop
  24                    { bop = (Eq None);
  25                      lhs =
  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                      rhs = ((int), [5:11-12], (Int "1")) }))))
  30             ]
  31           };
  32         f_fun_kind = FSync; f_user_attributes = [{ ua_name = ([3:10-29], "__SupportDynamicType"); ua_params = [] }];
  33         f_external = false; f_doc_comment = None };
  34       fd_internal = false; fd_module = None; fd_tparams = []; fd_where_constraints = [] });
  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_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false };
  40        fd_file_attributes = []; fd_mode = Mstrict; fd_name = ([8:10-39], "\\const_mutation_keyedcontainer");
  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_params =
  45          [{ param_annotation = (KeyedContainer<string, int>);
  46             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))])))));
  47             param_pos = [8:67-69]; param_name = "$x"; param_info = Param_required;
  48             param_readonly = None; param_callconv = Pnormal; param_user_attributes = [];
  49             param_visibility = None }
  50            ];
  51          f_ctxs = None; f_unsafe_ctxs = None;
  52          f_body =
  53          { fb_ast =
  54            [([10:3-13],
  55              (Expr
  56                 ((int), [10:3-12],
  57                  (Binop
  58                     { bop = (Eq None);
  59                       lhs =
  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                       rhs = ((int), [10:11-12], (Int "1")) }))))
  65              ]
  66            };
  67          f_fun_kind = FSync; f_user_attributes = [{ ua_name = ([8:10-39], "__SupportDynamicType"); ua_params = [] }];
  68          f_external = false; f_doc_comment = None };
  69        fd_internal = false; fd_module = None; fd_tparams = []; fd_where_constraints = [] });
  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_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false };
  75        fd_file_attributes = []; fd_mode = Mstrict; fd_name = ([13:10-33], "\\const_mutation_anyarray");
  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_params =
  80          [{ param_annotation = (AnyArray<string, int>);
  81             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))])))));
  82             param_pos = [13:55-57]; param_name = "$x"; param_info = Param_required;
  83             param_readonly = None; param_callconv = Pnormal; param_user_attributes = [];
  84             param_visibility = None }
  85            ];
  86          f_ctxs = None; f_unsafe_ctxs = None;
  87          f_body =
  88          { fb_ast =
  89            [([15:3-13],
  90              (Expr
  91                 ((int), [15:3-12],
  92                  (Binop
  93                     { bop = (Eq None);
  94                       lhs =
  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                       rhs = ((int), [15:11-12], (Int "1")) }))))
  99              ]
 100            };
 101          f_fun_kind = FSync; f_user_attributes = [{ ua_name = ([13:10-33], "__SupportDynamicType"); ua_params = [] }];
 102          f_external = false; f_doc_comment = None };
 103        fd_internal = false; fd_module = None; fd_tparams = []; fd_where_constraints = [] })