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

   1 [("\\a2",
   2   (Shallow_decl_defs.Fun
   3      { Typing_defs.fe_deprecated = None;
   4        fe_type =
   5        (Rwitness_from_decl ([3:10-12]),
   6         (Tfun
   7            { ft_arity = (Fstandard ()); ft_tparams = [];
   8              ft_where_constraints = []; ft_params = [];
   9              ft_implicit_params = { capability = (CapDefaults [3:10-12]) };
  10              ft_ret =
  11              { et_enforced = false;
  12                et_type =
  13                (Rhint ([3:16-35]),
  14                 (Tdarray ((Rhint ([3:23-26]), (Tprim Tint)),
  15                    (Rhint ([3:28-34]), (Tprim Tstring)))))
  16                };
  17              ft_flags =
  18              (make_ft_flags FSync ~return_disposable:false
  19                ~returns_readonly:false ~readonly_this:false ~is_const:false);
  20              ft_ifc_decl = FDPolicied {PUBLIC} }));
  21        fe_pos = [3:10-12]; fe_php_std_lib = false }));
  22   ("\\v0",
  23    (Shallow_decl_defs.Fun
  24       { Typing_defs.fe_deprecated = None;
  25         fe_type =
  26         (Rwitness_from_decl ([7:10-12]),
  27          (Tfun
  28             { ft_arity = (Fstandard ()); ft_tparams = [];
  29               ft_where_constraints = []; ft_params = [];
  30               ft_implicit_params = { capability = (CapDefaults [7:10-12]) };
  31               ft_ret =
  32               { et_enforced = false;
  33                 et_type =
  34                 (Rhint ([7:16-22]), (Tvarray (Rhint ([7:16-22]), Tany))) };
  35               ft_flags =
  36               (make_ft_flags FSync ~return_disposable:false
  37                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
  38               ft_ifc_decl = FDPolicied {PUBLIC} }));
  39         fe_pos = [7:10-12]; fe_php_std_lib = false }));
  40   ("\\v1",
  41    (Shallow_decl_defs.Fun
  42       { Typing_defs.fe_deprecated = None;
  43         fe_type =
  44         (Rwitness_from_decl ([11:10-12]),
  45          (Tfun
  46             { ft_arity = (Fstandard ()); ft_tparams = [];
  47               ft_where_constraints = []; ft_params = [];
  48               ft_implicit_params = { capability = (CapDefaults [11:10-12]) };
  49               ft_ret =
  50               { et_enforced = false;
  51                 et_type =
  52                 (Rhint ([11:16-27]),
  53                  (Tvarray (Rhint ([11:23-26]), (Tprim Tint))))
  54                 };
  55               ft_flags =
  56               (make_ft_flags FSync ~return_disposable:false
  57                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
  58               ft_ifc_decl = FDPolicied {PUBLIC} }));
  59         fe_pos = [11:10-12]; fe_php_std_lib = false }));
  60   ("\\d0",
  61    (Shallow_decl_defs.Fun
  62       { Typing_defs.fe_deprecated = None;
  63         fe_type =
  64         (Rwitness_from_decl ([15:10-12]),
  65          (Tfun
  66             { ft_arity = (Fstandard ()); ft_tparams = [];
  67               ft_where_constraints = []; ft_params = [];
  68               ft_implicit_params = { capability = (CapDefaults [15:10-12]) };
  69               ft_ret =
  70               { et_enforced = false;
  71                 et_type =
  72                 (Rhint ([15:16-22]),
  73                  (Tdarray ((Rhint ([15:16-22]), Tany),
  74                     (Rhint ([15:16-22]), Tany))))
  75                 };
  76               ft_flags =
  77               (make_ft_flags FSync ~return_disposable:false
  78                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
  79               ft_ifc_decl = FDPolicied {PUBLIC} }));
  80         fe_pos = [15:10-12]; fe_php_std_lib = false }));
  81   ("\\d2",
  82    (Shallow_decl_defs.Fun
  83       { Typing_defs.fe_deprecated = None;
  84         fe_type =
  85         (Rwitness_from_decl ([19:10-12]),
  86          (Tfun
  87             { ft_arity = (Fstandard ()); ft_tparams = [];
  88               ft_where_constraints = []; ft_params = [];
  89               ft_implicit_params = { capability = (CapDefaults [19:10-12]) };
  90               ft_ret =
  91               { et_enforced = false;
  92                 et_type =
  93                 (Rhint ([19:16-35]),
  94                  (Tdarray ((Rhint ([19:23-26]), (Tprim Tint)),
  95                     (Rhint ([19:28-34]), (Tprim Tstring)))))
  96                 };
  97               ft_flags =
  98               (make_ft_flags FSync ~return_disposable:false
  99                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 100               ft_ifc_decl = FDPolicied {PUBLIC} }));
 101         fe_pos = [19:10-12]; fe_php_std_lib = false }));
 102   ("\\vd0",
 103    (Shallow_decl_defs.Fun
 104       { Typing_defs.fe_deprecated = None;
 105         fe_type =
 106         (Rwitness_from_decl ([23:10-13]),
 107          (Tfun
 108             { ft_arity = (Fstandard ()); ft_tparams = [];
 109               ft_where_constraints = []; ft_params = [];
 110               ft_implicit_params = { capability = (CapDefaults [23:10-13]) };
 111               ft_ret =
 112               { et_enforced = false;
 113                 et_type =
 114                 (Rhint ([23:17-33]),
 115                  (Tvarray_or_darray
 116                     (Rvarray_or_darray_key ([23:17-33]), (Tprim Tarraykey)),
 117                     (Rhint ([23:17-33]), Tany)))
 118                 };
 119               ft_flags =
 120               (make_ft_flags FSync ~return_disposable:false
 121                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 122               ft_ifc_decl = FDPolicied {PUBLIC} }));
 123         fe_pos = [23:10-13]; fe_php_std_lib = false }));
 124   ("\\vd1",
 125    (Shallow_decl_defs.Fun
 126       { Typing_defs.fe_deprecated = None;
 127         fe_type =
 128         (Rwitness_from_decl ([27:10-13]),
 129          (Tfun
 130             { ft_arity = (Fstandard ()); ft_tparams = [];
 131               ft_where_constraints = []; ft_params = [];
 132               ft_implicit_params = { capability = (CapDefaults [27:10-13]) };
 133               ft_ret =
 134               { et_enforced = false;
 135                 et_type =
 136                 (Rhint ([27:17-38]),
 137                  (Tvarray_or_darray
 138                     (Rvarray_or_darray_key ([27:17-38]), (Tprim Tarraykey)),
 139                     (Rhint ([27:34-37]), (Tprim Tint))))
 140                 };
 141               ft_flags =
 142               (make_ft_flags FSync ~return_disposable:false
 143                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 144               ft_ifc_decl = FDPolicied {PUBLIC} }));
 145         fe_pos = [27:10-13]; fe_php_std_lib = false }));
 146   ("\\vd2",
 147    (Shallow_decl_defs.Fun
 148       { Typing_defs.fe_deprecated = None;
 149         fe_type =
 150         (Rwitness_from_decl ([31:10-13]),
 151          (Tfun
 152             { ft_arity = (Fstandard ()); ft_tparams = [];
 153               ft_where_constraints = []; ft_params = [];
 154               ft_implicit_params = { capability = (CapDefaults [31:10-13]) };
 155               ft_ret =
 156               { et_enforced = false;
 157                 et_type =
 158                 (Rhint ([31:17-46]),
 159                  (Tvarray_or_darray (Rhint ([31:34-37]), (Tprim Tint)),
 160                     (Rhint ([31:39-45]), (Tprim Tstring))))
 161                 };
 162               ft_flags =
 163               (make_ft_flags FSync ~return_disposable:false
 164                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 165               ft_ifc_decl = FDPolicied {PUBLIC} }));
 166         fe_pos = [31:10-13]; fe_php_std_lib = false }));
 167   ("\\vd3",
 168    (Shallow_decl_defs.Fun
 169       { Typing_defs.fe_deprecated = None;
 170         fe_type =
 171         (Rwitness_from_decl ([35:10-13]),
 172          (Tfun
 173             { ft_arity = (Fstandard ()); ft_tparams = [];
 174               ft_where_constraints = []; ft_params = [];
 175               ft_implicit_params = { capability = (CapDefaults [35:10-13]) };
 176               ft_ret =
 177               { et_enforced = false; et_type = (Rhint ([35:17-52]), Tany) };
 178               ft_flags =
 179               (make_ft_flags FSync ~return_disposable:false
 180                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 181               ft_ifc_decl = FDPolicied {PUBLIC} }));
 182         fe_pos = [35:10-13]; fe_php_std_lib = false }))
 183   ]
 184
 185 They matched!