hphp/hack/test/decl/coeffect_contexts.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-24], "C0");
  13           stc_kind =
  14           (Typing_defs.TCAbstract
  15              { Typing_defs.atc_as_constraint = None;
  16                atc_super_constraint = None;
  17                atc_default = (Some (Rhint ([4:27-29]), (Tintersection []))) });
  18           stc_enforceable = ([Pos.none], false); stc_reifiable = None;
  19           stc_is_ctx = true };
  20          { Shallow_decl_defs.stc_name = ([5:22-24], "C1");
  21            stc_kind =
  22            (Typing_defs.TCAbstract
  23               { Typing_defs.atc_as_constraint = None;
  24                 atc_super_constraint = None;
  25                 atc_default =
  26                 (Some (Rhint ([5:27-42]),
  27                        (Tintersection
  28                           [(Rhint ([5:28-41]),
  29                             (Tapply (
  30                                ([5:28-41], "\\HH\\Contexts\\zoned_shallow"),
  31                                [])))
  32                             ])))
  33                 });
  34            stc_enforceable = ([Pos.none], false); stc_reifiable = None;
  35            stc_is_ctx = true };
  36          { Shallow_decl_defs.stc_name = ([6:22-24], "C2");
  37            stc_kind =
  38            (Typing_defs.TCAbstract
  39               { Typing_defs.atc_as_constraint = None;
  40                 atc_super_constraint = None;
  41                 atc_default =
  42                 (Some (Rhint ([6:27-54]),
  43                        (Tintersection
  44                           [(Rhint ([6:28-41]),
  45                             (Tapply (
  46                                ([6:28-41], "\\HH\\Contexts\\zoned_shallow"),
  47                                [])));
  48                             (Rhint ([6:43-53]),
  49                              (Tapply (
  50                                 ([6:43-53], "\\HH\\Contexts\\rx_shallow"),
  51                                 [])))
  52                             ])))
  53                 });
  54            stc_enforceable = ([Pos.none], false); stc_reifiable = None;
  55            stc_is_ctx = true }
  56          ];
  57        sc_props = []; sc_sprops = []; sc_constructor = None;
  58        sc_static_methods = [];
  59        sc_methods =
  60        [{ Shallow_decl_defs.sm_name = ([8:28-30], "f0");
  61           sm_type =
  62           (Rwitness_from_decl ([8:28-30]),
  63            (Tfun
  64               { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  65                 ft_implicit_params =
  66                 { capability =
  67                   (CapTy (Rhint ([8:32-34]), (Tintersection []))) };
  68                 ft_ret =
  69                 { et_enforced = Typing_defs_core.Unenforced;
  70                   et_type = (Rhint ([8:36-40]), (Tprim Tvoid)) };
  71                 ft_flags =
  72                 (make_ft_flags FSync ~return_disposable:false
  73                   ~returns_readonly:false ~support_dynamic_type:false
  74                   ~readonly_this:false ~is_memoized:false ~variadic:false);
  75                 ft_ifc_decl = FDPolicied {PUBLIC} }));
  76           sm_visibility = Public; sm_deprecated = None; sm_flags = abstract;
  77           sm_attributes = [] };
  78          { Shallow_decl_defs.sm_name = ([9:28-30], "f1");
  79            sm_type =
  80            (Rwitness_from_decl ([9:28-30]),
  81             (Tfun
  82                { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  83                  ft_implicit_params =
  84                  { capability =
  85                    (CapTy (Rhint ([9:32-47]),
  86                            (Tintersection
  87                               [(Rhint ([9:33-46]),
  88                                 (Tapply (
  89                                    ([9:33-46],
  90                                     "\\HH\\Contexts\\zoned_shallow"),
  91                                    [])))
  92                                 ])))
  93                    };
  94                  ft_ret =
  95                  { et_enforced = Typing_defs_core.Unenforced;
  96                    et_type = (Rhint ([9:49-53]), (Tprim Tvoid)) };
  97                  ft_flags =
  98                  (make_ft_flags FSync ~return_disposable:false
  99                    ~returns_readonly:false ~support_dynamic_type:false
 100                    ~readonly_this:false ~is_memoized:false ~variadic:false);
 101                  ft_ifc_decl = FDPolicied {PUBLIC} }));
 102            sm_visibility = Public; sm_deprecated = None; sm_flags = abstract;
 103            sm_attributes = [] };
 104          { Shallow_decl_defs.sm_name = ([10:28-30], "f2");
 105            sm_type =
 106            (Rwitness_from_decl ([10:28-30]),
 107             (Tfun
 108                { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 109                  ft_implicit_params =
 110                  { capability =
 111                    (CapTy (Rhint ([10:32-59]),
 112                            (Tintersection
 113                               [(Rhint ([10:33-46]),
 114                                 (Tapply (
 115                                    ([10:33-46],
 116                                     "\\HH\\Contexts\\zoned_shallow"),
 117                                    [])));
 118                                 (Rhint ([10:48-58]),
 119                                  (Tapply (
 120                                     ([10:48-58], "\\HH\\Contexts\\rx_shallow"),
 121                                     [])))
 122                                 ])))
 123                    };
 124                  ft_ret =
 125                  { et_enforced = Typing_defs_core.Unenforced;
 126                    et_type = (Rhint ([10:62-66]), (Tprim Tvoid)) };
 127                  ft_flags =
 128                  (make_ft_flags FSync ~return_disposable:false
 129                    ~returns_readonly:false ~support_dynamic_type:false
 130                    ~readonly_this:false ~is_memoized:false ~variadic:false);
 131                  ft_ifc_decl = FDPolicied {PUBLIC} }));
 132            sm_visibility = Public; sm_deprecated = None; sm_flags = abstract;
 133            sm_attributes = [] }
 134          ];
 135        sc_user_attributes = []; sc_enum_type = None }))
 136   ]
 137
 138 They matched!