hphp/hack/test/holes/call_variadic.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-49]; f_readonly_this = None; f_annotation = ();
   9         f_readonly_ret = None; f_ret = ((void), (Some ([3:42-46], (Hprim Tvoid))));
  10         f_name = ([3:10-18], "\\variadic"); f_tparams = []; f_where_constraints = [];
  11         f_variadic =
  12         (FVvariadicArg
  13            { param_annotation = (vec<float>); param_type_hint = ((vec<float>), (Some ([3:27-32], (Hprim Tfloat))));
  14              param_is_variadic = true; param_pos = [3:36-39]; param_name = "$xs";
  15              param_expr = None; param_readonly = None; param_callconv = Pnormal;
  16              param_user_attributes = []; param_visibility = None });
  17         f_params =
  18         [{ param_annotation = (int); param_type_hint = ((int), (Some ([3:19-22], (Hprim Tint))));
  19            param_is_variadic = false; param_pos = [3:23-25]; param_name = "$x";
  20            param_expr = None; param_readonly = None; param_callconv = Pnormal;
  21            param_user_attributes = []; param_visibility = None }
  22           ];
  23         f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([Pos.none], Noop)] };
  24         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  25         f_doc_comment = None }
  26       });
  27   (Fun
  28      { fd_namespace =
  29        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  30          ns_record_def_uses = <opaque>; ns_fun_uses = <opaque>; ns_const_uses = <opaque>;
  31          ns_name = None; ns_auto_ns_map = []; ns_is_codegen = false;
  32          ns_disable_xhp_element_mangling = false };
  33        fd_file_attributes = []; fd_mode = Mstrict;
  34        fd_fun =
  35        { f_span = [5:1-17:2]; f_readonly_this = None; f_annotation = ();
  36          f_readonly_ret = None; f_ret = ((void), (Some ([5:43-47], (Hprim Tvoid))));
  37          f_name = ([5:10-23], "\\call_variadic"); f_tparams = []; f_where_constraints = [];
  38          f_variadic = FVnonVariadic;
  39          f_params =
  40          [{ param_annotation = (int); param_type_hint = ((int), (Some ([5:24-27], (Hprim Tint))));
  41             param_is_variadic = false; param_pos = [5:28-30]; param_name = "$x";
  42             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  43             param_user_attributes = []; param_visibility = None };
  44            { param_annotation = (float); param_type_hint = ((float), (Some ([5:32-37], (Hprim Tfloat))));
  45              param_is_variadic = false; param_pos = [5:38-40]; param_name = "$y";
  46              param_expr = None; param_readonly = None; param_callconv = Pnormal;
  47              param_user_attributes = []; param_visibility = None }
  48            ];
  49          f_ctxs = None; f_unsafe_ctxs = None;
  50          f_body =
  51          { fb_ast =
  52            [([7:3-20],
  53              (Expr
  54                 ((void), [7:3-19],
  55                  (Call ((((function(int $x, float $xs...): void)), [7:3-11], (Id ([7:3-11], "\\variadic"))),
  56                     [], [((int), [7:12-14], (Lvar ([7:12-14], $x))); ((int), [7:16-18], (Hole (((int), [7:16-18], (Lvar ([7:16-18], $x))), (int), (float), Typing)))], None)))));
  57              ([10:3-24],
  58               (Expr
  59                  ((void), [10:3-23],
  60                   (Call ((((function(int $x, float $xs...): void)), [10:3-11], (Id ([10:3-11], "\\variadic"))),
  61                      [],
  62                      [((int), [10:12-14], (Lvar ([10:12-14], $x))); (
  63                        (float), [10:16-18], (Lvar ([10:16-18], $y))); (
  64                        (int), [10:20-22], (Hole (((int), [10:20-22], (Lvar ([10:20-22], $x))), (int), (float), Typing)))],
  65                      None)))));
  66              ([13:3-24],
  67               (Expr
  68                  ((void), [13:3-23],
  69                   (Call ((((function(int $x, float $xs...): void)), [13:3-11], (Id ([13:3-11], "\\variadic"))),
  70                      [],
  71                      [((int), [13:12-14], (Lvar ([13:12-14], $x))); (
  72                        (int), [13:16-18], (Hole (((int), [13:16-18], (Lvar ([13:16-18], $x))), (int), (float), Typing))); (
  73                        (float), [13:20-22], (Lvar ([13:20-22], $y)))],
  74                      None)))));
  75              ([16:3-24],
  76               (Expr
  77                  ((void), [16:3-23],
  78                   (Call ((((function(int $x, float $xs...): void)), [16:3-11], (Id ([16:3-11], "\\variadic"))),
  79                      [],
  80                      [((int), [16:12-14], (Lvar ([16:12-14], $x))); (
  81                        (int), [16:16-18], (Hole (((int), [16:16-18], (Lvar ([16:16-18], $x))), (int), (float), Typing)));
  82                        ((int), [16:20-22], (Hole (((int), [16:20-22], (Lvar ([16:20-22], $x))), (int), (float), Typing)))],
  83                      None)))))
  84              ]
  85            };
  86          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  87          f_doc_comment = None }
  88        })