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

   1 [("\\id",
   2   (Shallow_decl_defs.Fun
   3      { Typing_defs.fe_deprecated = None;
   4        fe_type =
   5        (Rwitness (root|namespace_elaboration.php line 31, characters 10-11),
   6         (Tfun
   7            { ft_arity = (Fstandard ()); ft_tparams = [];
   8              ft_where_constraints = [];
   9              ft_params =
  10              [{ fp_pos = [31:20-22]; fp_name = (Some "$x");
  11                 fp_type =
  12                 { et_enforced = false;
  13                   et_type =
  14                   (Rhint (root|namespace_elaboration.php line 31, characters 13-18),
  15                    (Tapply (([31:13-19], "\\MyNamespace\\MyType"), [])))
  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                   ~readonly:false);
  23                  }
  24                ];
  25              ft_implicit_params = { capability = (CapDefaults [31:10-12]) };
  26              ft_ret =
  27              { et_enforced = false;
  28                et_type =
  29                (Rhint (root|namespace_elaboration.php line 31, characters 25-31),
  30                 (Tapply (([31:25-32], "\\MyNamespace\\MyType"), [])))
  31                };
  32              ft_flags =
  33              (make_ft_flags FSync None ~return_disposable:false
  34                ~returns_mutable:false ~returns_void_to_rx:false
  35                ~returns_readonly:false ~readonly_this:false);
  36              ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  37        fe_pos = [31:10-12]; fe_php_std_lib = false }));
  38   ("\\other_id",
  39    (Shallow_decl_defs.Fun
  40       { Typing_defs.fe_deprecated = None;
  41         fe_type =
  42         (Rwitness (root|namespace_elaboration.php line 35, characters 10-17),
  43          (Tfun
  44             { ft_arity = (Fstandard ()); ft_tparams = [];
  45               ft_where_constraints = [];
  46               ft_params =
  47               [{ fp_pos = [35:31-33]; fp_name = (Some "$x");
  48                  fp_type =
  49                  { et_enforced = false;
  50                    et_type =
  51                    (Rhint (root|namespace_elaboration.php line 35, characters 19-29),
  52                     (Tapply (([35:19-30], "\\MyNamespace\\MyOtherType"), [])))
  53                    };
  54                  fp_rx_annotation = None;
  55                  fp_flags =
  56                  (make_fp_flags ~mutability:None ~accept_disposable:false
  57                    ~has_default:false ~mode:Typing_defs_core.FPnormal
  58                    ~ifc_external:false ~ifc_can_call:false ~is_atom:false
  59                    ~readonly:false);
  60                   }
  61                 ];
  62               ft_implicit_params = { capability = (CapDefaults [35:10-18]) };
  63               ft_ret =
  64               { et_enforced = false;
  65                 et_type =
  66                 (Rhint (root|namespace_elaboration.php line 35, characters 36-47),
  67                  (Tapply (([35:36-48], "\\MyNamespace\\MyOtherType"), [])))
  68                 };
  69               ft_flags =
  70               (make_ft_flags FSync None ~return_disposable:false
  71                 ~returns_mutable:false ~returns_void_to_rx:false
  72                 ~returns_readonly:false ~readonly_this:false);
  73               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
  74         fe_pos = [35:10-18]; fe_php_std_lib = false }));
  75   ("\\braced_id",
  76    (Shallow_decl_defs.Fun
  77       { Typing_defs.fe_deprecated = None;
  78         fe_type =
  79         (Rwitness (root|namespace_elaboration.php line 39, characters 10-18),
  80          (Tfun
  81             { ft_arity = (Fstandard ()); ft_tparams = [];
  82               ft_where_constraints = [];
  83               ft_params =
  84               [{ fp_pos = [39:33-35]; fp_name = (Some "$x");
  85                  fp_type =
  86                  { et_enforced = false;
  87                    et_type =
  88                    (Rhint (root|namespace_elaboration.php line 39, characters 20-31),
  89                     (Tapply (([39:20-32], "\\MyNamespace\\MyBracedType"),
  90                        [])))
  91                    };
  92                  fp_rx_annotation = None;
  93                  fp_flags =
  94                  (make_fp_flags ~mutability:None ~accept_disposable:false
  95                    ~has_default:false ~mode:Typing_defs_core.FPnormal
  96                    ~ifc_external:false ~ifc_can_call:false ~is_atom:false
  97                    ~readonly:false);
  98                   }
  99                 ];
 100               ft_implicit_params = { capability = (CapDefaults [39:10-19]) };
 101               ft_ret =
 102               { et_enforced = false;
 103                 et_type =
 104                 (Rhint (root|namespace_elaboration.php line 39, characters 38-50),
 105                  (Tapply (([39:38-51], "\\MyNamespace\\MyBracedType"), [])))
 106                 };
 107               ft_flags =
 108               (make_ft_flags FSync None ~return_disposable:false
 109                 ~returns_mutable:false ~returns_void_to_rx:false
 110                 ~returns_readonly:false ~readonly_this:false);
 111               ft_reactive = Nonreactive; ft_ifc_decl = FDPolicied {PUBLIC} }));
 112         fe_pos = [39:10-19]; fe_php_std_lib = false }))
 113   ]
 114
 115 They matched!