hphp/hack/test/tast/reify_mix_with_erased.php.exp

   1 Errors:
   2   [8:18-20] Invalid argument
   3   [8:10-16] Expected `string`
   4   [3:25-27]   via this generic `Tu`
   5   [8:18-20] But got `int`
   6 [(Fun
   7     { f_span = [3:1-5:2]; f_annotation = (); f_mode = Mstrict;
   8       f_ret = ((Tu), (Some ([3:33-35], (Habstr ("Tu", [])))));
   9       f_name = ([3:10-11], "\\f");
  10       f_tparams =
  11       [{ tp_variance = Invariant; tp_name = ([3:18-19], "T");
  12          tp_parameters = []; tp_constraints = []; tp_reified = Reified;
  13          tp_user_attributes = [] };
  14         { tp_variance = Invariant; tp_name = ([3:21-23], "Tu");
  15           tp_parameters = []; tp_constraints = []; tp_reified = Erased;
  16           tp_user_attributes = [] }
  17         ];
  18       f_where_constraints = []; f_variadic = FVnonVariadic;
  19       f_params =
  20       [{ param_annotation = ([3:28-30], Tu);
  21          param_type_hint = ((Tu), (Some ([3:25-27], (Habstr ("Tu", [])))));
  22          param_is_variadic = false; param_pos = [3:28-30]; param_name = "$f";
  23          param_expr = None; param_callconv = None;
  24          param_user_attributes = []; param_visibility = None }
  25         ];
  26       f_cap = ((nothing), None); f_unsafe_cap = ((mixed), None);
  27       f_body =
  28       { fb_ast =
  29         [([4:3-13], (Return (Some (([4:10-12], Tu), (Lvar ([4:10-12], $f))))))
  30           ];
  31         fb_annotation = () };
  32       f_fun_kind = FSync; f_user_attributes = []; f_file_attributes = [];
  33       f_external = false;
  34       f_namespace =
  35       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  36         ns_record_def_uses = <opaque>; ns_fun_uses = <opaque>;
  37         ns_const_uses = <opaque>; ns_name = None; ns_auto_ns_map = [];
  38         ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  39       f_doc_comment = None; f_static = false });
  40   (Fun
  41      { f_span = [7:1-9:2]; f_annotation = (); f_mode = Mstrict;
  42        f_ret = ((void), (Some ([7:15-19], (Hprim Tvoid))));
  43        f_name = ([7:10-11], "\\g"); f_tparams = []; f_where_constraints = [];
  44        f_variadic = FVnonVariadic; f_params = []; f_cap = ((nothing), None);
  45        f_unsafe_cap = ((mixed), None);
  46        f_body =
  47        { fb_ast =
  48          [([8:3-22],
  49            (Expr
  50               (([8:3-21], string),
  51                (Call (
  52                   (([8:3-4], (function<reify T, Tu>(string $f): string)),
  53                    (Id ([8:3-4], "\\f"))),
  54                   [((int), ([8:5-8], (Hprim Tint)));
  55                     ((string), ([8:10-16], (Hprim Tstring)))],
  56                   [(([8:18-20], int), (Int "42"))], None)))))
  57            ];
  58          fb_annotation = () };
  59        f_fun_kind = FSync; f_user_attributes = []; f_file_attributes = [];
  60        f_external = false;
  61        f_namespace =
  62        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  63          ns_record_def_uses = <opaque>; ns_fun_uses = <opaque>;
  64          ns_const_uses = <opaque>; ns_name = None; ns_auto_ns_map = [];
  65          ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  66        f_doc_comment = None; f_static = false })
  67   ]