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

   1 [("\\I",
   2   (Shallow_decl_defs.Class
   3      { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
   4        sc_is_xhp = false; sc_has_xhp_keyword = false; sc_kind = Cinterface;
   5        sc_name = ([6:11-12], "\\I"); sc_tparams = [];
   6        sc_where_constraints = []; sc_extends = []; sc_uses = [];
   7        sc_xhp_attr_uses = []; sc_req_extends = []; sc_req_implements = [];
   8        sc_implements = []; sc_implements_dynamic = false; sc_consts = [];
   9        sc_typeconsts = []; sc_props = []; sc_sprops = [];
  10        sc_constructor = None; sc_static_methods = []; sc_methods = [];
  11        sc_user_attributes = []; sc_enum_type = None }));
  12   ("\\J",
  13    (Shallow_decl_defs.Class
  14       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  15         sc_is_xhp = false; sc_has_xhp_keyword = false; sc_kind = Cinterface;
  16         sc_name = ([7:11-12], "\\J"); sc_tparams = [];
  17         sc_where_constraints = []; sc_extends = []; sc_uses = [];
  18         sc_xhp_attr_uses = []; sc_req_extends = []; sc_req_implements = [];
  19         sc_implements = []; sc_implements_dynamic = false; sc_consts = [];
  20         sc_typeconsts = []; sc_props = []; sc_sprops = [];
  21         sc_constructor = None; sc_static_methods = []; sc_methods = [];
  22         sc_user_attributes = []; sc_enum_type = None }));
  23   ("\\f",
  24    (Shallow_decl_defs.Fun
  25       { Typing_defs.fe_deprecated = None;
  26         fe_type =
  27         (Rwitness (root|denotable_unions.php line 9, characters 10-10),
  28          (Tfun
  29             { ft_arity = (Fstandard ()); ft_tparams = [];
  30               ft_where_constraints = [];
  31               ft_params =
  32               [{ fp_pos = [9:19-22]; fp_name = (Some "$_x");
  33                  fp_type =
  34                  { et_enforced = false;
  35                    et_type =
  36                    (Rhint (root|denotable_unions.php line 9, characters 12-17),
  37                     (Tintersection
  38                        [(Rhint (root|denotable_unions.php line 9, characters 13-13),
  39                          (Tapply (([9:13-14], "\\I"), [])));
  40                          (Rhint (root|denotable_unions.php line 9, characters 16-16),
  41                           (Tapply (([9:16-17], "\\J"), [])))
  42                          ]))
  43                    };
  44                  fp_rx_annotation = None;
  45                  fp_flags =
  46                  (make_fp_flags ~mutability:None ~accept_disposable:false
  47                    ~has_default:false ~mode:Typing_defs_core.FPnormal
  48                    ~ifc_external:false ~ifc_can_call:false ~is_atom:false
  49                    ~readonly:false);
  50                   }
  51                 ];
  52               ft_implicit_params = { capability = (CapDefaults [9:10-11]) };
  53               ft_ret =
  54               { et_enforced = false;
  55                 et_type =
  56                 (Rhint (root|denotable_unions.php line 9, characters 25-28),
  57                  (Tprim Tvoid))
  58                 };
  59               ft_flags =
  60               (make_ft_flags FSync None ~return_disposable:false
  61                 ~returns_mutable:false ~returns_void_to_rx:false
  62                 ~returns_readonly:false ~readonly_this:false);
  63               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  64         fe_pos = [9:10-11]; fe_php_std_lib = false }));
  65   ("\\g",
  66    (Shallow_decl_defs.Fun
  67       { Typing_defs.fe_deprecated = None;
  68         fe_type =
  69         (Rwitness (root|denotable_unions.php line 10, characters 10-10),
  70          (Tfun
  71             { ft_arity = (Fstandard ()); ft_tparams = [];
  72               ft_where_constraints = [];
  73               ft_params =
  74               [{ fp_pos = [10:19-22]; fp_name = (Some "$_x");
  75                  fp_type =
  76                  { et_enforced = false;
  77                    et_type =
  78                    (Rhint (root|denotable_unions.php line 10, characters 12-17),
  79                     (Tunion
  80                        [(Rhint (root|denotable_unions.php line 10, characters 13-13),
  81                          (Tapply (([10:13-14], "\\I"), [])));
  82                          (Rhint (root|denotable_unions.php line 10, characters 16-16),
  83                           (Tapply (([10:16-17], "\\J"), [])))
  84                          ]))
  85                    };
  86                  fp_rx_annotation = None;
  87                  fp_flags =
  88                  (make_fp_flags ~mutability:None ~accept_disposable:false
  89                    ~has_default:false ~mode:Typing_defs_core.FPnormal
  90                    ~ifc_external:false ~ifc_can_call:false ~is_atom:false
  91                    ~readonly:false);
  92                   }
  93                 ];
  94               ft_implicit_params = { capability = (CapDefaults [10:10-11]) };
  95               ft_ret =
  96               { et_enforced = false;
  97                 et_type =
  98                 (Rhint (root|denotable_unions.php line 10, characters 25-28),
  99                  (Tprim Tvoid))
 100                 };
 101               ft_flags =
 102               (make_ft_flags FSync None ~return_disposable:false
 103                 ~returns_mutable:false ~returns_void_to_rx:false
 104                 ~returns_readonly:false ~readonly_this:false);
 105               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
 106         fe_pos = [10:10-11]; fe_php_std_lib = false }))
 107   ]
 108
 109 They matched!