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

   1 [("\\f",
   2   (Shallow_decl_defs.Fun
   3      { Typing_defs.fe_deprecated = None;
   4        fe_type =
   5        (Rwitness (root|soft_type_hint.php line 3, characters 10-10),
   6         (Tfun
   7            { ft_arity = (Fstandard ()); ft_tparams = [];
   8              ft_where_constraints = [];
   9              ft_params =
  10              [{ fp_pos = [3:27-29]; fp_name = (Some "$x");
  11                 fp_type =
  12                 { et_enforced = false;
  13                   et_type =
  14                   (Rhint (root|soft_type_hint.php line 3, characters 23-25),
  15                    (Tprim Tint))
  16                   };
  17                 fp_rx_annotation = None;
  18                 fp_flags =
  19                 (make_fp_flags ~mutability:None ~accept_disposable:false
  20                   ~has_default:false ~mode:Typing_defs_core.FPnormal
  21                   ~ifc_external:false ~ifc_can_call:false ~is_atom:false);
  22                  }
  23                ];
  24              ft_implicit_params =
  25              { capability =
  26                (Rhint (root|soft_type_hint.php line 3, characters 10-10),
  27                 (Tunion []))
  28                };
  29              ft_ret =
  30              { et_enforced = false;
  31                et_type =
  32                (Rhint (root|soft_type_hint.php line 3, characters 32-45),
  33                 (Tprim Tint))
  34                };
  35              ft_flags =
  36              (make_ft_flags FSync None ~return_disposable:false
  37                ~returns_mutable:false ~returns_void_to_rx:false);
  38              ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  39        fe_pos = [3:10-11]; fe_php_std_lib = false }))
  40   ]
  41
  42 They matched!