hphp/hack/test/holes/return_refinement.php.holes.exp

   1 [(Fun
   2     { f_span = [3:1-11:2]; f_readonly_this = None; f_annotation = ();
   3       f_mode = Mstrict; f_readonly_ret = None; f_ret = ((bool), (Some ([3:30-34], (Hprim Tbool))));
   4       f_name = ([3:10-27], "\\return_refinement"); f_tparams = []; f_where_constraints = [];
   5       f_variadic = FVnonVariadic; f_params = []; f_ctxs = None; f_unsafe_ctxs = None;
   6       f_body =
   7       { fb_ast =
   8         [([4:3-10], (Expr (([4:3-9], int), (Binop ((Eq None), (([4:3-5], int), (Lvar ([4:3-5], $x))), (([4:8-9], int), (Int "3")))))));
   9           ([5:3-10:4],
  10            (If ((([5:6-10], bool), True), [([7:5-15], (Return (Some (([7:12-14], int), (Hole ((([7:12-14], int), (Lvar ([7:12-14], $x))), (int), (bool), Typing))))))],
  11               [([9:5-15], (Return (Some (([9:12-14], nothing), (Lvar ([9:12-14], $x))))))])))
  12           ];
  13         fb_annotation = () };
  14       f_fun_kind = FSync; f_user_attributes = []; f_file_attributes = [];
  15       f_external = false;
  16       f_namespace =
  17       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  18         ns_record_def_uses = <opaque>; ns_fun_uses = <opaque>; ns_const_uses = <opaque>;
  19         ns_name = None; ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  20       f_doc_comment = None })