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

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