hphp/hack/test/tast/global_inference/typeparams/type_hint_typeparameter_variance.php.exp

   1 Errors:
   2   [7:12-13] Wrong number of type arguments (expected 2, got 0)
   3   [3:7-8] Definition is here
   4 [(Class
   5     { c_span = [3:1-5:2]; c_annotation = (); c_mode = Mstrict; c_final = false;
   6       c_is_xhp = false; c_has_xhp_keyword = false; c_kind = (Cclass Concrete);
   7       c_name = ([3:7-8], "\\C");
   8       c_tparams =
   9       [{ tp_variance = Covariant; tp_name = ([3:10-12], "Tu"); tp_parameters = []; tp_constraints = []; tp_reified = Erased; tp_user_attributes = [] };
  10         { tp_variance = Contravariant; tp_name = ([3:15-17], "Tv"); tp_parameters = []; tp_constraints = []; tp_reified = Erased; tp_user_attributes = [] }];
  11       c_extends = []; c_uses = []; c_xhp_attr_uses = []; c_xhp_category = None;
  12       c_reqs = []; c_implements = []; c_where_constraints = []; c_consts = [];
  13       c_typeconsts = []; c_vars = [];
  14       c_methods =
  15       [{ m_span = [4:3-47]; m_annotation = (); m_final = false; m_abstract = false;
  16          m_static = false; m_readonly_this = false; m_visibility = Public;
  17          m_name = ([4:19-30], "__construct"); m_tparams = []; m_where_constraints = [];
  18          m_params =
  19          [{ param_annotation = (Tu); param_type_hint = ((Tu), (Some ([4:31-33], (Habstr ("Tu", [])))));
  20             param_is_variadic = false; param_pos = [4:34-36]; param_name = "$x";
  21             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  22             param_user_attributes = []; param_visibility = None };
  23            { param_annotation = (Tv); param_type_hint = ((Tv), (Some ([4:38-40], (Habstr ("Tv", [])))));
  24              param_is_variadic = false; param_pos = [4:41-43]; param_name = "$y";
  25              param_expr = None; param_readonly = None; param_callconv = Pnormal;
  26              param_user_attributes = []; param_visibility = None }
  27            ];
  28          m_ctxs = None; m_unsafe_ctxs = None; m_body = { fb_ast = [([Pos.none], Noop)] };
  29          m_fun_kind = FSync; m_user_attributes = []; m_readonly_ret = None;
  30          m_ret = ((void), (Some ([4:19-30], (Hprim Tvoid)))); m_external = false;
  31          m_doc_comment = None }
  32         ];
  33       c_attributes = []; c_xhp_children = []; c_xhp_attrs = [];
  34       c_namespace =
  35       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  36         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  37         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  38       c_user_attributes = []; c_file_attributes = []; c_enum = None;
  39       c_doc_comment = None; c_emit_id = None; c_internal = false; c_module = None });
  40   (Fun
  41      { fd_namespace =
  42        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  43          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  44          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  45        fd_file_attributes = []; fd_mode = Mstrict;
  46        fd_fun =
  47        { f_span = [7:1-26]; f_readonly_this = None; f_annotation = ();
  48          f_readonly_ret = None; f_ret = ((void), (Some ([7:19-23], (Hprim Tvoid))));
  49          f_name = ([7:10-11], "\\f"); f_tparams = []; f_where_constraints = [];
  50          f_params =
  51          [{ param_annotation = (C<mixed, nothing>); param_type_hint = ((C<mixed, nothing>), (Some ([7:12-13], (Happly (([7:12-13], "\\C"), [])))));
  52             param_is_variadic = false; param_pos = [7:14-16]; param_name = "$x";
  53             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  54             param_user_attributes = []; param_visibility = None }
  55            ];
  56          f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([Pos.none], Noop)] };
  57          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  58          f_doc_comment = None };
  59        fd_internal = false; fd_module = None })