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

   1 [(Class
   2     { c_span = [3:1-5:2]; c_annotation = (); c_mode = Mstrict; c_final = false;
   3       c_is_xhp = false; c_has_xhp_keyword = false; c_kind = (Cclass Concrete);
   4       c_name = ([3:7-15], "\\TestPair"); c_tparams = []; c_extends = [];
   5       c_uses = []; c_xhp_attr_uses = []; c_xhp_category = None; c_reqs = [];
   6       c_implements = []; c_where_constraints = []; c_consts = []; c_typeconsts = [];
   7       c_vars = [];
   8       c_methods =
   9       [{ m_span = [4:3-48]; m_annotation = (); m_final = false; m_abstract = false;
  10          m_static = false; m_readonly_this = false; m_visibility = Public;
  11          m_name = ([4:19-20], "b"); m_tparams = []; m_where_constraints = [];
  12          m_params =
  13          [{ param_annotation = (Pair<int, int>);
  14             param_type_hint = ((Pair<int, int>), (Some ([4:21-35], (Happly (([4:21-25], "\\HH\\Pair"), [([4:26-29], (Hprim Tint)); ([4:31-34], (Hprim Tint))])))));
  15             param_is_variadic = false; param_pos = [4:36-38]; param_name = "$b";
  16             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  17             param_user_attributes = []; param_visibility = None }
  18            ];
  19          m_ctxs = None; m_unsafe_ctxs = None; m_body = { fb_ast = [([Pos.none], Noop)] };
  20          m_fun_kind = FSync; m_user_attributes = []; m_readonly_ret = None;
  21          m_ret = ((void), (Some ([4:41-45], (Hprim Tvoid)))); m_external = false;
  22          m_doc_comment = None }
  23         ];
  24       c_attributes = []; c_xhp_children = []; c_xhp_attrs = [];
  25       c_namespace =
  26       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  27         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  28         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  29       c_user_attributes = []; c_file_attributes = []; c_enum = None;
  30       c_doc_comment = None; c_emit_id = None; c_internal = false; c_module = None });
  31   (Fun
  32      { fd_namespace =
  33        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  34          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  35          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  36        fd_file_attributes = []; fd_mode = Mstrict;
  37        fd_fun =
  38        { f_span = [7:1-39]; f_readonly_this = None; f_annotation = ();
  39          f_readonly_ret = None; f_ret = ((void), (Some ([7:32-36], (Hprim Tvoid))));
  40          f_name = ([7:10-11], "\\b"); f_tparams = []; f_where_constraints = [];
  41          f_params =
  42          [{ param_annotation = (Pair<int, int>);
  43             param_type_hint = ((Pair<int, int>), (Some ([7:12-26], (Happly (([7:12-16], "\\HH\\Pair"), [([7:17-20], (Hprim Tint)); ([7:22-25], (Hprim Tint))])))));
  44             param_is_variadic = false; param_pos = [7:27-29]; param_name = "$b";
  45             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  46             param_user_attributes = []; param_visibility = None }
  47            ];
  48          f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([Pos.none], Noop)] };
  49          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  50          f_doc_comment = None };
  51        fd_internal = false; fd_module = None });
  52   (Fun
  53      { fd_namespace =
  54        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  55          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  56          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  57        fd_file_attributes = []; fd_mode = Mstrict;
  58        fd_fun =
  59        { f_span = [9:1-24:2]; f_readonly_this = None; f_annotation = ();
  60          f_readonly_ret = None; f_ret = ((void), (Some ([12:4-8], (Hprim Tvoid))));
  61          f_name = ([9:10-19], "\\call_pair"); f_tparams = []; f_where_constraints = [];
  62          f_params =
  63          [{ param_annotation = (Pair<bool, int>);
  64             param_type_hint = ((Pair<bool, int>), (Some ([10:3-18], (Happly (([10:3-7], "\\HH\\Pair"), [([10:8-12], (Hprim Tbool)); ([10:14-17], (Hprim Tint))])))));
  65             param_is_variadic = false; param_pos = [10:19-22]; param_name = "$b1";
  66             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  67             param_user_attributes = []; param_visibility = None };
  68            { param_annotation = (Pair<int, bool>);
  69              param_type_hint = ((Pair<int, bool>), (Some ([11:3-18], (Happly (([11:3-7], "\\HH\\Pair"), [([11:8-11], (Hprim Tint)); ([11:13-17], (Hprim Tbool))])))));
  70              param_is_variadic = false; param_pos = [11:19-22]; param_name = "$b2";
  71              param_expr = None; param_readonly = None; param_callconv = Pnormal;
  72              param_user_attributes = []; param_visibility = None }
  73            ];
  74          f_ctxs = None; f_unsafe_ctxs = None;
  75          f_body =
  76          { fb_ast =
  77            [([14:3-10],
  78              (Expr
  79                 ((void), [14:3-9],
  80                  (Call ((((function(Pair<int, int> $b): void)), [14:3-4], (Id ([14:3-4], "\\b"))),
  81                     [], [(Pnormal, ((Pair<bool, int>), [14:5-8], (Hole (((Pair<bool, int>), [14:5-8], (Lvar ([14:5-8], $b1))), (Pair<bool, int>), (Pair<int, int>), Typing))))], None)))));
  82              ([16:3-10],
  83               (Expr
  84                  ((void), [16:3-9],
  85                   (Call ((((function(Pair<int, int> $b): void)), [16:3-4], (Id ([16:3-4], "\\b"))),
  86                      [], [(Pnormal, ((Pair<int, bool>), [16:5-8], (Hole (((Pair<int, bool>), [16:5-8], (Lvar ([16:5-8], $b2))), (Pair<int, bool>), (Pair<int, int>), Typing))))], None)))));
  87              ([18:3-25],
  88               (Expr
  89                  ((TestPair), [18:3-24],
  90                   (Binop ((Eq None), ((TestPair), [18:3-7], (Lvar ([18:3-7], $foo))), ((TestPair), [18:10-24], (New (((TestPair), [18:14-22], (CI ([18:14-22], "\\TestPair"))), [], [], None, (_)))))))));
  91              ([21:3-16],
  92               (Expr
  93                  ((void), [21:3-15],
  94                   (Call (
  95                      (((function(Pair<int, int> $b): void)), [21:3-10],
  96                       (Obj_get (((TestPair), [21:3-7], (Lvar ([21:3-7], $foo))), (((function(Pair<int, int> $b): void)), [21:9-10], (Id ([21:9-10], "b"))), OG_nullthrows, Is_method))),
  97                      [], [(Pnormal, ((Pair<bool, int>), [21:11-14], (Hole (((Pair<bool, int>), [21:11-14], (Lvar ([21:11-14], $b1))), (Pair<bool, int>), (Pair<int, int>), Typing))))], None)))));
  98              ([23:3-16],
  99               (Expr
 100                  ((void), [23:3-15],
 101                   (Call (
 102                      (((function(Pair<int, int> $b): void)), [23:3-10],
 103                       (Obj_get (((TestPair), [23:3-7], (Lvar ([23:3-7], $foo))), (((function(Pair<int, int> $b): void)), [23:9-10], (Id ([23:9-10], "b"))), OG_nullthrows, Is_method))),
 104                      [], [(Pnormal, ((Pair<int, bool>), [23:11-14], (Hole (((Pair<int, bool>), [23:11-14], (Lvar ([23:11-14], $b2))), (Pair<int, bool>), (Pair<int, int>), Typing))))], None)))))
 105              ]
 106            };
 107          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
 108          f_doc_comment = None };
 109        fd_internal = false; fd_module = None });
 110   (Fun
 111      { fd_namespace =
 112        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
 113          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
 114          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
 115        fd_file_attributes = []; fd_mode = Mstrict;
 116        fd_fun =
 117        { f_span = [26:1-41:2]; f_readonly_this = None; f_annotation = ();
 118          f_readonly_ret = None; f_ret = ((void), (Some ([29:4-8], (Hprim Tvoid))));
 119          f_name = ([26:10-24], "\\call_pair_cast"); f_tparams = []; f_where_constraints = [];
 120          f_params =
 121          [{ param_annotation = (Pair<bool, int>);
 122             param_type_hint = ((Pair<bool, int>), (Some ([27:3-18], (Happly (([27:3-7], "\\HH\\Pair"), [([27:8-12], (Hprim Tbool)); ([27:14-17], (Hprim Tint))])))));
 123             param_is_variadic = false; param_pos = [27:19-22]; param_name = "$b1";
 124             param_expr = None; param_readonly = None; param_callconv = Pnormal;
 125             param_user_attributes = []; param_visibility = None };
 126            { param_annotation = (Pair<int, bool>);
 127              param_type_hint = ((Pair<int, bool>), (Some ([28:3-18], (Happly (([28:3-7], "\\HH\\Pair"), [([28:8-11], (Hprim Tint)); ([28:13-17], (Hprim Tbool))])))));
 128              param_is_variadic = false; param_pos = [28:19-22]; param_name = "$b2";
 129              param_expr = None; param_readonly = None; param_callconv = Pnormal;
 130              param_user_attributes = []; param_visibility = None }
 131            ];
 132          f_ctxs = None; f_unsafe_ctxs = None;
 133          f_body =
 134          { fb_ast =
 135            [([31:3-63],
 136              (Expr
 137                 ((void), [31:3-62],
 138                  (Call ((((function(Pair<int, int> $b): void)), [31:3-4], (Id ([31:3-4], "\\b"))),
 139                     [],
 140                     [(Pnormal,
 141                       ((Pair<int, int>), [31:5-61],
 142                        (Hole (((Pair<bool, int>), [31:57-60], (Lvar ([31:57-60], $b1))), (Pair<bool, int>), (Pair<int, int>),
 143                           (UnsafeCast
 144                              [([31:27-41], (Happly (([31:27-31], "\\HH\\Pair"), [([31:32-36], (Hprim Tbool)); ([31:37-40], (Hprim Tint))])));
 145                                ([31:42-55], (Happly (([31:42-46], "\\HH\\Pair"), [([31:47-50], (Hprim Tint)); ([31:51-54], (Hprim Tint))])))])
 146                           ))))
 147                       ],
 148                     None)))));
 149              ([33:3-63],
 150               (Expr
 151                  ((void), [33:3-62],
 152                   (Call ((((function(Pair<int, int> $b): void)), [33:3-4], (Id ([33:3-4], "\\b"))),
 153                      [],
 154                      [(Pnormal,
 155                        ((Pair<int, int>), [33:5-61],
 156                         (Hole (((Pair<int, bool>), [33:57-60], (Lvar ([33:57-60], $b2))), (Pair<int, bool>), (Pair<int, int>),
 157                            (UnsafeCast
 158                               [([33:27-41], (Happly (([33:27-31], "\\HH\\Pair"), [([33:32-35], (Hprim Tint)); ([33:36-40], (Hprim Tbool))])));
 159                                 ([33:42-55], (Happly (([33:42-46], "\\HH\\Pair"), [([33:47-50], (Hprim Tint)); ([33:51-54], (Hprim Tint))])))])
 160                            ))))
 161                        ],
 162                      None)))));
 163              ([35:3-25],
 164               (Expr
 165                  ((TestPair), [35:3-24],
 166                   (Binop ((Eq None), ((TestPair), [35:3-7], (Lvar ([35:3-7], $foo))), ((TestPair), [35:10-24], (New (((TestPair), [35:14-22], (CI ([35:14-22], "\\TestPair"))), [], [], None, (_)))))))));
 167              ([38:3-69],
 168               (Expr
 169                  ((void), [38:3-68],
 170                   (Call (
 171                      (((function(Pair<int, int> $b): void)), [38:3-10],
 172                       (Obj_get (((TestPair), [38:3-7], (Lvar ([38:3-7], $foo))), (((function(Pair<int, int> $b): void)), [38:9-10], (Id ([38:9-10], "b"))), OG_nullthrows, Is_method))),
 173                      [],
 174                      [(Pnormal,
 175                        ((Pair<int, int>), [38:11-67],
 176                         (Hole (((Pair<bool, int>), [38:63-66], (Lvar ([38:63-66], $b1))), (Pair<bool, int>), (Pair<int, int>),
 177                            (UnsafeCast
 178                               [([38:33-47], (Happly (([38:33-37], "\\HH\\Pair"), [([38:38-42], (Hprim Tbool)); ([38:43-46], (Hprim Tint))])));
 179                                 ([38:48-61], (Happly (([38:48-52], "\\HH\\Pair"), [([38:53-56], (Hprim Tint)); ([38:57-60], (Hprim Tint))])))])
 180                            ))))
 181                        ],
 182                      None)))));
 183              ([40:3-69],
 184               (Expr
 185                  ((void), [40:3-68],
 186                   (Call (
 187                      (((function(Pair<int, int> $b): void)), [40:3-10],
 188                       (Obj_get (((TestPair), [40:3-7], (Lvar ([40:3-7], $foo))), (((function(Pair<int, int> $b): void)), [40:9-10], (Id ([40:9-10], "b"))), OG_nullthrows, Is_method))),
 189                      [],
 190                      [(Pnormal,
 191                        ((Pair<int, int>), [40:11-67],
 192                         (Hole (((Pair<int, bool>), [40:63-66], (Lvar ([40:63-66], $b2))), (Pair<int, bool>), (Pair<int, int>),
 193                            (UnsafeCast
 194                               [([40:33-47], (Happly (([40:33-37], "\\HH\\Pair"), [([40:38-41], (Hprim Tint)); ([40:42-46], (Hprim Tbool))])));
 195                                 ([40:48-61], (Happly (([40:48-52], "\\HH\\Pair"), [([40:53-56], (Hprim Tint)); ([40:57-60], (Hprim Tint))])))])
 196                            ))))
 197                        ],
 198                      None)))))
 199              ]
 200            };
 201          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
 202          f_doc_comment = None };
 203        fd_internal = false; fd_module = None })