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

   1 Errors:
   2   [17:3-42] Invalid assignment
   3   [17:3-19] Too few arguments (required 3 but got 2)
   4   [7:37-47] Definition is here
   5 [(Fun
   6     { fd_namespace =
   7       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
   8         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
   9         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  10       fd_file_attributes = []; fd_mode = Mstrict;
  11       fd_fun =
  12       { f_span = [3:1-5:2]; f_readonly_this = None; f_annotation = ();
  13         f_readonly_ret = None; f_ret = (((int, int, int)), (Some ([3:37-52], (Htuple [([3:38-41], (Hprim Tint)); ([3:43-46], (Hprim Tint)); ([3:48-51], (Hprim Tint))]))));
  14         f_name = ([3:10-26], "\\__return_3_tuple"); f_tparams = []; f_where_constraints = [];
  15         f_params =
  16         [{ param_annotation = (bool); param_type_hint = ((bool), (Some ([3:27-31], (Hprim Tbool))));
  17            param_is_variadic = false; param_pos = [3:32-34]; param_name = "$x";
  18            param_expr = None; param_readonly = None; param_callconv = Pnormal;
  19            param_user_attributes = []; param_visibility = None }
  20           ];
  21         f_ctxs = None; f_unsafe_ctxs = None;
  22         f_body = { fb_ast = [([4:3-25], (Return (Some (((int, int, int)), [4:10-24], (Tuple [((int), [4:16-17], (Int "1")); ((int), [4:19-20], (Int "1")); ((int), [4:22-23], (Int "1"))])))))] };
  23         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  24         f_doc_comment = None };
  25       fd_internal = false; fd_module = None });
  26   (Fun
  27      { fd_namespace =
  28        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  29          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  30          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  31        fd_file_attributes = []; fd_mode = Mstrict;
  32        fd_fun =
  33        { f_span = [7:1-9:2]; f_readonly_this = None; f_annotation = ();
  34          f_readonly_ret = None; f_ret = (((int, int)), (Some ([7:37-47], (Htuple [([7:38-41], (Hprim Tint)); ([7:43-46], (Hprim Tint))]))));
  35          f_name = ([7:10-26], "\\__return_2_tuple"); f_tparams = [];
  36          f_where_constraints = [];
  37          f_params =
  38          [{ param_annotation = (bool); param_type_hint = ((bool), (Some ([7:27-31], (Hprim Tbool))));
  39             param_is_variadic = false; param_pos = [7:32-34]; param_name = "$x";
  40             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  41             param_user_attributes = []; param_visibility = None }
  42            ];
  43          f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([8:3-22], (Return (Some (((int, int)), [8:10-21], (Tuple [((int), [8:16-17], (Int "1")); ((int), [8:19-20], (Int "1"))])))))] };
  44          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  45          f_doc_comment = None };
  46        fd_internal = false; fd_module = None });
  47   (Fun
  48      { fd_namespace =
  49        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  50          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  51          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  52        fd_file_attributes = []; fd_mode = Mstrict;
  53        fd_fun =
  54        { f_span = [11:1-13:2]; f_readonly_this = None; f_annotation = ();
  55          f_readonly_ret = None; f_ret = ((void), (Some ([11:35-39], (Hprim Tvoid))));
  56          f_name = ([11:10-24], "\\assign_list_ok"); f_tparams = []; f_where_constraints = [];
  57          f_params =
  58          [{ param_annotation = (bool); param_type_hint = ((bool), (Some ([11:25-29], (Hprim Tbool))));
  59             param_is_variadic = false; param_pos = [11:30-32]; param_name = "$x";
  60             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  61             param_user_attributes = []; param_visibility = None }
  62            ];
  63          f_ctxs = None; f_unsafe_ctxs = None;
  64          f_body =
  65          { fb_ast =
  66            [([12:3-43],
  67              (Expr
  68                 (((int, int, int)), [12:3-42],
  69                  (Binop ((Eq None),
  70                     (((int, int, int)), [12:3-19], (List [((int), [12:8-10], (Lvar ([12:8-10], $u))); ((int), [12:12-14], (Lvar ([12:12-14], $v))); ((int), [12:16-18], (Lvar ([12:16-18], $w)))])),
  71                     (((int, int, int)), [12:22-42],
  72                      (Call ((((function(bool $x): (int, int, int))), [12:22-38], (Id ([12:22-38], "\\__return_3_tuple"))), [], [(Pnormal, ((bool), [12:39-41], (Lvar ([12:39-41], $x))))], None)))
  73                     )))))
  74              ]
  75            };
  76          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  77          f_doc_comment = None };
  78        fd_internal = false; fd_module = None });
  79   (Fun
  80      { fd_namespace =
  81        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  82          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  83          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  84        fd_file_attributes = []; fd_mode = Mstrict;
  85        fd_fun =
  86        { f_span = [15:1-18:2]; f_readonly_this = None; f_annotation = ();
  87          f_readonly_ret = None; f_ret = ((void), (Some ([15:36-40], (Hprim Tvoid))));
  88          f_name = ([15:10-25], "\\assign_list_bad"); f_tparams = [];
  89          f_where_constraints = [];
  90          f_params =
  91          [{ param_annotation = (bool); param_type_hint = ((bool), (Some ([15:26-30], (Hprim Tbool))));
  92             param_is_variadic = false; param_pos = [15:31-33]; param_name = "$x";
  93             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  94             param_user_attributes = []; param_visibility = None }
  95            ];
  96          f_ctxs = None; f_unsafe_ctxs = None;
  97          f_body =
  98          { fb_ast =
  99            [([17:3-43],
 100              (Expr
 101                 (((int, int)), [17:3-42],
 102                  (Binop ((Eq None),
 103                     (((int, int)), [17:3-19],
 104                      (List [((nothing), [17:8-10], (Lvar ([17:8-10], $u))); ((nothing), [17:12-14], (Lvar ([17:12-14], $v))); ((nothing), [17:16-18], (Lvar ([17:16-18], $w)))])),
 105                     (((int, int)), [17:22-42],
 106                      (Hole (
 107                         (((int, int)), [17:22-42],
 108                          (Call ((((function(bool $x): (int, int))), [17:22-38], (Id ([17:22-38], "\\__return_2_tuple"))), [], [(Pnormal, ((bool), [17:39-41], (Lvar ([17:39-41], $x))))], None))),
 109                         ((int, int)), ({suggest:nothing}), Typing)))
 110                     )))))
 111              ]
 112            };
 113          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
 114          f_doc_comment = None };
 115        fd_internal = false; fd_module = None })