hphp/hack/test/tast/global_inference/fun_composed.php.exp

   1 Errors:
   2   [3:10-12] Was expecting a return type hint
   3   [3:13-15] Was expecting a type hint
   4   [3:10-12] Was expecting a return type hint
   5   [3:13-15] Was expecting a type hint
   6   [3:10-12] Was expecting a return type hint
   7   [3:13-15] Was expecting a type hint
   8   [3:10-11] Was expecting a return type hint
   9 [(Fun
  10     { fd_namespace =
  11       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  12         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  13         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  14       fd_file_attributes = []; fd_mode = Mstrict;
  15       fd_fun =
  16       { f_span = [3:1-5:2]; f_readonly_this = None; f_annotation = ();
  17         f_readonly_ret = None; f_ret = ((int), None); f_name = ([3:10-12], "\\g1");
  18         f_tparams = []; f_where_constraints = [];
  19         f_params =
  20         [{ param_annotation = (int); param_type_hint = ((int), None);
  21            param_is_variadic = false; param_pos = [3:13-15]; param_name = "$x";
  22            param_expr = None; param_readonly = None; param_callconv = Pnormal;
  23            param_user_attributes = []; param_visibility = None }
  24           ];
  25         f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([4:3-13], (Return (Some ((int), [4:10-12], (Lvar ([4:10-12], $x))))))] };
  26         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  27         f_doc_comment = None };
  28       fd_internal = false; fd_module = None })[(Fun
  29     { fd_namespace =
  30       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  31         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  32         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  33       fd_file_attributes = []; fd_mode = Mstrict;
  34       fd_fun =
  35       { f_span = [3:1-5:2]; f_readonly_this = None; f_annotation = ();
  36         f_readonly_ret = None; f_ret = ((int), None); f_name = ([3:10-12], "\\g2");
  37         f_tparams = []; f_where_constraints = [];
  38         f_params =
  39         [{ param_annotation = (int); param_type_hint = ((int), None);
  40            param_is_variadic = false; param_pos = [3:13-15]; param_name = "$x";
  41            param_expr = None; param_readonly = None; param_callconv = Pnormal;
  42            param_user_attributes = []; param_visibility = None }
  43           ];
  44         f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([4:3-13], (Return (Some ((int), [4:10-12], (Lvar ([4:10-12], $x))))))] };
  45         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  46         f_doc_comment = None };
  47       fd_internal = false; fd_module = None })[(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 = [3:1-5:2]; f_readonly_this = None; f_annotation = ();
  55         f_readonly_ret = None; f_ret = ((int), None); f_name = ([3:10-12], "\\g3");
  56         f_tparams = []; f_where_constraints = [];
  57         f_params =
  58         [{ param_annotation = (int); param_type_hint = ((int), None);
  59            param_is_variadic = false; param_pos = [3:13-15]; 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; f_body = { fb_ast = [([4:3-13], (Return (Some ((int), [4:10-12], (Lvar ([4:10-12], $x))))))] };
  64         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  65         f_doc_comment = None };
  66       fd_internal = false; fd_module = None })[(Fun
  67     { fd_namespace =
  68       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  69         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  70         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  71       fd_file_attributes = []; fd_mode = Mstrict;
  72       fd_fun =
  73       { f_span = [3:1-5:2]; f_readonly_this = None; f_annotation = ();
  74         f_readonly_ret = None; f_ret = ((int), None); f_name = ([3:10-11], "\\f");
  75         f_tparams = []; f_where_constraints = []; f_params = []; f_ctxs = None;
  76         f_unsafe_ctxs = None;
  77         f_body =
  78         { fb_ast =
  79           [([4:3-24],
  80             (Return
  81                (Some ((int), [4:10-23],
  82                       (Call ((((function(int $x): int)), [4:10-12], (Id ([4:10-12], "\\g3"))),
  83                          [],
  84                          [(Pnormal,
  85                            ((int), [4:13-22],
  86                             (Call ((((function(int $x): int)), [4:13-15], (Id ([4:13-15], "\\g2"))),
  87                                [], [(Pnormal, ((int), [4:16-21], (Call ((((function(int $x): int)), [4:16-18], (Id ([4:16-18], "\\g1"))), [], [(Pnormal, ((int), [4:19-20], (Int "0")))], None))))],
  88                                None))))
  89                            ],
  90                          None))))))
  91             ]
  92           };
  93         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  94         f_doc_comment = None };
  95       fd_internal = false; fd_module = None })