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

   1 Errors:
   2   [8:20-21] Wildcard typehints are not allowed in this position
   3 [(Class
   4     { c_span = [4:1-11]; c_annotation = (); c_mode = Mstrict; c_final = false;
   5       c_is_xhp = false; c_has_xhp_keyword = false; c_kind = (Cclass Concrete);
   6       c_name = ([4:7-8], "\\A"); c_tparams = []; c_extends = []; c_uses = [];
   7       c_xhp_attr_uses = []; c_xhp_category = None; c_reqs = []; c_implements = [];
   8       c_where_constraints = []; c_consts = []; c_typeconsts = []; c_vars = [];
   9       c_methods = []; c_xhp_children = []; c_xhp_attrs = [];
  10       c_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_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false };
  14       c_user_attributes = [{ ua_name = ([4:7-8], "__SupportDynamicType"); ua_params = [] }];
  15       c_file_attributes =
  16       [{ fa_user_attributes = [{ ua_name = ([2:8-32], "__EnableUnstableFeatures"); ua_params = [((), [2:33-52], (String "upcast_expression"))] }];
  17          fa_namespace =
  18          { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  19            ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  20            ns_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false }
  21          }
  22         ];
  23       c_docs_url = None; c_enum = None; c_doc_comment = None; c_emit_id = None;
  24       c_internal = false; c_module = None });
  25   (Class
  26      { c_span = [5:1-14]; c_annotation = (); c_mode = Mstrict; c_final = false;
  27        c_is_xhp = false; c_has_xhp_keyword = false; c_kind = (Cclass Concrete);
  28        c_name = ([5:7-8], "\\B");
  29        c_tparams =
  30        [{ tp_variance = Invariant; tp_name = ([5:9-10], "T"); tp_parameters = [];
  31           tp_constraints = [(Constraint_as, ([5:9-10], (Happly (([5:9-10], "\\HH\\supportdyn"), [([5:9-10], Hmixed)]))))];
  32           tp_reified = Erased; tp_user_attributes = [] }
  33          ];
  34        c_extends = []; c_uses = []; c_xhp_attr_uses = []; c_xhp_category = None;
  35        c_reqs = []; c_implements = []; c_where_constraints = []; c_consts = [];
  36        c_typeconsts = []; c_vars = []; c_methods = []; c_xhp_children = [];
  37        c_xhp_attrs = [];
  38        c_namespace =
  39        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  40          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  41          ns_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false };
  42        c_user_attributes = [{ ua_name = ([5:7-8], "__SupportDynamicType"); ua_params = [] }];
  43        c_file_attributes =
  44        [{ fa_user_attributes = [{ ua_name = ([2:8-32], "__EnableUnstableFeatures"); ua_params = [((), [2:33-52], (String "upcast_expression"))] }];
  45           fa_namespace =
  46           { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  47             ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  48             ns_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false }
  49           }
  50          ];
  51        c_docs_url = None; c_enum = None; c_doc_comment = None; c_emit_id = None;
  52        c_internal = false; c_module = None });
  53   (Fun
  54      { fd_namespace =
  55        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  56          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  57          ns_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false };
  58        fd_file_attributes =
  59        [{ fa_user_attributes = [{ ua_name = ([2:8-32], "__EnableUnstableFeatures"); ua_params = [((), [2:33-52], (String "upcast_expression"))] }];
  60           fa_namespace =
  61           { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  62             ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  63             ns_mode = Namespace_env.ForTypecheck; ns_disable_xhp_element_mangling = false }
  64           }
  65          ];
  66        fd_mode = Mstrict; fd_name = ([7:10-35], "\\wildcard_hint_upcast_expr");
  67        fd_fun =
  68        { f_span = [7:1-9:2]; f_readonly_this = None; f_annotation = ();
  69          f_readonly_ret = None; f_ret = ((), (Some ([7:43-47], (Hprim Tvoid))));
  70          f_params =
  71          [{ param_annotation = (); param_type_hint = ((), (Some ([7:36-37], (Happly (([7:36-37], "\\A"), [])))));
  72             param_pos = [7:38-40]; param_name = "$x"; param_info = Param_required;
  73             param_readonly = None; param_callconv = Pnormal; param_user_attributes = [];
  74             param_visibility = None }
  75            ];
  76          f_ctxs = None; f_unsafe_ctxs = None;
  77          f_body =
  78          { fb_ast =
  79            [([8:3-23],
  80              (Expr
  81                 ((), [8:3-22],
  82                  (Binop
  83                     { bop = (Eq None); lhs = ((), [8:3-5], (Lplaceholder [8:3-5]));
  84                       rhs = ((), [8:8-22], (Upcast (((), [8:8-10], (Lvar ([8:8-10], $x))), ([8:18-22], (Happly (([8:18-19], "\\B"), [([8:20-21], Hwildcard)])))))) }))))
  85              ]
  86            };
  87          f_fun_kind = FSync; f_user_attributes = [{ ua_name = ([7:10-35], "__SupportDynamicType"); ua_params = [] }];
  88          f_external = false; f_doc_comment = None };
  89        fd_internal = false; fd_module = None; fd_tparams = []; fd_where_constraints = [] })
  90   ]