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

   1 [("\\a2",
   2   (Shallow_decl_defs.Fun
   3      { Typing_defs.fe_deprecated = None; fe_module = None;
   4        fe_package_override = None; fe_internal = false;
   5        fe_type =
   6        (Rwitness_from_decl ([3:10-12]),
   7         (Tfun
   8            { ft_tparams = []; ft_where_constraints = []; ft_params = [];
   9              ft_implicit_params = { capability = (CapDefaults [3:10-12]) };
  10              ft_ret =
  11              (Rhint ([3:16-35]),
  12               (Tapply (([3:16-22], "\\HH\\dict"),
  13                  [(Rhint ([3:23-26]), (Tprim Tint));
  14                    (Rhint ([3:28-34]), (Tprim Tstring))]
  15                  )));
  16              ft_flags =
  17              { Typing_defs_flags.Fun.return_disposable = false;
  18                async = false; generator = false; fun_kind = FSync;
  19                is_function_pointer = false; returns_readonly = false;
  20                readonly_this = false; support_dynamic_type = false;
  21                is_memoized = false; variadic = false };
  22              ft_cross_package = None }));
  23        fe_pos = [3:10-12]; fe_php_std_lib = false;
  24        fe_support_dynamic_type = false; fe_no_auto_dynamic = false;
  25        fe_no_auto_likes = false }));
  26   ("\\v1",
  27    (Shallow_decl_defs.Fun
  28       { Typing_defs.fe_deprecated = None; fe_module = None;
  29         fe_package_override = None; fe_internal = false;
  30         fe_type =
  31         (Rwitness_from_decl ([7:10-12]),
  32          (Tfun
  33             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  34               ft_implicit_params = { capability = (CapDefaults [7:10-12]) };
  35               ft_ret =
  36               (Rhint ([7:16-27]),
  37                (Tapply (([7:16-22], "\\HH\\vec"),
  38                   [(Rhint ([7:23-26]), (Tprim Tint))])));
  39               ft_flags =
  40               { Typing_defs_flags.Fun.return_disposable = false;
  41                 async = false; generator = false; fun_kind = FSync;
  42                 is_function_pointer = false; returns_readonly = false;
  43                 readonly_this = false; support_dynamic_type = false;
  44                 is_memoized = false; variadic = false };
  45               ft_cross_package = None }));
  46         fe_pos = [7:10-12]; fe_php_std_lib = false;
  47         fe_support_dynamic_type = false; fe_no_auto_dynamic = false;
  48         fe_no_auto_likes = false }));
  49   ("\\d2",
  50    (Shallow_decl_defs.Fun
  51       { Typing_defs.fe_deprecated = None; fe_module = None;
  52         fe_package_override = None; fe_internal = false;
  53         fe_type =
  54         (Rwitness_from_decl ([11:10-12]),
  55          (Tfun
  56             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  57               ft_implicit_params = { capability = (CapDefaults [11:10-12]) };
  58               ft_ret =
  59               (Rhint ([11:16-35]),
  60                (Tapply (([11:16-22], "\\HH\\dict"),
  61                   [(Rhint ([11:23-26]), (Tprim Tint));
  62                     (Rhint ([11:28-34]), (Tprim Tstring))]
  63                   )));
  64               ft_flags =
  65               { Typing_defs_flags.Fun.return_disposable = false;
  66                 async = false; generator = false; fun_kind = FSync;
  67                 is_function_pointer = false; returns_readonly = false;
  68                 readonly_this = false; support_dynamic_type = false;
  69                 is_memoized = false; variadic = false };
  70               ft_cross_package = None }));
  71         fe_pos = [11:10-12]; fe_php_std_lib = false;
  72         fe_support_dynamic_type = false; fe_no_auto_dynamic = false;
  73         fe_no_auto_likes = false }));
  74   ("\\vd1",
  75    (Shallow_decl_defs.Fun
  76       { Typing_defs.fe_deprecated = None; fe_module = None;
  77         fe_package_override = None; fe_internal = false;
  78         fe_type =
  79         (Rwitness_from_decl ([15:10-13]),
  80          (Tfun
  81             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  82               ft_implicit_params = { capability = (CapDefaults [15:10-13]) };
  83               ft_ret =
  84               (Rhint ([15:17-38]),
  85                (Tvec_or_dict
  86                   (Rvec_or_dict_key ([15:17-38]), (Tprim Tarraykey)),
  87                   (Rhint ([15:34-37]), (Tprim Tint))));
  88               ft_flags =
  89               { Typing_defs_flags.Fun.return_disposable = false;
  90                 async = false; generator = false; fun_kind = FSync;
  91                 is_function_pointer = false; returns_readonly = false;
  92                 readonly_this = false; support_dynamic_type = false;
  93                 is_memoized = false; variadic = false };
  94               ft_cross_package = None }));
  95         fe_pos = [15:10-13]; fe_php_std_lib = false;
  96         fe_support_dynamic_type = false; fe_no_auto_dynamic = false;
  97         fe_no_auto_likes = false }));
  98   ("\\vd2",
  99    (Shallow_decl_defs.Fun
 100       { Typing_defs.fe_deprecated = None; fe_module = None;
 101         fe_package_override = None; fe_internal = false;
 102         fe_type =
 103         (Rwitness_from_decl ([19:10-13]),
 104          (Tfun
 105             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 106               ft_implicit_params = { capability = (CapDefaults [19:10-13]) };
 107               ft_ret =
 108               (Rhint ([19:17-46]),
 109                (Tvec_or_dict (Rhint ([19:34-37]), (Tprim Tint)),
 110                   (Rhint ([19:39-45]), (Tprim Tstring))));
 111               ft_flags =
 112               { Typing_defs_flags.Fun.return_disposable = false;
 113                 async = false; generator = false; fun_kind = FSync;
 114                 is_function_pointer = false; returns_readonly = false;
 115                 readonly_this = false; support_dynamic_type = false;
 116                 is_memoized = false; variadic = false };
 117               ft_cross_package = None }));
 118         fe_pos = [19:10-13]; fe_php_std_lib = false;
 119         fe_support_dynamic_type = false; fe_no_auto_dynamic = false;
 120         fe_no_auto_likes = false }));
 121   ("\\vd3",
 122    (Shallow_decl_defs.Fun
 123       { Typing_defs.fe_deprecated = None; fe_module = None;
 124         fe_package_override = None; fe_internal = false;
 125         fe_type =
 126         (Rwitness_from_decl ([23:10-13]),
 127          (Tfun
 128             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 129               ft_implicit_params = { capability = (CapDefaults [23:10-13]) };
 130               ft_ret = (Rhint ([23:17-52]), Tany);
 131               ft_flags =
 132               { Typing_defs_flags.Fun.return_disposable = false;
 133                 async = false; generator = false; fun_kind = FSync;
 134                 is_function_pointer = false; returns_readonly = false;
 135                 readonly_this = false; support_dynamic_type = false;
 136                 is_memoized = false; variadic = false };
 137               ft_cross_package = None }));
 138         fe_pos = [23:10-13]; fe_php_std_lib = false;
 139         fe_support_dynamic_type = false; fe_no_auto_dynamic = false;
 140         fe_no_auto_likes = false }))
 141   ]