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

   1 [("\\f",
   2   (Shallow_decl_defs.Fun
   3      { Typing_defs.fe_deprecated = None;
   4        fe_type =
   5        (Rwitness (root|yield_deeper.php line 3, characters 10-10),
   6         (Tfun
   7            { ft_arity = (Fstandard ()); ft_tparams = [];
   8              ft_where_constraints = []; ft_params = [];
   9              ft_implicit_params = { capability = (CapDefaults [3:10-11]) };
  10              ft_ret =
  11              { et_enforced = false;
  12                et_type =
  13                (Rhint (root|yield_deeper.php line 3, characters 15-42),
  14                 (Tapply (([3:15-24], "\\Generator"),
  15                    [(Rhint (root|yield_deeper.php line 3, characters 25-28),
  16                      (Tprim Tbool));
  17                      (Rhint (root|yield_deeper.php line 3, characters 31-36),
  18                       (Tprim Tstring));
  19                      (Rhint (root|yield_deeper.php line 3, characters 39-41),
  20                       (Tprim Tint))
  21                      ]
  22                    )))
  23                };
  24              ft_flags =
  25              (make_ft_flags FGenerator None ~return_disposable:false
  26                ~returns_mutable:false ~returns_void_to_rx:false
  27                ~returns_readonly:false ~readonly_this:false);
  28              ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  29        fe_pos = [3:10-11]; fe_php_std_lib = false }));
  30   ("\\g",
  31    (Shallow_decl_defs.Fun
  32       { Typing_defs.fe_deprecated = None;
  33         fe_type =
  34         (Rwitness (root|yield_deeper.php line 7, characters 10-10),
  35          (Tfun
  36             { ft_arity = (Fstandard ()); ft_tparams = [];
  37               ft_where_constraints = []; ft_params = [];
  38               ft_implicit_params = { capability = (CapDefaults [7:10-11]) };
  39               ft_ret =
  40               { et_enforced = false;
  41                 et_type =
  42                 (Rhint (root|yield_deeper.php line 7, characters 15-18),
  43                  (Tprim Tvoid))
  44                 };
  45               ft_flags =
  46               (make_ft_flags FSync None ~return_disposable:false
  47                 ~returns_mutable:false ~returns_void_to_rx:false
  48                 ~returns_readonly:false ~readonly_this:false);
  49               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  50         fe_pos = [7:10-11]; fe_php_std_lib = false }));
  51   ("\\h",
  52    (Shallow_decl_defs.Fun
  53       { Typing_defs.fe_deprecated = None;
  54         fe_type =
  55         (Rwitness (root|yield_deeper.php line 13, characters 10-10),
  56          (Tfun
  57             { ft_arity = (Fstandard ()); ft_tparams = [];
  58               ft_where_constraints = []; ft_params = [];
  59               ft_implicit_params = { capability = (CapDefaults [13:10-11]) };
  60               ft_ret =
  61               { et_enforced = false;
  62                 et_type =
  63                 (Rhint (root|yield_deeper.php line 13, characters 15-18),
  64                  (Tprim Tvoid))
  65                 };
  66               ft_flags =
  67               (make_ft_flags FSync None ~return_disposable:false
  68                 ~returns_mutable:false ~returns_void_to_rx:false
  69                 ~returns_readonly:false ~readonly_this:false);
  70               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  71         fe_pos = [13:10-11]; fe_php_std_lib = false }));
  72   ("\\i",
  73    (Shallow_decl_defs.Fun
  74       { Typing_defs.fe_deprecated = None;
  75         fe_type =
  76         (Rwitness (root|yield_deeper.php line 19, characters 16-16),
  77          (Tfun
  78             { ft_arity = (Fstandard ()); ft_tparams = [];
  79               ft_where_constraints = []; ft_params = [];
  80               ft_implicit_params = { capability = (CapDefaults [19:16-17]) };
  81               ft_ret =
  82               { et_enforced = false;
  83                 et_type =
  84                 (Rhint (root|yield_deeper.php line 19, characters 21-35),
  85                  (Tapply (([19:21-30], "\\HH\\Awaitable"),
  86                     [(Rhint (root|yield_deeper.php line 19, characters 31-34),
  87                       (Tprim Tvoid))]
  88                     )))
  89                 };
  90               ft_flags =
  91               (make_ft_flags FAsync None ~return_disposable:false
  92                 ~returns_mutable:false ~returns_void_to_rx:false
  93                 ~returns_readonly:false ~readonly_this:false);
  94               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  95         fe_pos = [19:16-17]; fe_php_std_lib = false }));
  96   ("\\j",
  97    (Shallow_decl_defs.Fun
  98       { Typing_defs.fe_deprecated = None;
  99         fe_type =
 100         (Rwitness (root|yield_deeper.php line 26, characters 16-16),
 101          (Tfun
 102             { ft_arity = (Fstandard ()); ft_tparams = [];
 103               ft_where_constraints = []; ft_params = [];
 104               ft_implicit_params = { capability = (CapDefaults [26:16-17]) };
 105               ft_ret =
 106               { et_enforced = false;
 107                 et_type =
 108                 (Rhint (root|yield_deeper.php line 26, characters 21-51),
 109                  (Tapply (([26:21-39], "\\HH\\AsyncKeyedIterator"),
 110                     [(Rhint (root|yield_deeper.php line 26, characters 40-45),
 111                       (Tprim Tstring));
 112                       (Rhint (root|yield_deeper.php line 26, characters 48-50),
 113                        (Tprim Tint))
 114                       ]
 115                     )))
 116                 };
 117               ft_flags =
 118               (make_ft_flags FAsyncGenerator None ~return_disposable:false
 119                 ~returns_mutable:false ~returns_void_to_rx:false
 120                 ~returns_readonly:false ~readonly_this:false);
 121               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
 122         fe_pos = [26:16-17]; fe_php_std_lib = false }))
 123   ]
 124
 125 They matched!