hphp/hack/test/decl/ctx_const_upper_bound.php.exp

   1 [("\\C",
   2   (Shallow_decl_defs.Class
   3      { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
   4        sc_abstract = true; sc_is_xhp = false; sc_internal = false;
   5        sc_has_xhp_keyword = false; sc_kind = (Cclass Abstract);
   6        sc_module = None; sc_name = ([3:16-17], "\\C"); sc_tparams = [];
   7        sc_where_constraints = []; sc_extends = []; sc_uses = [];
   8        sc_xhp_attr_uses = []; sc_xhp_enum_values = {}; sc_req_extends = [];
   9        sc_req_implements = []; sc_req_class = []; sc_implements = [];
  10        sc_support_dynamic_type = false; sc_consts = [];
  11        sc_typeconsts =
  12        [{ Shallow_decl_defs.stc_name = ([4:22-23], "C");
  13           stc_kind =
  14           (Typing_defs.TCAbstract
  15              { Typing_defs.atc_as_constraint =
  16                (Some (Rhint ([4:27-40]),
  17                       (Tintersection
  18                          [(Rhint ([4:28-39]),
  19                            (Tapply (
  20                               ([4:28-39], "\\HH\\Contexts\\write_props"),
  21                               [])))
  22                            ])));
  23                atc_super_constraint = None; atc_default = None });
  24           stc_enforceable = ([Pos.none], false); stc_reifiable = None;
  25           stc_is_ctx = true }
  26          ];
  27        sc_props = []; sc_sprops = []; sc_constructor = None;
  28        sc_static_methods = []; sc_methods = []; sc_user_attributes = [];
  29        sc_enum_type = None }));
  30   ("\\D",
  31    (Shallow_decl_defs.Class
  32       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  33         sc_abstract = true; sc_is_xhp = false; sc_internal = false;
  34         sc_has_xhp_keyword = false; sc_kind = (Cclass Abstract);
  35         sc_module = None; sc_name = ([7:16-17], "\\D"); sc_tparams = [];
  36         sc_where_constraints = []; sc_extends = []; sc_uses = [];
  37         sc_xhp_attr_uses = []; sc_xhp_enum_values = {}; sc_req_extends = [];
  38         sc_req_implements = []; sc_req_class = []; sc_implements = [];
  39         sc_support_dynamic_type = false; sc_consts = [];
  40         sc_typeconsts =
  41         [{ Shallow_decl_defs.stc_name = ([8:22-23], "C");
  42            stc_kind =
  43            (Typing_defs.TCAbstract
  44               { Typing_defs.atc_as_constraint =
  45                 (Some (Rhint ([8:27-40]),
  46                        (Tintersection
  47                           [(Rhint ([8:28-39]),
  48                             (Tapply (
  49                                ([8:28-39], "\\HH\\Contexts\\write_props"),
  50                                [])))
  51                             ])));
  52                 atc_super_constraint = None;
  53                 atc_default =
  54                 (Some (Rhint ([8:43-53]),
  55                        (Tintersection
  56                           [(Rhint ([8:44-52]),
  57                             (Tapply (([8:44-52], "\\HH\\Contexts\\defaults"),
  58                                [])))
  59                             ])))
  60                 });
  61            stc_enforceable = ([Pos.none], false); stc_reifiable = None;
  62            stc_is_ctx = true }
  63           ];
  64         sc_props = []; sc_sprops = []; sc_constructor = None;
  65         sc_static_methods = []; sc_methods = []; sc_user_attributes = [];
  66         sc_enum_type = None }))
  67   ]
  68
  69 They matched!