hphp/hack/test/nast/nonreturn_toplevel.php.exp

   1 Errors:
   2   [3:34-38] You can only use the `void` type as the return type of a function or method
   3   [7:38-46] You can only use the `noreturn` type as the return type of a function or method
   4 [(Fun
   5     { fd_namespace =
   6       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
   7         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
   8         ns_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false };
   9       fd_file_attributes = []; fd_mode = Mstrict; fd_name = ([3:10-33], "\\nonreturn_toplevel_void");
  10       fd_fun =
  11       { f_span = [3:1-5:2]; f_readonly_this = None; f_annotation = ();
  12         f_readonly_ret = None; f_ret = ((), (Some ([3:44-47], (Hprim Tint))));
  13         f_params =
  14         [{ param_annotation = (); param_type_hint = ((), (Some ([3:34-38], (Hprim Tvoid))));
  15            param_pos = [3:39-41]; param_name = "$x"; param_info = Param_required;
  16            param_readonly = None; param_callconv = Pnormal; param_user_attributes = [];
  17            param_visibility = None }
  18           ];
  19         f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([4:3-12], (Return (Some ((), [4:10-11], (Int "1")))))] };
  20         f_fun_kind = FSync; f_user_attributes = [{ ua_name = ([3:10-33], "__SupportDynamicType"); ua_params = [] }];
  21         f_external = false; f_doc_comment = None };
  22       fd_internal = false; fd_module = None; fd_tparams = []; fd_where_constraints = [] });
  23   (Fun
  24      { fd_namespace =
  25        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  26          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  27          ns_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false };
  28        fd_file_attributes = []; fd_mode = Mstrict; fd_name = ([7:10-37], "\\nonreturn_toplevel_noreturn");
  29        fd_fun =
  30        { f_span = [7:1-9:2]; f_readonly_this = None; f_annotation = ();
  31          f_readonly_ret = None; f_ret = ((), (Some ([7:52-55], (Hprim Tint))));
  32          f_params =
  33          [{ param_annotation = (); param_type_hint = ((), (Some ([7:38-46], (Hprim Tnoreturn))));
  34             param_pos = [7:47-49]; param_name = "$x"; param_info = Param_required;
  35             param_readonly = None; param_callconv = Pnormal; param_user_attributes = [];
  36             param_visibility = None }
  37            ];
  38          f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([8:3-12], (Return (Some ((), [8:10-11], (Int "1")))))] };
  39          f_fun_kind = FSync; f_user_attributes = [{ ua_name = ([7:10-37], "__SupportDynamicType"); ua_params = [] }];
  40          f_external = false; f_doc_comment = None };
  41        fd_internal = false; fd_module = None; fd_tparams = []; fd_where_constraints = [] })
  42   ]