hphp/hack/test/typecheck/like_types/soft_types/test.php.direct_decl_exp

   1 --- legacy
   2 +++ direct decl
   3 @@ -1,60 +1,60 @@
   4  [("\\C",
   5    (Shallow_decl_defs.Class
   6       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
   7         sc_is_xhp = false; sc_has_xhp_keyword = false; sc_kind = Cnormal;
   8         sc_name = ([3:7-8], "\\C"); sc_tparams = [];
   9         sc_where_constraints = []; sc_extends = []; sc_uses = [];
  10         sc_xhp_attr_uses = []; sc_req_extends = []; sc_req_implements = [];
  11         sc_implements = []; sc_implements_dynamic = false; sc_consts = [];
  12         sc_typeconsts = [];
  13         sc_props =
  14         [{ Shallow_decl_defs.sp_name = ([4:28-30], "s"); sp_xhp_attr = None;
  15            sp_type =
  16 -          (Some (Rhint (root|test.php line 4, characters 21-26),
  17 +          (Some (Rhint (root|test.php line 4, characters 5-10),
  18                   (Tlike
  19                      (Rhint (root|test.php line 4, characters 21-26),
  20                       (Tprim Tstring)))));
  21            sp_visibility = Public; sp_flags = (empty) }
  22           ];
  23         sc_sprops = []; sc_constructor = None; sc_static_methods = [];
  24         sc_methods = []; sc_user_attributes = []; sc_enum_type = None }));
  25    ("\\f",
  26     (Shallow_decl_defs.Fun
  27        { Typing_defs.fe_deprecated = None;
  28          fe_type =
  29          (Rwitness (root|test.php line 7, characters 10-10),
  30           (Tfun
  31              { ft_arity = (Fstandard ()); ft_tparams = [];
  32                ft_where_constraints = [];
  33                ft_params =
  34                [{ fp_pos = [7:27-29]; fp_name = (Some "$i");
  35                   fp_type =
  36                   { et_enforced = false;
  37                     et_type =
  38                     (Rhint (root|test.php line 7, characters 23-25),
  39                      (Tlike
  40                         (Rhint (root|test.php line 7, characters 23-25),
  41                          (Tprim Tint))))
  42                     };
  43                   fp_rx_annotation = None;
  44                   fp_flags =
  45                   (make_fp_flags ~mutability:None ~accept_disposable:false
  46                     ~has_default:false ~mode:Typing_defs_core.FPnormal
  47                     ~ifc_external:false ~ifc_can_call:false ~is_atom:false);
  48                    }
  49                  ];
  50                ft_implicit_params = { capability = (CapDefaults [7:10-11]) };
  51                ft_ret =
  52                { et_enforced = false;
  53                  et_type =
  54                  (Rhint (root|test.php line 7, characters 32-47),
  55                   (Tlike
  56                      (Rhint (root|test.php line 7, characters 43-47),
  57                       (Tprim Tfloat))))
  58                  };
  59                ft_flags =
  60                (make_ft_flags FSync None ~return_disposable:false
  61                  ~returns_mutable:false ~returns_void_to_rx:false);
  62                ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  63          fe_pos = [7:10-11]; fe_php_std_lib = false }))
  64    ]