hphp/hack/test/tast/reified_generic_shadowing.php.exp

   1 Errors:
   2   [7:3-13] `Tcat` cannot be used with `new` because it does not have the `<<__Newable>>` attribute
   3   [7:7-11] Erased generics can only be used in type hints because they do not exist at runtime.
   4 [(Class
   5     { c_span = [4:1-14]; 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 = ([4:7-11], "\\Tcat"); c_tparams = []; c_extends = [];
   8       c_uses = []; c_xhp_attr_uses = []; c_xhp_category = None; c_reqs = [];
   9       c_implements = []; c_where_constraints = []; c_consts = []; c_typeconsts = [];
  10       c_vars = []; c_methods = []; c_attributes = []; c_xhp_children = [];
  11       c_xhp_attrs = [];
  12       c_namespace =
  13       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  14         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  15         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  16       c_user_attributes = []; c_file_attributes = []; c_enum = None;
  17       c_doc_comment = None; c_emit_id = None; c_internal = false; c_module = None });
  18   (Fun
  19      { fd_namespace =
  20        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  21          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  22          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  23        fd_file_attributes = []; fd_mode = Mstrict;
  24        fd_fun =
  25        { f_span = [6:1-8:2]; f_readonly_this = None; f_annotation = ();
  26          f_readonly_ret = None; f_ret = ((void), (Some ([6:21-25], (Hprim Tvoid))));
  27          f_name = ([6:10-11], "\\f"); f_tparams = [{ tp_variance = Invariant; tp_name = ([6:12-16], "Tcat"); tp_parameters = []; tp_constraints = []; tp_reified = Erased; tp_user_attributes = [] }];
  28          f_where_constraints = []; f_params = []; f_ctxs = None; f_unsafe_ctxs = None;
  29          f_body = { fb_ast = [([7:3-14], (Expr ((Tcat), [7:3-13], (New (((Tcat), [7:7-11], (CI ([7:7-11], "Tcat"))), [], [], None, (_))))))] };
  30          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  31          f_doc_comment = None };
  32        fd_internal = false; fd_module = None });
  33   (Fun
  34      { fd_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        fd_file_attributes = []; fd_mode = Mstrict;
  39        fd_fun =
  40        { f_span = [10:1-12:2]; f_readonly_this = None; f_annotation = ();
  41          f_readonly_ret = None; f_ret = ((void), (Some ([10:15-19], (Hprim Tvoid))));
  42          f_name = ([10:10-11], "\\g"); f_tparams = []; f_where_constraints = [];
  43          f_params = []; f_ctxs = None; f_unsafe_ctxs = None;
  44          f_body = { fb_ast = [([11:3-14], (Expr ((Tcat), [11:3-13], (New (((Tcat), [11:7-11], (CI ([11:7-11], "\\Tcat"))), [], [], None, (_))))))] };
  45          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  46          f_doc_comment = None };
  47        fd_internal = false; fd_module = None })