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

   1 [("\\E",
   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 = (Cclass Concrete);
   6        sc_module = None; sc_name = ([3:7-8], "\\E");
   7        sc_tparams =
   8        [{ Typing_defs_core.tp_variance = Invariant;
   9           tp_name = ([3:9-11], "Ta"); tp_tparams = []; tp_constraints = [];
  10           tp_reified = Erased; tp_user_attributes = [] };
  11          { Typing_defs_core.tp_variance = Invariant;
  12            tp_name = ([3:13-15], "Tb"); tp_tparams = []; tp_constraints = [];
  13            tp_reified = Erased; tp_user_attributes = [] }
  14          ];
  15        sc_where_constraints = []; sc_extends = []; sc_uses = [];
  16        sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
  17        sc_xhp_marked_empty = false; sc_req_extends = [];
  18        sc_req_implements = []; sc_req_class = []; sc_implements = [];
  19        sc_support_dynamic_type = false; sc_consts = []; sc_typeconsts = [];
  20        sc_props = []; sc_sprops = []; sc_constructor = None;
  21        sc_static_methods = []; sc_methods = []; sc_user_attributes = [];
  22        sc_enum_type = None; sc_docs_url = None; sc_package_override = None }));
  23   ("\\I",
  24    (Shallow_decl_defs.Class
  25       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  26         sc_abstract = false; sc_is_xhp = false; sc_internal = false;
  27         sc_has_xhp_keyword = false; sc_kind = Cinterface; sc_module = None;
  28         sc_name = ([5:11-12], "\\I");
  29         sc_tparams =
  30         [{ Typing_defs_core.tp_variance = Invariant;
  31            tp_name = ([6:3-5], "Ta"); tp_tparams = [];
  32            tp_constraints =
  33            [(Constraint_as, (Rhint ([6:9-17]), (Tprim Tarraykey)))];
  34            tp_reified = Erased; tp_user_attributes = [] };
  35           { Typing_defs_core.tp_variance = Invariant;
  36             tp_name = ([7:3-5], "Tb"); tp_tparams = [];
  37             tp_constraints =
  38             [(Constraint_as, (Rhint ([7:9-11]), (Tgeneric ("Ta", []))))];
  39             tp_reified = Erased; tp_user_attributes = [] };
  40           { Typing_defs_core.tp_variance = Invariant;
  41             tp_name = ([8:3-5], "Tc"); tp_tparams = [];
  42             tp_constraints =
  43             [(Constraint_as, (Rhint ([8:9-11]), (Tgeneric ("Td", []))))];
  44             tp_reified = Erased; tp_user_attributes = [] };
  45           { Typing_defs_core.tp_variance = Invariant;
  46             tp_name = ([9:3-5], "Td"); tp_tparams = [];
  47             tp_constraints =
  48             [(Constraint_as,
  49               (Rhint ([9:9-18]),
  50                (Tapply (([9:9-10], "\\E"),
  51                   [(Rhint ([9:11-13]), (Tgeneric ("Ta", [])));
  52                     (Rhint ([9:15-17]), (Tgeneric ("Tf", [])))]
  53                   ))))
  54               ];
  55             tp_reified = Erased; tp_user_attributes = [] };
  56           { Typing_defs_core.tp_variance = Invariant;
  57             tp_name = ([10:3-5], "Tf"); tp_tparams = []; tp_constraints = [];
  58             tp_reified = Erased; tp_user_attributes = [] };
  59           { Typing_defs_core.tp_variance = Invariant;
  60             tp_name = ([11:3-7], "Tarr"); tp_tparams = [];
  61             tp_constraints =
  62             [(Constraint_as,
  63               (Rhint ([11:11-21]),
  64                (Tapply (([11:11-17], "\\HH\\vec"),
  65                   [(Rhint ([11:18-20]), (Tgeneric ("Ta", [])))]))))
  66               ];
  67             tp_reified = Erased; tp_user_attributes = [] };
  68           { Typing_defs_core.tp_variance = Invariant;
  69             tp_name = ([12:3-8], "Tlike"); tp_tparams = [];
  70             tp_constraints =
  71             [(Constraint_as,
  72               (Rhint ([12:12-15]),
  73                (Tlike (Rhint ([12:13-15]), (Tgeneric ("Ta", []))))))
  74               ];
  75             tp_reified = Erased; tp_user_attributes = [] };
  76           { Typing_defs_core.tp_variance = Invariant;
  77             tp_name = ([13:3-7], "Topt"); tp_tparams = [];
  78             tp_constraints =
  79             [(Constraint_as,
  80               (Rhint ([13:11-14]),
  81                (Toption (Rhint ([13:12-14]), (Tgeneric ("Ta", []))))))
  82               ];
  83             tp_reified = Erased; tp_user_attributes = [] };
  84           { Typing_defs_core.tp_variance = Invariant;
  85             tp_name = ([14:3-7], "Tfun"); tp_tparams = [];
  86             tp_constraints =
  87             [(Constraint_as,
  88               (Rhint ([14:11-29]),
  89                (Tfun
  90                   { ft_tparams = []; ft_where_constraints = [];
  91                     ft_params =
  92                     [{ fp_pos = [14:21-23]; fp_name = None;
  93                        fp_type = (Rhint ([14:21-23]), (Tgeneric ("Ta", [])));
  94                        fp_flags =
  95                        { Typing_defs_flags.FunParam.accept_disposable = false;
  96                          inout = false; has_default = false;
  97                          readonly = false; ignore_readonly_error = false };
  98                        fp_def_value = None }
  99                       ];
 100                     ft_implicit_params =
 101                     { capability = (CapDefaults [14:11-29]) };
 102                     ft_ret = (Rhint ([14:26-28]), (Tgeneric ("Tb", [])));
 103                     ft_flags =
 104                     { Typing_defs_flags.Fun.return_disposable = false;
 105                       async = false; generator = false; fun_kind = FSync;
 106                       instantiated_targs = false;
 107                       is_function_pointer = false; returns_readonly = false;
 108                       readonly_this = false; support_dynamic_type = false;
 109                       is_memoized = false; variadic = false };
 110                     ft_cross_package = None })))
 111               ];
 112             tp_reified = Erased; tp_user_attributes = [] };
 113           { Typing_defs_core.tp_variance = Invariant;
 114             tp_name = ([15:3-9], "Tshape"); tp_tparams = [];
 115             tp_constraints =
 116             [(Constraint_as,
 117               (Rhint ([15:13-29]),
 118                (Tshape
 119                   { s_origin = Typing_defs_core.Missing_origin;
 120                     s_fields =
 121                     { (Typing_defs_core.TSFlit_str ([15:19-22], "a")) ->
 122                       { sft_optional = false;
 123                         sft_ty = (Rhint ([15:26-28]), (Tgeneric ("Ta", [])))
 124                         } };
 125                     s_unknown_value = (Rhint ([Pos.none]), (Tunion [])) })))
 126               ];
 127             tp_reified = Erased; tp_user_attributes = [] };
 128           { Typing_defs_core.tp_variance = Invariant;
 129             tp_name = ([16:3-8], "Tdarr"); tp_tparams = [];
 130             tp_constraints =
 131             [(Constraint_as,
 132               (Rhint ([16:12-26]),
 133                (Tapply (([16:12-18], "\\HH\\dict"),
 134                   [(Rhint ([16:19-21]), (Tgeneric ("Ta", [])));
 135                     (Rhint ([16:23-25]), (Tgeneric ("Tb", [])))]
 136                   ))))
 137               ];
 138             tp_reified = Erased; tp_user_attributes = [] };
 139           { Typing_defs_core.tp_variance = Invariant;
 140             tp_name = ([17:3-8], "Tvarr"); tp_tparams = [];
 141             tp_constraints =
 142             [(Constraint_as,
 143               (Rhint ([17:12-22]),
 144                (Tapply (([17:12-18], "\\HH\\vec"),
 145                   [(Rhint ([17:19-21]), (Tgeneric ("Ta", [])))]))))
 146               ];
 147             tp_reified = Erased; tp_user_attributes = [] };
 148           { Typing_defs_core.tp_variance = Invariant;
 149             tp_name = ([18:3-9], "Tvdarr"); tp_tparams = [];
 150             tp_constraints =
 151             [(Constraint_as,
 152               (Rhint ([18:13-37]),
 153                (Tvec_or_dict (Rhint ([18:30-32]), (Tgeneric ("Ta", []))),
 154                   (Rhint ([18:34-36]), (Tgeneric ("Tb", []))))))
 155               ];
 156             tp_reified = Erased; tp_user_attributes = [] };
 157           { Typing_defs_core.tp_variance = Invariant;
 158             tp_name = ([19:3-9], "Ttuple"); tp_tparams = [];
 159             tp_constraints =
 160             [(Constraint_as,
 161               (Rhint ([19:13-21]),
 162                (Ttuple
 163                   [(Rhint ([19:14-16]), (Tgeneric ("Ta", [])));
 164                     (Rhint ([19:18-20]), (Tgeneric ("Tb", [])))])))
 165               ];
 166             tp_reified = Erased; tp_user_attributes = [] }
 167           ];
 168         sc_where_constraints = []; sc_extends = []; sc_uses = [];
 169         sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
 170         sc_xhp_marked_empty = false; sc_req_extends = [];
 171         sc_req_implements = []; sc_req_class = []; sc_implements = [];
 172         sc_support_dynamic_type = false; sc_consts = []; sc_typeconsts = [];
 173         sc_props = []; sc_sprops = []; sc_constructor = None;
 174         sc_static_methods = []; sc_methods = []; sc_user_attributes = [];
 175         sc_enum_type = None; sc_docs_url = None; sc_package_override = None }))
 176   ]