hphp/hack/test/typecheck/func_ptr_in_constants/allowed_func_ptr_builtins.php.direct_decl_exp

   1 --- legacy
   2 +++ direct decl
   3 @@ -1,99 +1,99 @@
   4  [("\\foo",
   5    (Shallow_decl_defs.Fun
   6       { Typing_defs.fe_deprecated = None; fe_module = None;
   7         fe_internal = false;
   8         fe_type =
   9         (Rwitness_from_decl ([3:10-13]),
  10          (Tfun
  11             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  12               ft_implicit_params = { capability = (CapDefaults [3:10-13]) };
  13               ft_ret =
  14               { et_enforced = Typing_defs_core.Unenforced;
  15                 et_type = (Rhint ([3:17-20]), (Tprim Tint)) };
  16               ft_flags =
  17               (make_ft_flags FSync ~return_disposable:false
  18                 ~returns_readonly:false ~support_dynamic_type:false
  19                 ~readonly_this:false ~is_memoized:false ~variadic:false);
  20               ft_ifc_decl = FDPolicied {PUBLIC} }));
  21         fe_pos = [3:10-13]; fe_php_std_lib = false;
  22         fe_support_dynamic_type = false }));
  23    ("\\Cls",
  24     (Shallow_decl_defs.Class
  25        { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  26          sc_abstract = false; sc_is_xhp = false; sc_internal = false;
  27          sc_has_xhp_keyword = false; sc_kind = (Cclass Concrete);
  28          sc_module = None; sc_name = ([5:7-10], "\\Cls"); sc_tparams = [];
  29          sc_where_constraints = []; sc_extends = []; sc_uses = [];
  30          sc_xhp_attr_uses = []; sc_xhp_enum_values = {}; sc_req_extends = [];
  31          sc_req_implements = []; sc_req_class = []; sc_implements = [];
  32          sc_support_dynamic_type = false; sc_consts = []; sc_typeconsts = [];
  33          sc_props = []; sc_sprops = []; sc_constructor = None;
  34          sc_static_methods =
  35          [{ Shallow_decl_defs.sm_name = ([6:26-30], "meth");
  36             sm_type =
  37             (Rwitness_from_decl ([6:26-30]),
  38              (Tfun
  39                 { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  40                   ft_implicit_params =
  41                   { capability = (CapDefaults [6:26-30]) };
  42                   ft_ret =
  43                   { et_enforced = Typing_defs_core.Unenforced;
  44                     et_type = (Rhint ([6:34-37]), (Tprim Tint)) };
  45                   ft_flags =
  46                   (make_ft_flags FSync ~return_disposable:false
  47                     ~returns_readonly:false ~support_dynamic_type:false
  48                     ~readonly_this:false ~is_memoized:false ~variadic:false);
  49                   ft_ifc_decl = FDPolicied {PUBLIC} }));
  50             sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
  51             sm_attributes = [] }
  52            ];
  53          sc_methods = []; sc_user_attributes = []; sc_enum_type = None }));
  54    ("\\A",
  55     (Shallow_decl_defs.Class
  56        { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  57          sc_abstract = false; sc_is_xhp = false; sc_internal = false;
  58          sc_has_xhp_keyword = false; sc_kind = (Cclass Concrete);
  59          sc_module = None; sc_name = ([9:7-8], "\\A"); sc_tparams = [];
  60          sc_where_constraints = []; sc_extends = []; sc_uses = [];
  61          sc_xhp_attr_uses = []; sc_xhp_enum_values = {}; sc_req_extends = [];
  62          sc_req_implements = []; sc_req_class = []; sc_implements = [];
  63          sc_support_dynamic_type = false; sc_consts = []; sc_typeconsts = [];
  64          sc_props = [];
  65          sc_sprops =
  66          [{ Shallow_decl_defs.sp_name = ([10:37-41], "$arr");
  67             sp_xhp_attr = None;
  68             sp_type =
  69             (Some (Rhint ([10:17-36]),
  70                    (Tapply (([10:17-21], "\\HH\\dict"),
  71                       [(Rhint ([10:22-28]), (Tprim Tstring));
  72                         (Rhint ([10:30-35]), Tmixed)]
  73                       ))));
  74             sp_visibility = Public; sp_flags = (empty) }
  75            ];
  76          sc_constructor = None; sc_static_methods = []; sc_methods = [];
  77          sc_user_attributes = []; sc_enum_type = None }));
  78    ("\\B",
  79     (Shallow_decl_defs.Class
  80        { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  81          sc_abstract = true; sc_is_xhp = false; sc_internal = false;
  82          sc_has_xhp_keyword = false; sc_kind = (Cclass Abstract);
  83          sc_module = None; sc_name = ([16:16-17], "\\B"); sc_tparams = [];
  84          sc_where_constraints = []; sc_extends = []; sc_uses = [];
  85          sc_xhp_attr_uses = []; sc_xhp_enum_values = {}; sc_req_extends = [];
  86          sc_req_implements = []; sc_req_class = []; sc_implements = [];
  87          sc_support_dynamic_type = false;
  88          sc_consts =
  89          [{ Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
  90             scc_name = ([17:29-38], "const_arr");
  91             scc_type =
  92             (Rhint ([17:9-28]),
  93              (Tapply (([17:9-13], "\\HH\\dict"),
  94                 [(Rhint ([17:14-20]), (Tprim Tstring));
  95                   (Rhint ([17:22-27]), Tmixed)]
  96                 )));
  97 -           scc_refs = [] }
  98 +           scc_refs = [((Typing_defs.From "\\Cls"), "class")] }
  99            ];
 100          sc_typeconsts = []; sc_props = []; sc_sprops = [];
 101          sc_constructor = None; sc_static_methods = []; sc_methods = [];
 102          sc_user_attributes = []; sc_enum_type = None }))
 103    ]