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

   1 [(Fun
   2     { fd_namespace =
   3       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
   4         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
   5         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
   6       fd_file_attributes = []; fd_mode = Mstrict;
   7       fd_fun =
   8       { f_span = [3:1-7:2]; f_readonly_this = None; f_annotation = ();
   9         f_readonly_ret = None; f_ret = ((int), (Some ([3:22-25], (Hprim Tint))));
  10         f_name = ([3:10-11], "\\f"); f_tparams = []; f_where_constraints = [];
  11         f_params =
  12         [{ param_annotation = (?int); param_type_hint = ((?int), (Some ([3:12-16], (Hoption ([3:13-16], (Hprim Tint))))));
  13            param_is_variadic = false; param_pos = [3:17-19]; param_name = "$x";
  14            param_expr = None; param_readonly = None; param_callconv = Pnormal;
  15            param_user_attributes = []; param_visibility = None }
  16           ];
  17         f_ctxs = None; f_unsafe_ctxs = None;
  18         f_body =
  19         { fb_ast =
  20           [([4:3-29],
  21             (If (((bool), [4:7-18], (Binop (Eqeqeq, ((?int), [4:7-9], (Lvar ([4:7-9], $x))), ((null), [4:14-18], Null)))),
  22                [([4:3-29], (AssertEnv (Refinement, {$x}))); ([4:20-29], (Return (Some ((int), [4:27-28], (Int "1")))))],
  23                [([4:3-29], (AssertEnv (Refinement, {$x}))); ([Pos.none], Noop)])));
  24             ([5:3-29],
  25              (If (((bool), [5:7-18], (Binop (Eqeqeq, ((null), [5:7-11], Null), ((int), [5:16-18], (Lvar ([5:16-18], $x)))))),
  26                 [([5:3-29], (AssertEnv (Refinement, {$x}))); ([5:20-29], (Return (Some ((int), [5:27-28], (Int "2")))))],
  27                 [([5:3-29], (AssertEnv (Refinement, {$x}))); ([Pos.none], Noop)])));
  28             ([6:3-12], (Return (Some ((int), [6:10-11], (Int "0")))))]
  29           };
  30         f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  31         f_doc_comment = None };
  32       fd_internal = false; fd_module = None })