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

   1 Errors:
   2   [6:7-8] Unbound name: `U` (an object type)
   3   [5:3-10] `T` cannot be used with `new` because it does not have the `<<__Newable>>` attribute
   4   [5:7-8] Erased generics can only be used in type hints because they do not exist at runtime.
   5 [(Fun
   6     { fd_namespace =
   7       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
   8         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
   9         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  10       fd_file_attributes = []; fd_mode = Mstrict;
  11       fd_fun =
  12       { f_span = [4:1-7:2]; f_readonly_this = None; f_annotation = ();
  13         f_readonly_ret = None; f_ret = ((void), (Some ([4:18-22], (Hprim Tvoid))));
  14         f_name = ([4:10-11], "\\f"); f_tparams = [{ tp_variance = Invariant; tp_name = ([4:12-13], "T"); tp_parameters = []; tp_constraints = []; tp_reified = Erased; tp_user_attributes = [] }];
  15         f_where_constraints = []; f_params = []; f_ctxs = None; f_unsafe_ctxs = None;
  16         f_body =
  17         { fb_ast =
  18           [([5:3-11], (Expr ((T), [5:3-10], (New (((T), [5:7-8], (CI ([5:7-8], "T"))), [], [], None, (_))))));
  19             ([6:3-11], (Expr ((_), [6:3-10], (New (((_), [6:7-8], (CI ([6:7-8], "\\U"))), [], [], None, (_))))))]
  20           };
  21         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  22         f_doc_comment = None };
  23       fd_internal = false; fd_module = None })