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

   1 [("\\simple_function",
   2   (Shallow_decl_defs.Fun
   3      { Typing_defs.fe_deprecated = None;
   4        fe_type =
   5        (Rwitness (root|functions.php line 3, characters 10-24),
   6         (Tfun
   7            { ft_arity = (Fstandard ()); ft_tparams = [];
   8              ft_where_constraints = []; ft_params = [];
   9              ft_implicit_params = { capability = (CapDefaults [3:10-25]) };
  10              ft_ret =
  11              { et_enforced = false;
  12                et_type =
  13                (Rhint (root|functions.php line 3, characters 29-32),
  14                 (Tprim Tvoid))
  15                };
  16              ft_flags =
  17              (make_ft_flags FSync ~return_disposable:false
  18                ~returns_readonly:false ~readonly_this:false ~is_const:false);
  19              ft_ifc_decl = FDPolicied {PUBLIC} }));
  20        fe_pos = [3:10-25]; fe_php_std_lib = false }));
  21   ("\\simple_int_function",
  22    (Shallow_decl_defs.Fun
  23       { Typing_defs.fe_deprecated = None;
  24         fe_type =
  25         (Rwitness (root|functions.php line 4, characters 10-28),
  26          (Tfun
  27             { ft_arity = (Fstandard ()); ft_tparams = [];
  28               ft_where_constraints = []; ft_params = [];
  29               ft_implicit_params = { capability = (CapDefaults [4:10-29]) };
  30               ft_ret =
  31               { et_enforced = false;
  32                 et_type =
  33                 (Rhint (root|functions.php line 4, characters 33-35),
  34                  (Tprim Tint))
  35                 };
  36               ft_flags =
  37               (make_ft_flags FSync ~return_disposable:false
  38                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
  39               ft_ifc_decl = FDPolicied {PUBLIC} }));
  40         fe_pos = [4:10-29]; fe_php_std_lib = false }));
  41   ("\\simple_function_with_body",
  42    (Shallow_decl_defs.Fun
  43       { Typing_defs.fe_deprecated = None;
  44         fe_type =
  45         (Rwitness (root|functions.php line 7, characters 10-34),
  46          (Tfun
  47             { ft_arity = (Fstandard ()); ft_tparams = [];
  48               ft_where_constraints = []; ft_params = [];
  49               ft_implicit_params = { capability = (CapDefaults [7:10-35]) };
  50               ft_ret =
  51               { et_enforced = false;
  52                 et_type =
  53                 (Rhint (root|functions.php line 7, characters 39-43),
  54                  (Tprim Tfloat))
  55                 };
  56               ft_flags =
  57               (make_ft_flags FSync ~return_disposable:false
  58                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
  59               ft_ifc_decl = FDPolicied {PUBLIC} }));
  60         fe_pos = [7:10-35]; fe_php_std_lib = false }));
  61   ("\\function_with_args",
  62    (Shallow_decl_defs.Fun
  63       { Typing_defs.fe_deprecated = None;
  64         fe_type =
  65         (Rwitness (root|functions.php line 11, characters 10-27),
  66          (Tfun
  67             { ft_arity = (Fstandard ()); ft_tparams = [];
  68               ft_where_constraints = [];
  69               ft_params =
  70               [{ fp_pos = [11:33-38]; fp_name = (Some "$arg1");
  71                  fp_type =
  72                  { et_enforced = false;
  73                    et_type =
  74                    (Rhint (root|functions.php line 11, characters 29-31),
  75                     (Tprim Tint))
  76                    };
  77                  fp_flags =
  78                  (make_fp_flags ~accept_disposable:false ~has_default:false
  79                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
  80                    ~ifc_can_call:false ~is_atom:false ~readonly:false
  81                    ~const_function:false);
  82                   };
  83                 { fp_pos = [11:46-51]; fp_name = (Some "$arg2");
  84                   fp_type =
  85                   { et_enforced = false;
  86                     et_type =
  87                     (Rhint (root|functions.php line 11, characters 40-44),
  88                      (Tprim Tfloat))
  89                     };
  90                   fp_flags =
  91                   (make_fp_flags ~accept_disposable:false ~has_default:false
  92                     ~mode:Typing_defs_core.FPnormal ~ifc_external:false
  93                     ~ifc_can_call:false ~is_atom:false ~readonly:false
  94                     ~const_function:false);
  95                    }
  96                 ];
  97               ft_implicit_params = { capability = (CapDefaults [11:10-28]) };
  98               ft_ret =
  99               { et_enforced = false;
 100                 et_type =
 101                 (Rhint (root|functions.php line 11, characters 54-57),
 102                  (Tprim Tvoid))
 103                 };
 104               ft_flags =
 105               (make_ft_flags FSync ~return_disposable:false
 106                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 107               ft_ifc_decl = FDPolicied {PUBLIC} }));
 108         fe_pos = [11:10-28]; fe_php_std_lib = false }));
 109   ("\\Typedef",
 110    (Shallow_decl_defs.Typedef
 111       { Typing_defs.td_pos = [13:6-13]; td_vis = Transparent;
 112         td_tparams = []; td_constraint = None;
 113         td_type =
 114         (Rhint (root|functions.php line 13, characters 16-21),
 115          (Tprim Tstring))
 116         }));
 117   ("\\function_with_non_primitive_args",
 118    (Shallow_decl_defs.Fun
 119       { Typing_defs.fe_deprecated = None;
 120         fe_type =
 121         (Rwitness (root|functions.php line 14, characters 10-41),
 122          (Tfun
 123             { ft_arity = (Fstandard ()); ft_tparams = [];
 124               ft_where_constraints = [];
 125               ft_params =
 126               [{ fp_pos = [14:51-56]; fp_name = (Some "$arg1");
 127                  fp_type =
 128                  { et_enforced = false;
 129                    et_type =
 130                    (Rhint (root|functions.php line 14, characters 43-49),
 131                     (Tapply (([14:43-50], "\\Typedef"), [])))
 132                    };
 133                  fp_flags =
 134                  (make_fp_flags ~accept_disposable:false ~has_default:false
 135                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 136                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 137                    ~const_function:false);
 138                   }
 139                 ];
 140               ft_implicit_params = { capability = (CapDefaults [14:10-42]) };
 141               ft_ret =
 142               { et_enforced = false;
 143                 et_type =
 144                 (Rhint (root|functions.php line 14, characters 59-65),
 145                  (Tapply (([14:59-66], "\\Typedef"), [])))
 146                 };
 147               ft_flags =
 148               (make_ft_flags FSync ~return_disposable:false
 149                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 150               ft_ifc_decl = FDPolicied {PUBLIC} }));
 151         fe_pos = [14:10-42]; fe_php_std_lib = false }));
 152   ("\\test_generic_fun",
 153    (Shallow_decl_defs.Fun
 154       { Typing_defs.fe_deprecated = None;
 155         fe_type =
 156         (Rwitness (root|functions.php line 18, characters 10-25),
 157          (Tfun
 158             { ft_arity = (Fstandard ());
 159               ft_tparams =
 160               [{ Typing_defs_core.tp_variance = Invariant;
 161                  tp_name = ([18:27-28], "T"); tp_tparams = [];
 162                  tp_constraints = []; tp_reified = Erased;
 163                  tp_user_attributes = [] }
 164                 ];
 165               ft_where_constraints = [];
 166               ft_params =
 167               [{ fp_pos = [18:32-37]; fp_name = (Some "$arg1");
 168                  fp_type =
 169                  { et_enforced = false;
 170                    et_type =
 171                    (Rhint (root|functions.php line 18, characters 30-30),
 172                     (Tgeneric ("T", [])))
 173                    };
 174                  fp_flags =
 175                  (make_fp_flags ~accept_disposable:false ~has_default:false
 176                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 177                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 178                    ~const_function:false);
 179                   }
 180                 ];
 181               ft_implicit_params = { capability = (CapDefaults [18:10-26]) };
 182               ft_ret =
 183               { et_enforced = false;
 184                 et_type =
 185                 (Rhint (root|functions.php line 18, characters 40-40),
 186                  (Tgeneric ("T", [])))
 187                 };
 188               ft_flags =
 189               (make_ft_flags FSync ~return_disposable:false
 190                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 191               ft_ifc_decl = FDPolicied {PUBLIC} }));
 192         fe_pos = [18:10-26]; fe_php_std_lib = false }));
 193   ("\\test_constrained_generic_fun",
 194    (Shallow_decl_defs.Fun
 195       { Typing_defs.fe_deprecated = None;
 196         fe_type =
 197         (Rwitness (root|functions.php line 22, characters 10-37),
 198          (Tfun
 199             { ft_arity = (Fstandard ());
 200               ft_tparams =
 201               [{ Typing_defs_core.tp_variance = Invariant;
 202                  tp_name = ([22:39-41], "T1"); tp_tparams = [];
 203                  tp_constraints =
 204                  [(Constraint_super,
 205                    (Rhint (root|functions.php line 22, characters 48-50),
 206                     (Tprim Tint)))
 207                    ];
 208                  tp_reified = Erased; tp_user_attributes = [] };
 209                 { Typing_defs_core.tp_variance = Invariant;
 210                   tp_name = ([22:53-55], "T2"); tp_tparams = [];
 211                   tp_constraints =
 212                   [(Constraint_as,
 213                     (Rhint (root|functions.php line 22, characters 59-64),
 214                      (Tprim Tstring)))
 215                     ];
 216                   tp_reified = Erased; tp_user_attributes = [] }
 217                 ];
 218               ft_where_constraints = [];
 219               ft_params =
 220               [{ fp_pos = [23:6-11]; fp_name = (Some "$arg1");
 221                  fp_type =
 222                  { et_enforced = false;
 223                    et_type =
 224                    (Rhint (root|functions.php line 23, characters 3-4),
 225                     (Tgeneric ("T1", [])))
 226                    };
 227                  fp_flags =
 228                  (make_fp_flags ~accept_disposable:false ~has_default:false
 229                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 230                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 231                    ~const_function:false);
 232                   };
 233                 { fp_pos = [24:6-11]; fp_name = (Some "$arg2");
 234                   fp_type =
 235                   { et_enforced = false;
 236                     et_type =
 237                     (Rhint (root|functions.php line 24, characters 3-4),
 238                      (Tgeneric ("T2", [])))
 239                     };
 240                   fp_flags =
 241                   (make_fp_flags ~accept_disposable:false ~has_default:false
 242                     ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 243                     ~ifc_can_call:false ~is_atom:false ~readonly:false
 244                     ~const_function:false);
 245                    }
 246                 ];
 247               ft_implicit_params = { capability = (CapDefaults [22:10-38]) };
 248               ft_ret =
 249               { et_enforced = false;
 250                 et_type =
 251                 (Rhint (root|functions.php line 25, characters 4-5),
 252                  (Tgeneric ("T1", [])))
 253                 };
 254               ft_flags =
 255               (make_ft_flags FSync ~return_disposable:false
 256                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 257               ft_ifc_decl = FDPolicied {PUBLIC} }));
 258         fe_pos = [22:10-38]; fe_php_std_lib = false }));
 259   ("\\test_returns_generic",
 260    (Shallow_decl_defs.Fun
 261       { Typing_defs.fe_deprecated = None;
 262         fe_type =
 263         (Rwitness (root|functions.php line 29, characters 10-29),
 264          (Tfun
 265             { ft_arity = (Fstandard ()); ft_tparams = [];
 266               ft_where_constraints = []; ft_params = [];
 267               ft_implicit_params = { capability = (CapDefaults [29:10-30]) };
 268               ft_ret =
 269               { et_enforced = false;
 270                 et_type =
 271                 (Rhint (root|functions.php line 29, characters 34-52),
 272                  (Tapply (([29:34-48], "\\HH\\Traversable"),
 273                     [(Rhint (root|functions.php line 29, characters 49-51),
 274                       (Tprim Tint))]
 275                     )))
 276                 };
 277               ft_flags =
 278               (make_ft_flags FSync ~return_disposable:false
 279                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 280               ft_ifc_decl = FDPolicied {PUBLIC} }));
 281         fe_pos = [29:10-30]; fe_php_std_lib = false }));
 282   ("\\takes_optional",
 283    (Shallow_decl_defs.Fun
 284       { Typing_defs.fe_deprecated = None;
 285         fe_type =
 286         (Rwitness (root|functions.php line 33, characters 10-23),
 287          (Tfun
 288             { ft_arity = (Fstandard ()); ft_tparams = [];
 289               ft_where_constraints = [];
 290               ft_params =
 291               [{ fp_pos = [33:30-32]; fp_name = (Some "$x");
 292                  fp_type =
 293                  { et_enforced = false;
 294                    et_type =
 295                    (Rhint (root|functions.php line 33, characters 25-28),
 296                     (Toption
 297                        (Rhint (root|functions.php line 33, characters 26-28),
 298                         (Tprim Tint))))
 299                    };
 300                  fp_flags =
 301                  (make_fp_flags ~accept_disposable:false ~has_default:false
 302                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 303                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 304                    ~const_function:false);
 305                   }
 306                 ];
 307               ft_implicit_params = { capability = (CapDefaults [33:10-24]) };
 308               ft_ret =
 309               { et_enforced = false;
 310                 et_type =
 311                 (Rhint (root|functions.php line 33, characters 35-38),
 312                  (Tprim Tvoid))
 313                 };
 314               ft_flags =
 315               (make_ft_flags FSync ~return_disposable:false
 316                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 317               ft_ifc_decl = FDPolicied {PUBLIC} }));
 318         fe_pos = [33:10-24]; fe_php_std_lib = false }));
 319   ("\\in_out",
 320    (Shallow_decl_defs.Fun
 321       { Typing_defs.fe_deprecated = None;
 322         fe_type =
 323         (Rwitness (root|functions.php line 35, characters 10-15),
 324          (Tfun
 325             { ft_arity = (Fstandard ()); ft_tparams = [];
 326               ft_where_constraints = [];
 327               ft_params =
 328               [{ fp_pos = [35:27-29]; fp_name = (Some "$x");
 329                  fp_type =
 330                  { et_enforced = false;
 331                    et_type =
 332                    (Rhint (root|functions.php line 35, characters 23-25),
 333                     (Tprim Tint))
 334                    };
 335                  fp_flags =
 336                  (make_fp_flags ~accept_disposable:false ~has_default:false
 337                    ~mode:Typing_defs_core.FPinout ~ifc_external:false
 338                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 339                    ~const_function:false);
 340                   }
 341                 ];
 342               ft_implicit_params = { capability = (CapDefaults [35:10-16]) };
 343               ft_ret =
 344               { et_enforced = false;
 345                 et_type =
 346                 (Rhint (root|functions.php line 35, characters 32-35),
 347                  (Tprim Tvoid))
 348                 };
 349               ft_flags =
 350               (make_ft_flags FSync ~return_disposable:false
 351                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 352               ft_ifc_decl = FDPolicied {PUBLIC} }));
 353         fe_pos = [35:10-16]; fe_php_std_lib = false }));
 354   ("\\takes_returns_function_type",
 355    (Shallow_decl_defs.Fun
 356       { Typing_defs.fe_deprecated = None;
 357         fe_type =
 358         (Rwitness (root|functions.php line 37, characters 10-36),
 359          (Tfun
 360             { ft_arity = (Fstandard ());
 361               ft_tparams =
 362               [{ Typing_defs_core.tp_variance = Invariant;
 363                  tp_name = ([37:38-40], "Tu"); tp_tparams = [];
 364                  tp_constraints = []; tp_reified = Erased;
 365                  tp_user_attributes = [] }
 366                 ];
 367               ft_where_constraints = [];
 368               ft_params =
 369               [{ fp_pos = [38:6-8]; fp_name = (Some "$x");
 370                  fp_type =
 371                  { et_enforced = false;
 372                    et_type =
 373                    (Rhint (root|functions.php line 38, characters 3-4),
 374                     (Tgeneric ("Tu", [])))
 375                    };
 376                  fp_flags =
 377                  (make_fp_flags ~accept_disposable:false ~has_default:false
 378                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 379                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 380                    ~const_function:false);
 381                   };
 382                 { fp_pos = [39:24-31]; fp_name = (Some "$unused");
 383                   fp_type =
 384                   { et_enforced = false;
 385                     et_type =
 386                     (Rhint (root|functions.php line 39, characters 3-22),
 387                      (Tfun
 388                         { ft_arity = (Fstandard ()); ft_tparams = [];
 389                           ft_where_constraints = [];
 390                           ft_params =
 391                           [{ fp_pos = [39:13-15]; fp_name = None;
 392                              fp_type =
 393                              { et_enforced = false;
 394                                et_type =
 395                                (Rhint (root|functions.php line 39, characters 13-14),
 396                                 (Tgeneric ("Tu", [])))
 397                                };
 398                              fp_flags =
 399                              (make_fp_flags ~accept_disposable:false
 400                                ~has_default:false
 401                                ~mode:Typing_defs_core.FPnormal
 402                                ~ifc_external:false ~ifc_can_call:false
 403                                ~is_atom:false ~readonly:false
 404                                ~const_function:false);
 405                               }
 406                             ];
 407                           ft_implicit_params =
 408                           { capability = (CapDefaults [39:3-23]) };
 409                           ft_ret =
 410                           { et_enforced = false;
 411                             et_type =
 412                             (Rhint (root|functions.php line 39, characters 18-21),
 413                              (Tprim Tvoid))
 414                             };
 415                           ft_flags =
 416                           (make_ft_flags FSync ~return_disposable:false
 417                             ~returns_readonly:false ~readonly_this:false
 418                             ~is_const:false);
 419                           ft_ifc_decl = FDPolicied {PUBLIC} }))
 420                     };
 421                   fp_flags =
 422                   (make_fp_flags ~accept_disposable:false ~has_default:false
 423                     ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 424                     ~ifc_can_call:false ~is_atom:false ~readonly:false
 425                     ~const_function:false);
 426                    }
 427                 ];
 428               ft_implicit_params = { capability = (CapDefaults [37:10-37]) };
 429               ft_ret =
 430               { et_enforced = false;
 431                 et_type =
 432                 (Rhint (root|functions.php line 40, characters 4-41),
 433                  (Tfun
 434                     { ft_arity = (Fstandard ()); ft_tparams = [];
 435                       ft_where_constraints = [];
 436                       ft_params =
 437                       [{ fp_pos = [40:14-34]; fp_name = None;
 438                          fp_type =
 439                          { et_enforced = false;
 440                            et_type =
 441                            (Rhint (root|functions.php line 40, characters 14-33),
 442                             (Tfun
 443                                { ft_arity = (Fstandard ()); ft_tparams = [];
 444                                  ft_where_constraints = [];
 445                                  ft_params =
 446                                  [{ fp_pos = [40:24-26]; fp_name = None;
 447                                     fp_type =
 448                                     { et_enforced = false;
 449                                       et_type =
 450                                       (Rhint (root|functions.php line 40, characters 24-25),
 451                                        (Tgeneric ("Tu", [])))
 452                                       };
 453                                     fp_flags =
 454                                     (make_fp_flags ~accept_disposable:false
 455                                       ~has_default:false
 456                                       ~mode:Typing_defs_core.FPnormal
 457                                       ~ifc_external:false ~ifc_can_call:false
 458                                       ~is_atom:false ~readonly:false
 459                                       ~const_function:false);
 460                                      }
 461                                    ];
 462                                  ft_implicit_params =
 463                                  { capability = (CapDefaults [40:14-34]) };
 464                                  ft_ret =
 465                                  { et_enforced = false;
 466                                    et_type =
 467                                    (Rhint (root|functions.php line 40, characters 29-32),
 468                                     (Tprim Tvoid))
 469                                    };
 470                                  ft_flags =
 471                                  (make_ft_flags FSync
 472                                    ~return_disposable:false
 473                                    ~returns_readonly:false
 474                                    ~readonly_this:false ~is_const:false);
 475                                  ft_ifc_decl = FDPolicied {PUBLIC} }))
 476                            };
 477                          fp_flags =
 478                          (make_fp_flags ~accept_disposable:false
 479                            ~has_default:false ~mode:Typing_defs_core.FPnormal
 480                            ~ifc_external:false ~ifc_can_call:false
 481                            ~is_atom:false ~readonly:false
 482                            ~const_function:false);
 483                           }
 484                         ];
 485                       ft_implicit_params =
 486                       { capability = (CapDefaults [40:4-42]) };
 487                       ft_ret =
 488                       { et_enforced = false;
 489                         et_type =
 490                         (Rhint (root|functions.php line 40, characters 37-40),
 491                          (Tprim Tvoid))
 492                         };
 493                       ft_flags =
 494                       (make_ft_flags FSync ~return_disposable:false
 495                         ~returns_readonly:false ~readonly_this:false
 496                         ~is_const:false);
 497                       ft_ifc_decl = FDPolicied {PUBLIC} }))
 498                 };
 499               ft_flags =
 500               (make_ft_flags FSync ~return_disposable:false
 501                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 502               ft_ifc_decl = FDPolicied {PUBLIC} }));
 503         fe_pos = [37:10-37]; fe_php_std_lib = false }));
 504   ("\\takes_returns_dict",
 505    (Shallow_decl_defs.Fun
 506       { Typing_defs.fe_deprecated = None;
 507         fe_type =
 508         (Rwitness (root|functions.php line 46, characters 10-27),
 509          (Tfun
 510             { ft_arity = (Fstandard ()); ft_tparams = [];
 511               ft_where_constraints = [];
 512               ft_params =
 513               [{ fp_pos = [46:48-50]; fp_name = (Some "$m");
 514                  fp_type =
 515                  { et_enforced = false;
 516                    et_type =
 517                    (Rhint (root|functions.php line 46, characters 29-46),
 518                     (Tapply (([46:29-33], "\\HH\\dict"),
 519                        [(Rhint (root|functions.php line 46, characters 34-39),
 520                          (Tprim Tstring));
 521                          (Rhint (root|functions.php line 46, characters 42-45),
 522                           (Tprim Tbool))
 523                          ]
 524                        )))
 525                    };
 526                  fp_flags =
 527                  (make_fp_flags ~accept_disposable:false ~has_default:false
 528                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 529                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 530                    ~const_function:false);
 531                   }
 532                 ];
 533               ft_implicit_params = { capability = (CapDefaults [46:10-28]) };
 534               ft_ret =
 535               { et_enforced = false;
 536                 et_type =
 537                 (Rhint (root|functions.php line 46, characters 53-70),
 538                  (Tapply (([46:53-57], "\\HH\\dict"),
 539                     [(Rhint (root|functions.php line 46, characters 58-63),
 540                       (Tprim Tstring));
 541                       (Rhint (root|functions.php line 46, characters 66-69),
 542                        (Tprim Tbool))
 543                       ]
 544                     )))
 545                 };
 546               ft_flags =
 547               (make_ft_flags FSync ~return_disposable:false
 548                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 549               ft_ifc_decl = FDPolicied {PUBLIC} }));
 550         fe_pos = [46:10-28]; fe_php_std_lib = false }));
 551   ("\\C",
 552    (Shallow_decl_defs.Class
 553       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
 554         sc_is_xhp = false; sc_has_xhp_keyword = false; sc_kind = Cnormal;
 555         sc_name = ([50:7-8], "\\C"); sc_tparams = [];
 556         sc_where_constraints = []; sc_extends = []; sc_uses = [];
 557         sc_xhp_attr_uses = []; sc_req_extends = []; sc_req_implements = [];
 558         sc_implements = []; sc_implements_dynamic = false; sc_consts = [];
 559         sc_typeconsts = []; sc_props = []; sc_sprops = [];
 560         sc_constructor = None; sc_static_methods = []; sc_methods = [];
 561         sc_user_attributes = []; sc_enum_type = None }));
 562   ("\\null_type_hint",
 563    (Shallow_decl_defs.Fun
 564       { Typing_defs.fe_deprecated = None;
 565         fe_type =
 566         (Rwitness (root|functions.php line 52, characters 10-23),
 567          (Tfun
 568             { ft_arity = (Fstandard ());
 569               ft_tparams =
 570               [{ Typing_defs_core.tp_variance = Invariant;
 571                  tp_name = ([52:25-26], "T"); tp_tparams = [];
 572                  tp_constraints =
 573                  [(Constraint_as,
 574                    (Rhint (root|functions.php line 52, characters 30-36),
 575                     (Tunion [])))
 576                    ];
 577                  tp_reified = Erased; tp_user_attributes = [] }
 578                 ];
 579               ft_where_constraints = [];
 580               ft_params =
 581               [{ fp_pos = [52:42-44]; fp_name = (Some "$x");
 582                  fp_type =
 583                  { et_enforced = false;
 584                    et_type =
 585                    (Rhint (root|functions.php line 52, characters 39-40),
 586                     (Toption
 587                        (Rhint (root|functions.php line 52, characters 40-40),
 588                         (Tgeneric ("T", [])))))
 589                    };
 590                  fp_flags =
 591                  (make_fp_flags ~accept_disposable:false ~has_default:false
 592                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 593                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 594                    ~const_function:false);
 595                   }
 596                 ];
 597               ft_implicit_params = { capability = (CapDefaults [52:10-24]) };
 598               ft_ret =
 599               { et_enforced = false;
 600                 et_type =
 601                 (Rhint (root|functions.php line 52, characters 47-50),
 602                  (Tprim Tnull))
 603                 };
 604               ft_flags =
 605               (make_ft_flags FSync ~return_disposable:false
 606                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 607               ft_ifc_decl = FDPolicied {PUBLIC} }));
 608         fe_pos = [52:10-24]; fe_php_std_lib = false }));
 609   ("\\resource_type_hint",
 610    (Shallow_decl_defs.Fun
 611       { Typing_defs.fe_deprecated = None;
 612         fe_type =
 613         (Rwitness (root|functions.php line 56, characters 10-27),
 614          (Tfun
 615             { ft_arity = (Fstandard ()); ft_tparams = [];
 616               ft_where_constraints = [];
 617               ft_params =
 618               [{ fp_pos = [56:38-40]; fp_name = (Some "$i");
 619                  fp_type =
 620                  { et_enforced = false;
 621                    et_type =
 622                    (Rhint (root|functions.php line 56, characters 29-36),
 623                     (Tprim Tresource))
 624                    };
 625                  fp_flags =
 626                  (make_fp_flags ~accept_disposable:false ~has_default:false
 627                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 628                    ~ifc_can_call:false ~is_atom:false ~readonly:false
 629                    ~const_function:false);
 630                   }
 631                 ];
 632               ft_implicit_params = { capability = (CapDefaults [56:10-28]) };
 633               ft_ret =
 634               { et_enforced = false;
 635                 et_type =
 636                 (Rhint (root|functions.php line 56, characters 43-50),
 637                  (Tprim Tresource))
 638                 };
 639               ft_flags =
 640               (make_ft_flags FSync ~return_disposable:false
 641                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 642               ft_ifc_decl = FDPolicied {PUBLIC} }));
 643         fe_pos = [56:10-28]; fe_php_std_lib = false }));
 644   ("\\noreturn_type_hint",
 645    (Shallow_decl_defs.Fun
 646       { Typing_defs.fe_deprecated = None;
 647         fe_type =
 648         (Rwitness (root|functions.php line 60, characters 10-27),
 649          (Tfun
 650             { ft_arity = (Fstandard ()); ft_tparams = [];
 651               ft_where_constraints = []; ft_params = [];
 652               ft_implicit_params = { capability = (CapDefaults [60:10-28]) };
 653               ft_ret =
 654               { et_enforced = false;
 655                 et_type =
 656                 (Rhint (root|functions.php line 60, characters 32-39),
 657                  (Tprim Tnoreturn))
 658                 };
 659               ft_flags =
 660               (make_ft_flags FSync ~return_disposable:false
 661                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 662               ft_ifc_decl = FDPolicied {PUBLIC} }));
 663         fe_pos = [60:10-28]; fe_php_std_lib = false }));
 664   ("\\variadic_function",
 665    (Shallow_decl_defs.Fun
 666       { Typing_defs.fe_deprecated = None;
 667         fe_type =
 668         (Rwitness (root|functions.php line 65, characters 10-26),
 669          (Tfun
 670             { ft_arity =
 671               (Fvariadic (
 672                  { fp_pos = [65:37-42]; fp_name = (Some "$args");
 673                    fp_type =
 674                    { et_enforced = false;
 675                      et_type =
 676                      (Rvar_param (root|functions.php line 65, characters 37-41),
 677                       Tmixed)
 678                      };
 679                    fp_flags =
 680                    (make_fp_flags ~accept_disposable:false ~has_default:false
 681                      ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 682                      ~ifc_can_call:false ~is_atom:false ~readonly:false
 683                      ~const_function:false);
 684                     }
 685                  ));
 686               ft_tparams = []; ft_where_constraints = []; ft_params = [];
 687               ft_implicit_params = { capability = (CapDefaults [65:10-27]) };
 688               ft_ret =
 689               { et_enforced = false;
 690                 et_type =
 691                 (Rhint (root|functions.php line 65, characters 45-48),
 692                  (Tprim Tvoid))
 693                 };
 694               ft_flags =
 695               (make_ft_flags FSync ~return_disposable:false
 696                 ~returns_readonly:false ~readonly_this:false ~is_const:false);
 697               ft_ifc_decl = FDPolicied {PUBLIC} }));
 698         fe_pos = [65:10-27]; fe_php_std_lib = false }))
 699   ]
 700
 701 They matched!