hphp/hack/test/holes/expected_class_intersection_classname.php.holes.exp

   1 Errors:
   2   [6:11-22] Can't use `new` on `classname<C>`; `__construct` arguments are not guaranteed to be consistent in child classes
   3   [5:58-59] This declaration is neither `final` nor uses the `<<__ConsistentConstruct>>` attribute
   4 [(Class
   5     { c_span = [3:1-11]; 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"); c_tparams = []; c_extends = []; c_uses = [];
   8       c_xhp_attr_uses = []; c_xhp_category = None; c_reqs = []; c_implements = [];
   9       c_where_constraints = []; c_consts = []; c_typeconsts = []; c_vars = [];
  10       c_methods = []; c_attributes = []; c_xhp_children = []; c_xhp_attrs = [];
  11       c_namespace =
  12       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  13         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  14         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  15       c_user_attributes = []; c_file_attributes = []; c_enum = None;
  16       c_doc_comment = None; c_emit_id = None; c_internal = false; c_module = None });
  17   (Fun
  18      { fd_namespace =
  19        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  20          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  21          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  22        fd_file_attributes = []; fd_mode = Mstrict;
  23        fd_fun =
  24        { f_span = [5:1-7:2]; f_readonly_this = None; f_annotation = ();
  25          f_readonly_ret = None; f_ret = ((void), (Some ([5:77-81], (Hprim Tvoid))));
  26          f_name = ([5:10-37], "\\expected_class_intersection"); f_tparams = [];
  27          f_where_constraints = [];
  28          f_params =
  29          [{ param_annotation = (classname<C>);
  30             param_type_hint =
  31             ((classname<C>),
  32              (Some ([5:38-61], (Hintersection [([5:39-45], (Hprim Tstring)); ([5:48-60], (Happly (([5:48-57], "\\HH\\classname"), [([5:58-59], (Happly (([5:58-59], "\\C"), [])))])))]))));
  33             param_is_variadic = false; param_pos = [5:62-73]; param_name = "$class_name";
  34             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  35             param_user_attributes = []; param_visibility = None }
  36            ];
  37          f_ctxs = None; f_unsafe_ctxs = None;
  38          f_body =
  39          { fb_ast =
  40            [([6:2-25],
  41              (Expr
  42                 ((<expr#1> as C), [6:2-24],
  43                  (Binop ((Eq None), ((<expr#1> as C), [6:2-4], (Lvar ([6:2-4], $x))),
  44                     ((<expr#1> as C), [6:7-24], (New (((C), [6:11-22], (CIexpr ((classname<C>), [6:11-22], (Lvar ([6:11-22], $class_name))))), [], [], None, (_)))))))))
  45              ]
  46            };
  47          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  48          f_doc_comment = None };
  49        fd_internal = false; fd_module = None })