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

   1 [("\\f",
   2   (Shallow_decl_defs.Fun
   3      { Typing_defs.fe_deprecated = None;
   4        fe_type =
   5        (Rwitness (root|at_most_rx_as_func_with_optional_func.php line 4, characters 10-10),
   6         (Tfun
   7            { ft_arity = (Fstandard ());
   8              ft_tparams =
   9              [{ Typing_defs_core.tp_variance = Invariant;
  10                 tp_name = ([4:12-13], "T"); tp_tparams = [];
  11                 tp_constraints = []; tp_reified = Erased;
  12                 tp_user_attributes = [] }
  13                ];
  14              ft_where_constraints = [];
  15              ft_params =
  16              [{ fp_pos = [6:24-34]; fp_name = (Some "$predicate");
  17                 fp_type =
  18                 { et_enforced = false;
  19                   et_type =
  20                   (Rhint (root|at_most_rx_as_func_with_optional_func.php line 6, characters 3-22),
  21                    (Toption
  22                       (Rhint (root|at_most_rx_as_func_with_optional_func.php line 6, characters 4-22),
  23                        (Tfun
  24                           { ft_arity = (Fstandard ()); ft_tparams = [];
  25                             ft_where_constraints = [];
  26                             ft_params =
  27                             [{ fp_pos = [6:14-15]; fp_name = None;
  28                                fp_type =
  29                                { et_enforced = false;
  30                                  et_type =
  31                                  (Rhint (root|at_most_rx_as_func_with_optional_func.php line 6, characters 14-14),
  32                                   (Tgeneric ("T", [])))
  33                                  };
  34                                fp_rx_annotation = None;
  35                                fp_flags =
  36                                (make_fp_flags ~mutability:None
  37                                  ~accept_disposable:false ~has_default:false
  38                                  ~mode:Typing_defs_core.FPnormal
  39                                  ~ifc_external:false ~ifc_can_call:false
  40                                  ~is_atom:false ~readonly:false
  41                                  ~const_function:false);
  42                                 }
  43                               ];
  44                             ft_implicit_params =
  45                             { capability = (CapDefaults [6:4-23]) };
  46                             ft_ret =
  47                             { et_enforced = false;
  48                               et_type =
  49                               (Rhint (root|at_most_rx_as_func_with_optional_func.php line 6, characters 18-21),
  50                                (Tprim Tbool))
  51                               };
  52                             ft_flags =
  53                             (make_ft_flags FSync None
  54                               ~return_disposable:false ~returns_mutable:false
  55                               ~returns_void_to_rx:false
  56                               ~returns_readonly:false ~readonly_this:false
  57                               ~is_const:false);
  58                             ft_reactive = RxVar {};
  59                             ft_ifc_decl = FDPolicied {PUBLIC} }))))
  60                   };
  61                 fp_rx_annotation = (Some Param_rx_var);
  62                 fp_flags =
  63                 (make_fp_flags ~mutability:None ~accept_disposable:false
  64                   ~has_default:true ~mode:Typing_defs_core.FPnormal
  65                   ~ifc_external:false ~ifc_can_call:false ~is_atom:false
  66                   ~readonly:false ~const_function:false);
  67                  }
  68                ];
  69              ft_implicit_params = { capability = (CapDefaults [4:10-11]) };
  70              ft_ret =
  71              { et_enforced = false;
  72                et_type =
  73                (Rhint (root|at_most_rx_as_func_with_optional_func.php line 7, characters 4-7),
  74                 (Tprim Tbool))
  75                };
  76              ft_flags =
  77              (make_ft_flags FSync None ~return_disposable:false
  78                ~returns_mutable:false ~returns_void_to_rx:false
  79                ~returns_readonly:false ~readonly_this:false ~is_const:false);
  80              ft_reactive = Pure {}; ft_ifc_decl = FDPolicied {PUBLIC} }));
  81        fe_pos = [4:10-11]; fe_php_std_lib = false }))
  82   ]
  83
  84 They matched!