hphp/hack/test/nast/coeffects_poly_var.php.exp

   1 [(Fun
   2     { f_span = [5:1-7:18]; f_annotation = (); f_mode = Mstrict;
   3       f_ret = ((), (Some ([7:11-15], (Hprim Tvoid))));
   4       f_name = ([5:10-14], "\\poly"); f_tparams = [];
   5       f_where_constraints = []; f_variadic = FVnonVariadic;
   6       f_params =
   7       [{ param_annotation = [6:5-7];
   8          param_type_hint =
   9          ((), (Some ([6:3-4], (Happly (([6:3-4], "\\C"), [])))));
  10          param_is_variadic = false; param_pos = [6:5-7]; param_name = "$f";
  11          param_expr = None; param_callconv = None;
  12          param_user_attributes = []; param_visibility = None }
  13         ];
  14       f_ctxs = (Some ([7:2-9], [([7:3-8], Hmixed)]));
  15       f_unsafe_ctxs = (Some ([7:2-9], [([7:3-8], Hmixed)]));
  16       f_body = { fb_ast = [([Pos.none], Noop)]; fb_annotation = Named };
  17       f_fun_kind = FSync; f_user_attributes = [];
  18       f_file_attributes =
  19       [{ fa_user_attributes =
  20          [{ ua_name = ([3:9-33], "__EnableUnstableFeatures");
  21             ua_params = [([3:34-57], (String "coeffects_provisional"))] }
  22            ];
  23          fa_namespace =
  24          { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  25            ns_record_def_uses = <opaque>; ns_fun_uses = <opaque>;
  26            ns_const_uses = <opaque>; ns_name = None; ns_auto_ns_map = [];
  27            ns_is_codegen = false; ns_disable_xhp_element_mangling = false }
  28          }
  29         ];
  30       f_external = false;
  31       f_namespace =
  32       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  33         ns_record_def_uses = <opaque>; ns_fun_uses = <opaque>;
  34         ns_const_uses = <opaque>; ns_name = None; ns_auto_ns_map = [];
  35         ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  36       f_doc_comment = None; f_static = false })
  37   ]