hphp/hack/src/errors/errors.mli

   1 (*
   2  * Copyright (c) 2015, Facebook, Inc.
   3  * All rights reserved.
   4  *
   5  * This source code is licensed under the MIT license found in the
   6  * LICENSE file in the "hack" directory of this source tree.
   7  *
   8  *)
   9
  10 type 'a error_
  11
  12 type 'a message
  13
  14 val get_message_pos : 'a message -> 'a
  15
  16 val get_message_str : 'a message -> string
  17
  18 type error = Pos.t error_ [@@deriving eq]
  19
  20 type applied_fixme = Pos.t * int
  21
  22 module type Error_category = sig
  23   type t
  24
  25   val min : int
  26
  27   val max : int
  28
  29   val of_enum : int -> t option
  30
  31   val show : t -> string
  32
  33   val err_code : t -> int
  34 end
  35
  36 (* The analysis phase that the error is coming from. *)
  37 type phase =
  38   | Init
  39   | Parsing
  40   | Naming
  41   | Decl
  42   | Typing
  43 [@@deriving eq]
  44
  45 type severity =
  46   | Warning
  47   | Error
  48
  49 type format =
  50   | Context
  51   | Raw
  52   | Highlighted
  53
  54 type typing_error_callback = ?code:int -> (Pos.t * string) list -> unit
  55
  56 type name_context =
  57   | FunctionNamespace
  58   | ConstantNamespace
  59   | TypeNamespace
  60   | TraitContext
  61   | ClassContext
  62   | RecordContext
  63
  64 module Parsing : Error_category
  65
  66 module Naming : Error_category
  67
  68 module NastCheck : Error_category
  69
  70 module Typing : Error_category
  71
  72 val read_lines : string -> string list
  73
  74 val num_digits : int -> int
  75
  76 val add_error : error -> unit
  77
  78 val add_error_with_check : error -> unit
  79
  80 (* Error codes that can be suppressed in strict mode with a FIXME based on configuration. *)
  81 val allowed_fixme_codes_strict : ISet.t ref
  82
  83 val allowed_fixme_codes_partial : ISet.t ref
  84
  85 val codes_not_raised_partial : ISet.t ref
  86
  87 (* Error codes that should be treated strictly, regardless of their file mode. *)
  88 val error_codes_treated_strictly : ISet.t ref
  89
  90 val report_pos_from_reason : bool ref
  91
  92 val is_strict_code : int -> bool
  93
  94 val set_allow_errors_in_default_path : bool -> unit
  95
  96 val is_hh_fixme : (Pos.t -> int -> bool) ref
  97
  98 val is_hh_fixme_disallowed : (Pos.t -> int -> bool) ref
  99
 100 val get_hh_fixme_pos : (Pos.t -> int -> Pos.t option) ref
 101
 102 val to_list : 'a error_ -> ('a * string) list
 103
 104 val get_code : 'a error_ -> int
 105
 106 val get_pos : error -> Pos.t
 107
 108 val get_severity : 'a error_ -> severity
 109
 110 val get_messages : 'a error_ -> 'a message list
 111
 112 val make_error : int -> (Pos.t * string) list -> error
 113
 114 val make_absolute_error :
 115   int -> (Pos.absolute * string) list -> Pos.absolute error_
 116
 117 val error_code_to_string : int -> string
 118
 119 val phase_to_string : phase -> string
 120
 121 val phase_of_string : string -> phase option
 122
 123 val name_context_to_string : name_context -> string
 124
 125 val internal_error : Pos.t -> string -> unit
 126
 127 val unimplemented_feature : Pos.t -> string -> unit
 128
 129 val experimental_feature : Pos.t -> string -> unit
 130
 131 val fixme_format : Pos.t -> unit
 132
 133 val missing_field : Pos.t -> Pos.t -> string -> typing_error_callback -> unit
 134
 135 val violated_constraint :
 136   Pos.t ->
 137   Pos.t * string ->
 138   (Pos.t * string) list ->
 139   (Pos.t * string) list ->
 140   typing_error_callback ->
 141   unit
 142
 143 val method_variance : Pos.t -> unit
 144
 145 val explain_constraint :
 146   use_pos:Pos.t ->
 147   definition_pos:Pos.t ->
 148   param_name:string ->
 149   (Pos.t * string) list ->
 150   unit
 151
 152 val explain_where_constraint :
 153   in_class:bool ->
 154   use_pos:Pos.t ->
 155   definition_pos:Pos.t ->
 156   (Pos.t * string) list ->
 157   unit
 158
 159 val explain_tconst_where_constraint :
 160   use_pos:Pos.t -> definition_pos:Pos.t -> (Pos.t * string) list -> unit
 161
 162 val abstract_tconst_not_allowed : Pos.t -> Pos.t * string -> unit
 163
 164 val unexpected_arrow : Pos.t -> string -> unit
 165
 166 val missing_arrow : Pos.t -> string -> unit
 167
 168 val disallowed_xhp_type : Pos.t -> string -> unit
 169
 170 val name_is_reserved : string -> Pos.t -> unit
 171
 172 val dollardollar_unused : Pos.t -> unit
 173
 174 val mutating_const_property : Pos.t -> unit
 175
 176 val self_const_parent_not : Pos.t -> unit
 177
 178 val overriding_prop_const_mismatch :
 179   Pos.t -> bool -> Pos.t -> bool -> typing_error_callback -> unit
 180
 181 val method_name_already_bound : Pos.t -> string -> unit
 182
 183 val error_name_already_bound : string -> string -> Pos.t -> Pos.t -> unit
 184
 185 val error_class_attribute_already_bound :
 186   string -> string -> Pos.t -> Pos.t -> unit
 187
 188 val unbound_name : Pos.t -> string -> name_context -> unit
 189
 190 val invalid_fun_pointer : Pos.t -> string -> unit
 191
 192 val undefined : in_rx_scope:bool -> Pos.t -> string -> string option -> unit
 193
 194 val this_reserved : Pos.t -> unit
 195
 196 val start_with_T : Pos.t -> unit
 197
 198 val already_bound : Pos.t -> string -> unit
 199
 200 val unexpected_typedef : Pos.t -> Pos.t -> name_context -> unit
 201
 202 val fd_name_already_bound : Pos.t -> unit
 203
 204 val mk_fd_name_already_bound : Pos.t -> error
 205
 206 val repeated_record_field : string -> Pos.t -> Pos.t -> unit
 207
 208 val unexpected_record_field_name :
 209   field_name:string ->
 210   field_pos:Pos.t ->
 211   record_name:string ->
 212   decl_pos:Pos.t ->
 213   unit
 214
 215 val missing_record_field_name :
 216   field_name:string ->
 217   new_pos:Pos.t ->
 218   record_name:string ->
 219   field_decl_pos:Pos.t ->
 220   unit
 221
 222 val type_not_record : string -> Pos.t -> unit
 223
 224 val primitive_toplevel : Pos.t -> unit
 225
 226 val primitive_invalid_alias : Pos.t -> string -> string -> unit
 227
 228 val dynamic_new_in_strict_mode : Pos.t -> unit
 229
 230 val xhp_optional_required_attr : Pos.t -> string -> unit
 231
 232 val xhp_required_with_default : Pos.t -> string -> unit
 233
 234 val array_typehints_disallowed : Pos.t -> unit
 235
 236 val wildcard_hint_disallowed : Pos.t -> unit
 237
 238 val wildcard_param_disallowed : Pos.t -> unit
 239
 240 val object_cast : Pos.t -> unit
 241
 242 val this_no_argument : Pos.t -> unit
 243
 244 val this_hint_outside_class : Pos.t -> unit
 245
 246 val this_type_forbidden : Pos.t -> unit
 247
 248 val nonstatic_property_with_lsb : Pos.t -> unit
 249
 250 val lowercase_this : Pos.t -> string -> unit
 251
 252 val classname_param : Pos.t -> unit
 253
 254 val typaram_applied_to_type : Pos.t -> string -> unit
 255
 256 val tparam_with_tparam : Pos.t -> string -> unit
 257
 258 val shadowed_type_param : Pos.t -> Pos.t -> string -> unit
 259
 260 val missing_typehint : Pos.t -> unit
 261
 262 val expected_variable : Pos.t -> unit
 263
 264 val clone_too_many_arguments : Pos.t -> unit
 265
 266 val naming_too_few_arguments : Pos.t -> unit
 267
 268 val naming_too_many_arguments : Pos.t -> unit
 269
 270 val expected_collection : Pos.t -> string -> unit
 271
 272 val illegal_CLASS : Pos.t -> unit
 273
 274 val illegal_TRAIT : Pos.t -> unit
 275
 276 val nullsafe_property_write_context : Pos.t -> unit
 277
 278 val illegal_fun : Pos.t -> unit
 279
 280 val illegal_member_variable_class : Pos.t -> unit
 281
 282 val illegal_meth_fun : Pos.t -> unit
 283
 284 val illegal_inst_meth : Pos.t -> unit
 285
 286 val illegal_meth_caller : Pos.t -> unit
 287
 288 val illegal_class_meth : Pos.t -> unit
 289
 290 val class_meth_non_final_self : Pos.t -> string -> unit
 291
 292 val class_meth_non_final_CLASS : Pos.t -> bool -> string -> unit
 293
 294 val assert_arity : Pos.t -> unit
 295
 296 val unexpected_ty_in_tast :
 297   Pos.t -> actual_ty:string -> expected_ty:string -> unit
 298
 299 val uninstantiable_class :
 300   Pos.t -> Pos.t -> string -> (Pos.t * string) list -> unit
 301
 302 val new_abstract_record : Pos.t * string -> unit
 303
 304 val abstract_const_usage : Pos.t -> Pos.t -> string -> unit
 305
 306 val concrete_const_interface_override :
 307   Pos.t -> Pos.t -> string -> string -> typing_error_callback -> unit
 308
 309 val const_without_typehint : Pos.t * string -> unit
 310
 311 val prop_without_typehint : string -> Pos.t * string -> unit
 312
 313 val illegal_constant : Pos.t -> unit
 314
 315 val parsing_error : Pos.t * string -> unit
 316
 317 val xhp_parsing_error : Pos.t * string -> unit
 318
 319 val format_string :
 320   Pos.t -> string -> string -> Pos.t -> string -> string -> unit
 321
 322 val expected_literal_format_string : Pos.t -> unit
 323
 324 val re_prefixed_non_string : Pos.t -> string -> unit
 325
 326 val bad_regex_pattern : Pos.t -> string -> unit
 327
 328 val generic_array_strict : Pos.t -> unit
 329
 330 val option_return_only_typehint : Pos.t -> [< `void | `noreturn ] -> unit
 331
 332 val tuple_syntax : Pos.t -> unit
 333
 334 val redeclaring_missing_method : Pos.t -> string -> unit
 335
 336 val expecting_type_hint : Pos.t -> unit
 337
 338 val expecting_type_hint_variadic : Pos.t -> unit
 339
 340 val expecting_return_type_hint : Pos.t -> unit
 341
 342 val expecting_awaitable_return_type_hint : Pos.t -> unit
 343
 344 val field_kinds : Pos.t -> Pos.t -> unit
 345
 346 val unbound_name_typing : Pos.t -> string -> unit
 347
 348 val did_you_mean_naming : Pos.t -> string -> Pos.t -> string -> unit
 349
 350 val previous_default : Pos.t -> unit
 351
 352 val return_only_typehint : Pos.t -> [< `void | `noreturn ] -> unit
 353
 354 val unexpected_type_arguments : Pos.t -> unit
 355
 356 val too_many_type_arguments : Pos.t -> unit
 357
 358 val return_in_void : Pos.t -> Pos.t -> unit
 359
 360 val this_var_outside_class : Pos.t -> unit
 361
 362 val unbound_global : Pos.t -> unit
 363
 364 val private_inst_meth : def_pos:Pos.t -> use_pos:Pos.t -> unit
 365
 366 val protected_inst_meth : def_pos:Pos.t -> use_pos:Pos.t -> unit
 367
 368 val private_class_meth : def_pos:Pos.t -> use_pos:Pos.t -> unit
 369
 370 val protected_class_meth : def_pos:Pos.t -> use_pos:Pos.t -> unit
 371
 372 val array_cast : Pos.t -> unit
 373
 374 val string_cast : Pos.t -> string -> unit
 375
 376 val static_outside_class : Pos.t -> unit
 377
 378 val self_outside_class : Pos.t -> unit
 379
 380 val new_inconsistent_construct :
 381   Pos.t -> Pos.t * string -> [< `static | `classname ] -> unit
 382
 383 val undefined_parent : Pos.t -> unit
 384
 385 val parent_outside_class : Pos.t -> unit
 386
 387 val parent_abstract_call : string -> Pos.t -> Pos.t -> unit
 388
 389 val self_abstract_call : string -> Pos.t -> Pos.t -> unit
 390
 391 val classname_abstract_call : string -> string -> Pos.t -> Pos.t -> unit
 392
 393 val static_synthetic_method : string -> string -> Pos.t -> Pos.t -> unit
 394
 395 val isset_in_strict : Pos.t -> unit
 396
 397 val unset_nonidx_in_strict : Pos.t -> (Pos.t * string) list -> unit
 398
 399 val unpacking_disallowed_builtin_function : Pos.t -> string -> unit
 400
 401 val invalid_destructure :
 402   Pos.t -> Pos.t -> string -> typing_error_callback -> unit
 403
 404 val unpack_array_required_argument :
 405   Pos.t -> Pos.t -> typing_error_callback -> unit
 406
 407 val unpack_array_variadic_argument :
 408   Pos.t -> Pos.t -> typing_error_callback -> unit
 409
 410 val array_get_arity : Pos.t -> string -> Pos.t -> unit
 411
 412 val typing_error : Pos.t -> string -> unit
 413
 414 val undefined_field :
 415   use_pos:Pos.t -> name:string -> shape_type_pos:Pos.t -> unit
 416
 417 val array_access_read : Pos.t -> Pos.t -> string -> unit
 418
 419 val array_access_write : Pos.t -> Pos.t -> string -> unit
 420
 421 val keyset_set : Pos.t -> Pos.t -> unit
 422
 423 val array_append : Pos.t -> Pos.t -> string -> unit
 424
 425 val const_mutation : Pos.t -> Pos.t -> string -> unit
 426
 427 val expected_class : ?suffix:string -> Pos.t -> unit
 428
 429 val unknown_type : string -> Pos.t -> (Pos.t * string) list -> unit
 430
 431 val smember_not_found :
 432   [< `class_constant | `class_variable | `static_method | `class_typeconst ] ->
 433   Pos.t ->
 434   Pos.t * string ->
 435   string ->
 436   [< `closest of Pos.t * string | `did_you_mean of Pos.t * string | `no_hint ] ->
 437   typing_error_callback ->
 438   unit
 439
 440 val member_not_found :
 441   [< `property | `method_ ] ->
 442   Pos.t ->
 443   Pos.t * string ->
 444   string ->
 445   [< `closest of Pos.t * string | `did_you_mean of Pos.t * string | `no_hint ] ->
 446   (Pos.t * string) list ->
 447   typing_error_callback ->
 448   unit
 449
 450 val parent_in_trait : Pos.t -> unit
 451
 452 val parent_undefined : Pos.t -> unit
 453
 454 val constructor_no_args : Pos.t -> unit
 455
 456 val visibility : Pos.t -> string -> Pos.t -> string -> unit
 457
 458 val typing_too_many_args :
 459   int -> int -> Pos.t -> Pos.t -> typing_error_callback option -> unit
 460
 461 val typing_too_few_args :
 462   int -> int -> Pos.t -> Pos.t -> typing_error_callback option -> unit
 463
 464 val bad_call : Pos.t -> string -> unit
 465
 466 val extend_final : Pos.t -> Pos.t -> string -> unit
 467
 468 val extend_non_abstract_record : string -> Pos.t -> Pos.t -> unit
 469
 470 val extend_sealed : Pos.t -> Pos.t -> string -> string -> string -> unit
 471
 472 val trait_prop_const_class : Pos.t -> string -> unit
 473
 474 val extend_ppl :
 475   Pos.t -> string -> bool -> Pos.t -> string -> string -> string -> unit
 476
 477 val read_before_write : Pos.t * string -> unit
 478
 479 val implement_abstract :
 480   is_final:bool -> Pos.t -> Pos.t -> string -> string -> unit
 481
 482 val generic_static : Pos.t -> string -> unit
 483
 484 val fun_too_many_args : Pos.t -> Pos.t -> typing_error_callback -> unit
 485
 486 val fun_too_few_args : Pos.t -> Pos.t -> typing_error_callback -> unit
 487
 488 val fun_unexpected_nonvariadic : Pos.t -> Pos.t -> typing_error_callback -> unit
 489
 490 val fun_variadicity_hh_vs_php56 :
 491   Pos.t -> Pos.t -> typing_error_callback -> unit
 492
 493 val expected_tparam :
 494   use_pos:Pos.t ->
 495   definition_pos:Pos.t ->
 496   int ->
 497   typing_error_callback option ->
 498   unit
 499
 500 val object_string : Pos.t -> Pos.t -> unit
 501
 502 val object_string_deprecated : Pos.t -> unit
 503
 504 val cyclic_typedef : Pos.t -> Pos.t -> unit
 505
 506 val type_arity_mismatch :
 507   Pos.t -> string -> Pos.t -> string -> typing_error_callback -> unit
 508
 509 val this_final : Pos.t * string -> Pos.t -> (Pos.t * string) list
 510
 511 val exact_class_final : Pos.t * string -> Pos.t -> (Pos.t * string) list
 512
 513 val fun_arity_mismatch : Pos.t -> Pos.t -> typing_error_callback -> unit
 514
 515 val discarded_awaitable : Pos.t -> Pos.t -> unit
 516
 517 val unify_error : typing_error_callback
 518
 519 val unify_error_at : Pos.t -> typing_error_callback
 520
 521 val index_type_mismatch : typing_error_callback
 522
 523 val expected_stringlike : typing_error_callback
 524
 525 val type_constant_mismatch : typing_error_callback -> typing_error_callback
 526
 527 val class_constant_type_mismatch :
 528   typing_error_callback -> typing_error_callback
 529
 530 val constant_does_not_match_enum_type : typing_error_callback
 531
 532 val enum_underlying_type_must_be_arraykey : typing_error_callback
 533
 534 val enum_constraint_must_be_arraykey : typing_error_callback
 535
 536 val enum_subtype_must_have_compatible_constraint : typing_error_callback
 537
 538 val parameter_default_value_wrong_type : typing_error_callback
 539
 540 val newtype_alias_must_satisfy_constraint : typing_error_callback
 541
 542 val bad_function_typevar : typing_error_callback
 543
 544 val bad_class_typevar : typing_error_callback
 545
 546 val bad_method_typevar : typing_error_callback
 547
 548 val missing_return : typing_error_callback
 549
 550 val inout_return_type_mismatch : typing_error_callback
 551
 552 val class_constant_value_does_not_match_hint : typing_error_callback
 553
 554 val class_property_initializer_type_does_not_match_hint : typing_error_callback
 555
 556 val xhp_attribute_does_not_match_hint : typing_error_callback
 557
 558 val pocket_universes_typing : typing_error_callback
 559
 560 val record_init_value_does_not_match_hint : typing_error_callback
 561
 562 val static_redeclared_as_dynamic :
 563   Pos.t -> Pos.t -> string -> elt_type:[ `Method | `Property ] -> unit
 564
 565 val dynamic_redeclared_as_static :
 566   Pos.t -> Pos.t -> string -> elt_type:[ `Method | `Property ] -> unit
 567
 568 val null_member_read :
 569   is_method:bool -> string -> Pos.t -> (Pos.t * string) list -> unit
 570
 571 val null_member_write :
 572   is_method:bool -> string -> Pos.t -> (Pos.t * string) list -> unit
 573
 574 val top_member_read :
 575   is_method:bool ->
 576   is_nullable:bool ->
 577   string ->
 578   Pos.t ->
 579   string ->
 580   Pos.t ->
 581   unit
 582
 583 val top_member_write :
 584   is_method:bool ->
 585   is_nullable:bool ->
 586   string ->
 587   Pos.t ->
 588   string ->
 589   Pos.t ->
 590   unit
 591
 592 val non_object_member_read :
 593   is_method:bool ->
 594   string ->
 595   Pos.t ->
 596   string ->
 597   Pos.t ->
 598   typing_error_callback ->
 599   unit
 600
 601 val non_object_member_write :
 602   is_method:bool ->
 603   string ->
 604   Pos.t ->
 605   string ->
 606   Pos.t ->
 607   typing_error_callback ->
 608   unit
 609
 610 val unknown_object_member :
 611   is_method:bool -> string -> Pos.t -> (Pos.t * string) list -> unit
 612
 613 val non_class_member :
 614   is_method:bool -> string -> Pos.t -> string -> Pos.t -> unit
 615
 616 val ambiguous_member :
 617   is_method:bool -> string -> Pos.t -> string -> Pos.t -> unit
 618
 619 val null_container : Pos.t -> (Pos.t * string) list -> unit
 620
 621 val option_mixed : Pos.t -> unit
 622
 623 val option_null : Pos.t -> unit
 624
 625 val declared_covariant : Pos.t -> Pos.t -> (Pos.t * string) list -> unit
 626
 627 val declared_contravariant : Pos.t -> Pos.t -> (Pos.t * string) list -> unit
 628
 629 val static_property_type_generic_param :
 630   class_pos:Pos.t -> var_type_pos:Pos.t -> generic_pos:Pos.t -> unit
 631
 632 val contravariant_this : Pos.t -> string -> string -> unit
 633
 634 val wrong_extend_kind :
 635   parent_pos:Pos.t ->
 636   parent_kind:Ast_defs.class_kind ->
 637   parent_name:string ->
 638   child_pos:Pos.t ->
 639   child_kind:Ast_defs.class_kind ->
 640   child_name:string ->
 641   unit
 642
 643 val unsatisfied_req : Pos.t -> string -> Pos.t -> unit
 644
 645 val cyclic_class_def : SSet.t -> Pos.t -> unit
 646
 647 val cyclic_record_def : string list -> Pos.t -> unit
 648
 649 val trait_reuse : Pos.t -> string -> Pos.t * string -> string -> unit
 650
 651 val trait_reuse_inside_class : Pos.t * string -> string -> Pos.t list -> unit
 652
 653 val invalid_is_as_expression_hint :
 654   string -> Pos.t -> (Pos.t * string) list -> unit
 655
 656 val invalid_enforceable_type :
 657   string -> Pos.t * string -> Pos.t -> (Pos.t * string) list -> unit
 658
 659 val reifiable_attr : Pos.t -> string -> Pos.t -> (Pos.t * string) list -> unit
 660
 661 val invalid_newable_type_argument : Pos.t * string -> Pos.t -> unit
 662
 663 val invalid_newable_type_param_constraints :
 664   Pos.t * string -> string list -> unit
 665
 666 val override_final :
 667   parent:Pos.t -> child:Pos.t -> on_error:typing_error_callback option -> unit
 668
 669 val override_memoizelsb :
 670   parent:Pos.t -> child:Pos.t -> typing_error_callback -> unit
 671
 672 val override_lsb :
 673   member_name:string ->
 674   parent:Pos.t ->
 675   child:Pos.t ->
 676   typing_error_callback ->
 677   unit
 678
 679 val should_be_override : Pos.t -> string -> string -> unit
 680
 681 val override_per_trait : Pos.t * string -> string -> Pos.t -> unit
 682
 683 val missing_assign : Pos.t -> unit
 684
 685 val private_override : Pos.t -> string -> string -> unit
 686
 687 val invalid_memoized_param : Pos.t -> (Pos.t * string) list -> unit
 688
 689 val no_construct_parent : Pos.t -> unit
 690
 691 val constructor_required : Pos.t * string -> string list -> unit
 692
 693 val not_initialized : Pos.t * string -> (Pos.t * string) list -> unit
 694
 695 val call_before_init : Pos.t -> string -> unit
 696
 697 val type_arity : Pos.t -> Pos.t -> expected:int -> actual:int -> unit
 698
 699 val invalid_req_implements : Pos.t -> unit
 700
 701 val invalid_req_extends : Pos.t -> unit
 702
 703 val abstract_with_body : Pos.t * 'a -> unit
 704
 705 val not_abstract_without_body : Pos.t * 'a -> unit
 706
 707 val return_in_gen : Pos.t -> unit
 708
 709 val return_in_finally : Pos.t -> unit
 710
 711 val toplevel_break : Pos.t -> unit
 712
 713 val toplevel_continue : Pos.t -> unit
 714
 715 val continue_in_switch : Pos.t -> unit
 716
 717 val await_in_sync_function : Pos.t -> unit
 718
 719 val await_in_coroutine : Pos.t -> unit
 720
 721 val yield_in_coroutine : Pos.t -> unit
 722
 723 val suspend_outside_of_coroutine : Pos.t -> unit
 724
 725 val suspend_in_finally : Pos.t -> unit
 726
 727 val static_memoized_function : Pos.t -> unit
 728
 729 val magic : Pos.t * string -> unit
 730
 731 val non_interface : Pos.t -> string -> string -> unit
 732
 733 val toString_returns_string : Pos.t -> unit
 734
 735 val toString_visibility : Pos.t -> unit
 736
 737 val uses_non_trait : Pos.t -> string -> string -> unit
 738
 739 val requires_non_class : Pos.t -> string -> string -> unit
 740
 741 val requires_final_class : Pos.t -> string -> unit
 742
 743 val abstract_body : Pos.t -> unit
 744
 745 val interface_with_member_variable : Pos.t -> unit
 746
 747 val interface_with_static_member_variable : Pos.t -> unit
 748
 749 val illegal_function_name : Pos.t -> string -> unit
 750
 751 val case_fallthrough : Pos.t -> Pos.t -> unit
 752
 753 val default_fallthrough : Pos.t -> unit
 754
 755 val visibility_extends :
 756   string -> Pos.t -> Pos.t -> string -> typing_error_callback -> unit
 757
 758 val member_not_implemented : string -> Pos.t -> Pos.t -> Pos.t -> unit
 759
 760 val bad_decl_override :
 761   Pos.t -> string -> Pos.t -> string -> (Pos.t * string) list -> unit
 762
 763 val bad_method_override :
 764   Pos.t -> string -> (Pos.t * string) list -> typing_error_callback -> unit
 765
 766 val bad_prop_override :
 767   Pos.t -> string -> (Pos.t * string) list -> typing_error_callback -> unit
 768
 769 val bad_enum_decl : Pos.t -> (Pos.t * string) list -> unit
 770
 771 val missing_constructor : Pos.t -> typing_error_callback -> unit
 772
 773 val enum_constant_type_bad : Pos.t -> Pos.t -> string -> Pos.t list -> unit
 774
 775 val enum_type_bad : Pos.t -> string -> Pos.t list -> unit
 776
 777 val enum_type_typedef_nonnull : Pos.t -> unit
 778
 779 val enum_switch_redundant : string -> Pos.t -> Pos.t -> unit
 780
 781 val enum_switch_nonexhaustive : Pos.t -> string list -> Pos.t -> unit
 782
 783 val enum_switch_redundant_default : Pos.t -> Pos.t -> unit
 784
 785 val enum_switch_not_const : Pos.t -> unit
 786
 787 val enum_switch_wrong_class : Pos.t -> string -> string -> unit
 788
 789 val invalid_shape_field_name : Pos.t -> unit
 790
 791 val invalid_shape_field_name_empty : Pos.t -> unit
 792
 793 val invalid_shape_field_type : Pos.t -> Pos.t -> string -> Pos.t list -> unit
 794
 795 val invalid_shape_field_literal : Pos.t -> Pos.t -> unit
 796
 797 val invalid_shape_field_const : Pos.t -> Pos.t -> unit
 798
 799 val shape_field_class_mismatch : Pos.t -> Pos.t -> string -> string -> unit
 800
 801 val shape_field_type_mismatch : Pos.t -> Pos.t -> string -> string -> unit
 802
 803 val shape_fields_unknown : Pos.t -> Pos.t -> typing_error_callback -> unit
 804
 805 val invalid_shape_remove_key : Pos.t -> unit
 806
 807 val using_internal_class : Pos.t -> string -> unit
 808
 809 val nullsafe_not_needed : Pos.t -> (Pos.t * string) list -> unit
 810
 811 val trivial_strict_eq :
 812   Pos.t ->
 813   string ->
 814   (Pos.t * string) list ->
 815   (Pos.t * string) list ->
 816   Pos.t list ->
 817   Pos.t list ->
 818   unit
 819
 820 val trivial_strict_not_nullable_compare_null :
 821   Pos.t -> string -> (Pos.t * string) list -> unit
 822
 823 val void_usage : Pos.t -> (Pos.t * string) list -> unit
 824
 825 val noreturn_usage : Pos.t -> (Pos.t * string) list -> unit
 826
 827 val generic_at_runtime : Pos.t -> string -> unit
 828
 829 val generics_not_allowed : Pos.t -> unit
 830
 831 val interface_with_partial_typeconst : Pos.t -> unit
 832
 833 val multiple_xhp_category : Pos.t -> unit
 834
 835 val mk_multiple_xhp_category : Pos.t -> error
 836
 837 val not_abstract_without_typeconst : Pos.t * string -> unit
 838
 839 val mk_not_abstract_without_typeconst : Pos.t * string -> error
 840
 841 val typeconst_depends_on_external_tparam : Pos.t -> Pos.t -> string -> unit
 842
 843 val invalid_type_access_root : Pos.t * string -> unit
 844
 845 val duplicate_user_attribute : Pos.t * string -> Pos.t -> unit
 846
 847 val unbound_attribute_name : Pos.t -> string -> unit
 848
 849 val attribute_too_many_arguments : Pos.t -> string -> int -> unit
 850
 851 val attribute_too_few_arguments : Pos.t -> string -> int -> unit
 852
 853 val attribute_param_type : Pos.t -> string -> unit
 854
 855 val deprecated_use : Pos.t -> Pos.t -> string -> unit
 856
 857 val cannot_declare_constant :
 858   [< `enum | `trait | `record ] -> Pos.t -> Pos.t * string -> unit
 859
 860 val ambiguous_inheritance :
 861   Pos.t -> string -> string -> error -> typing_error_callback -> unit
 862
 863 val duplicate_interface : Pos.t -> string -> Pos.t list -> unit
 864
 865 val cyclic_typeconst : Pos.t -> string list -> unit
 866
 867 val abstract_concrete_override :
 868   Pos.t -> Pos.t -> [< `method_ | `typeconst | `constant | `property ] -> unit
 869
 870 val local_variable_modified_and_used : Pos.t -> Pos.t list -> unit
 871
 872 val local_variable_modified_twice : Pos.t -> Pos.t list -> unit
 873
 874 val assign_during_case : Pos.t -> unit
 875
 876 val cyclic_enum_constraint : Pos.t -> unit
 877
 878 val invalid_classname : Pos.t -> unit
 879
 880 val illegal_type_structure : Pos.t -> string -> unit
 881
 882 val illegal_typeconst_direct_access : Pos.t -> unit
 883
 884 val override_no_default_typeconst : Pos.t -> Pos.t -> unit
 885
 886 val unification_cycle : Pos.t -> string -> unit
 887
 888 val eq_incompatible_types :
 889   Pos.t -> (Pos.t * string) list -> (Pos.t * string) list -> unit
 890
 891 val comparison_invalid_types :
 892   Pos.t -> (Pos.t * string) list -> (Pos.t * string) list -> unit
 893
 894 val final_property : Pos.t -> unit
 895
 896 val invalid_new_disposable : Pos.t -> unit
 897
 898 val invalid_disposable_hint : Pos.t -> string -> unit
 899
 900 val invalid_disposable_return_hint : Pos.t -> string -> unit
 901
 902 val invalid_return_disposable : Pos.t -> unit
 903
 904 val invalid_switch_case_value_type : Pos.t -> string -> string -> unit
 905
 906 val to_json : Pos.absolute error_ -> Hh_json.json
 907
 908 val convert_errors_to_string :
 909   ?include_filename:bool -> error list -> string list
 910
 911 val combining_sort : 'a list -> f:('a -> string) -> 'a list
 912
 913 val to_string : ?indent:bool -> Pos.absolute error_ -> string
 914
 915 val format_summary :
 916   format -> 'a error_ list -> int -> int option -> string option
 917
 918 val try_ : (unit -> 'a) -> (error -> 'a) -> 'a
 919
 920 val try_with_result : (unit -> 'a) -> ('a -> error -> 'a) -> 'a
 921
 922 val try_with_error : (unit -> 'a) -> (unit -> 'a) -> 'a
 923
 924 (* The type of collections of errors *)
 925 type t [@@deriving eq]
 926
 927 val do_ : (unit -> 'a) -> t * 'a
 928
 929 val do_with_context : Relative_path.t -> phase -> (unit -> 'a) -> t * 'a
 930
 931 val run_in_context : Relative_path.t -> phase -> (unit -> 'a) -> 'a
 932
 933 val run_in_decl_mode : Relative_path.t -> (unit -> 'a) -> 'a
 934
 935 (* Run this function with span for the definition being checked.
 936  * This is used to check that the primary position for errors is not located
 937  * outside the span of the definition.
 938  *)
 939 val run_with_span : Pos.t -> (unit -> 'a) -> 'a
 940
 941 (** ignore errors produced by function passed in argument. *)
 942 val ignore_ : (unit -> 'a) -> 'a
 943
 944 val try_when : (unit -> 'a) -> when_:(unit -> bool) -> do_:(error -> unit) -> 'a
 945
 946 val has_no_errors : (unit -> 'a) -> bool
 947
 948 val currently_has_errors : unit -> bool
 949
 950 val to_absolute : error -> Pos.absolute error_
 951
 952 val to_absolute_for_test : error -> Pos.absolute error_
 953
 954 val merge : t -> t -> t
 955
 956 val merge_into_current : t -> unit
 957
 958 val incremental_update_set :
 959   old:t -> new_:t -> rechecked:Relative_path.Set.t -> phase -> t
 960
 961 val incremental_update_map :
 962   old:t -> new_:t -> rechecked:'a Relative_path.Map.t -> phase -> t
 963
 964 val empty : t
 965
 966 val is_empty : t -> bool
 967
 968 val count : t -> int
 969
 970 val get_error_list : t -> error list
 971
 972 val get_sorted_error_list : t -> error list
 973
 974 val from_error_list : error list -> t
 975
 976 val iter_error_list : (error -> unit) -> t -> unit
 977
 978 val fold_errors :
 979   ?phase:phase -> t -> init:'a -> f:(Relative_path.t -> error -> 'a -> 'a) -> 'a
 980
 981 val fold_errors_in :
 982   ?phase:phase ->
 983   t ->
 984   source:Relative_path.t ->
 985   init:'a ->
 986   f:(error -> 'a -> 'a) ->
 987   'a
 988
 989 val get_failed_files : t -> phase -> Relative_path.Set.t
 990
 991 val sort : error list -> error list
 992
 993 val get_applied_fixmes : t -> applied_fixme list
 994
 995 val too_few_type_arguments : Pos.t -> unit
 996
 997 val required_field_is_optional :
 998   Pos.t -> Pos.t -> string -> typing_error_callback -> unit
 999
1000 val array_get_with_optional_field : Pos.t -> Pos.t -> string -> unit
1001
1002 val goto_label_already_defined : string -> Pos.t -> Pos.t -> unit
1003
1004 val goto_label_undefined : Pos.t -> string -> unit
1005
1006 val goto_label_defined_in_finally : Pos.t -> unit
1007
1008 val goto_invoked_in_finally : Pos.t -> unit
1009
1010 val method_needs_visibility : Pos.t -> unit
1011
1012 val mk_method_needs_visibility : Pos.t -> error
1013
1014 val dynamic_class_name_in_strict_mode : Pos.t -> unit
1015
1016 val reading_from_append : Pos.t -> unit
1017
1018 val nullable_cast : Pos.t -> string -> Pos.t -> unit
1019
1020 val non_call_argument_in_suspend : Pos.t -> (Pos.t * string) list -> unit
1021
1022 val non_coroutine_call_in_suspend : Pos.t -> (Pos.t * string) list -> unit
1023
1024 val coroutine_call_outside_of_suspend : Pos.t -> unit
1025
1026 val function_is_not_coroutine : Pos.t -> string -> unit
1027
1028 val coroutinness_mismatch :
1029   bool -> Pos.t -> Pos.t -> typing_error_callback -> unit
1030
1031 val invalid_ppl_call : Pos.t -> string -> unit
1032
1033 val invalid_ppl_static_call : Pos.t -> string -> unit
1034
1035 val ppl_meth_pointer : Pos.t -> string -> unit
1036
1037 val coroutine_outside_experimental : Pos.t -> unit
1038
1039 val return_disposable_mismatch :
1040   bool -> Pos.t -> Pos.t -> typing_error_callback -> unit
1041
1042 val fun_reactivity_mismatch :
1043   Pos.t -> string -> Pos.t -> string -> typing_error_callback -> unit
1044
1045 val reassign_mutable_var : in_collection:bool -> Pos.t -> unit
1046
1047 val mutable_call_on_immutable : Pos.t -> Pos.t -> Pos.t option -> unit
1048
1049 val mutable_argument_mismatch : Pos.t -> Pos.t -> unit
1050
1051 val invalid_mutable_return_result : Pos.t -> Pos.t -> string -> unit
1052
1053 val mutable_return_result_mismatch :
1054   bool -> Pos.t -> Pos.t -> typing_error_callback -> unit
1055
1056 val mutable_attribute_on_function : Pos.t -> unit
1057
1058 val mutable_methods_must_be_reactive : Pos.t -> string -> unit
1059
1060 val mutable_return_annotated_decls_must_be_reactive :
1061   string -> Pos.t -> string -> unit
1062
1063 val pu_expansion : Pos.t -> string -> string -> unit
1064
1065 val pu_typing : Pos.t -> string -> string -> unit
1066
1067 val pu_typing_not_supported : Pos.t -> unit
1068
1069 val pu_typing_invalid_upper_bounds : Pos.t -> unit
1070
1071 val pu_typing_refinement : Pos.t -> unit
1072
1073 val pu_atom_missing : Pos.t -> string -> string -> string -> string -> unit
1074
1075 val pu_atom_unknown : Pos.t -> string -> string -> string -> string -> unit
1076
1077 val pu_localize : Pos.t -> string -> string -> unit
1078
1079 val pu_invalid_access : Pos.t -> string -> unit
1080
1081 val pu_reserved_syntax : Pos.t -> unit
1082
1083 val pu_case_in_trait : Pos.t -> string -> unit
1084
1085 val pu_attribute_invalid : Pos.t -> unit
1086
1087 val pu_attribute_err : Pos.t -> string -> string -> string -> string -> unit
1088
1089 val pu_attribute_dup : Pos.t -> string -> string -> unit
1090
1091 val pu_attribute_suggestion : Pos.t -> string -> string -> unit
1092
1093 val pu_attribute_not_necessary : Pos.t -> string -> unit
1094
1095 val lvar_in_obj_get : Pos.t -> unit
1096
1097 val invalid_freeze_target : Pos.t -> Pos.t -> string -> unit
1098
1099 val invalid_freeze_use : Pos.t -> unit
1100
1101 val freeze_in_nonreactive_context : Pos.t -> unit
1102
1103 val this_as_lexical_variable : Pos.t -> unit
1104
1105 val dollardollar_lvalue : Pos.t -> unit
1106
1107 val duplicate_using_var : Pos.t -> unit
1108
1109 val illegal_disposable : Pos.t -> string -> unit
1110
1111 val escaping_disposable : Pos.t -> unit
1112
1113 val escaping_disposable_parameter : Pos.t -> unit
1114
1115 val escaping_this : Pos.t -> unit
1116
1117 val must_extend_disposable : Pos.t -> unit
1118
1119 val accept_disposable_invariant :
1120   Pos.t -> Pos.t -> typing_error_callback -> unit
1121
1122 val inout_params_in_coroutine : Pos.t -> unit
1123
1124 val inout_params_special : Pos.t -> unit
1125
1126 val inout_params_memoize : Pos.t -> Pos.t -> unit
1127
1128 val obj_set_reactive : Pos.t -> unit
1129
1130 val static_property_in_reactive_context : Pos.t -> unit
1131
1132 val inout_annotation_missing : Pos.t -> Pos.t -> unit
1133
1134 val inout_annotation_unexpected : Pos.t -> Pos.t -> bool -> unit
1135
1136 val inoutness_mismatch : Pos.t -> Pos.t -> typing_error_callback -> unit
1137
1138 val xhp_required : Pos.t -> string -> (Pos.t * string) list -> unit
1139
1140 val illegal_xhp_child : Pos.t -> (Pos.t * string) list -> unit
1141
1142 val missing_xhp_required_attr : Pos.t -> string -> (Pos.t * string) list -> unit
1143
1144 val nonreactive_function_call : Pos.t -> Pos.t -> string -> Pos.t option -> unit
1145
1146 val nonreactive_indexing : bool -> Pos.t -> unit
1147
1148 val inout_argument_bad_expr : Pos.t -> unit
1149
1150 val inout_argument_bad_type : Pos.t -> (Pos.t * string) list -> unit
1151
1152 val nonreactive_call_from_shallow :
1153   Pos.t -> Pos.t -> string -> Pos.t option -> unit
1154
1155 val illegal_destructor : Pos.t -> unit
1156
1157 val rx_enabled_in_non_rx_context : Pos.t -> unit
1158
1159 val ambiguous_lambda : Pos.t -> (Pos.t * string) list -> unit
1160
1161 val ellipsis_strict_mode :
1162   require:[< `Param_name | `Type | `Type_and_param_name ] -> Pos.t -> unit
1163
1164 val untyped_lambda_strict_mode : Pos.t -> unit
1165
1166 val multiple_conditionally_reactive_annotations : Pos.t -> string -> unit
1167
1168 val conditionally_reactive_annotation_invalid_arguments :
1169   is_method:bool -> Pos.t -> unit
1170
1171 val echo_in_reactive_context : Pos.t -> unit
1172
1173 val superglobal_in_reactive_context : Pos.t -> string -> unit
1174
1175 val rx_is_enabled_invalid_location : Pos.t -> unit
1176
1177 val wrong_expression_kind_attribute :
1178   string -> Pos.t -> string -> Pos.t -> string -> string -> unit
1179
1180 val wrong_expression_kind_builtin_attribute : string -> Pos.t -> string -> unit
1181
1182 val cannot_return_borrowed_value_as_immutable : Pos.t -> Pos.t -> unit
1183
1184 val decl_override_missing_hint : Pos.t -> typing_error_callback -> unit
1185
1186 val atmost_rx_as_rxfunc_invalid_location : Pos.t -> unit
1187
1188 val no_atmost_rx_as_rxfunc_for_rx_if_args : Pos.t -> unit
1189
1190 val coroutine_in_constructor : Pos.t -> unit
1191
1192 val pu_duplication : Pos.t -> string -> string -> string -> unit
1193
1194 val pu_duplication_in_instance : Pos.t -> string -> string -> string -> unit
1195
1196 val pu_not_in_class : Pos.t -> string -> string -> unit
1197
1198 val illegal_use_of_dynamically_callable : Pos.t -> Pos.t -> string -> unit
1199
1200 val parent_in_function_pointer : Pos.t -> string option -> string -> unit
1201
1202 val self_in_non_final_function_pointer :
1203   Pos.t -> string option -> string -> unit
1204
1205 val invalid_type_for_atmost_rx_as_rxfunc_parameter : Pos.t -> string -> unit
1206
1207 val missing_annotation_for_atmost_rx_as_rxfunc_parameter : Pos.t -> unit
1208
1209 val mutable_in_nonreactive_context : Pos.t -> unit
1210
1211 val invalid_argument_of_rx_mutable_function : Pos.t -> unit
1212
1213 val return_void_to_rx_mismatch :
1214   pos1_has_attribute:bool -> Pos.t -> Pos.t -> typing_error_callback -> unit
1215
1216 val returns_void_to_rx_function_as_non_expression_statement :
1217   Pos.t -> Pos.t -> unit
1218
1219 val non_awaited_awaitable_in_rx : Pos.t -> unit
1220
1221 val shapes_key_exists_always_true : Pos.t -> string -> Pos.t -> unit
1222
1223 val shapes_key_exists_always_false :
1224   Pos.t ->
1225   string ->
1226   Pos.t ->
1227   [< `Undefined | `Nothing of (Pos.t * string) list ] ->
1228   unit
1229
1230 val shapes_method_access_with_non_existent_field :
1231   Pos.t ->
1232   string ->
1233   Pos.t ->
1234   string ->
1235   [< `Undefined | `Nothing of (Pos.t * string) list ] ->
1236   unit
1237
1238 val shape_access_with_non_existent_field :
1239   Pos.t ->
1240   string ->
1241   Pos.t ->
1242   [< `Undefined | `Nothing of (Pos.t * string) list ] ->
1243   unit
1244
1245 val ambiguous_object_access :
1246   Pos.t -> string -> Pos.t -> string -> Pos.t -> string -> string -> unit
1247
1248 val unserializable_type : Pos.t -> string -> unit
1249
1250 val invalid_arraykey_read : Pos.t -> Pos.t * string -> Pos.t * string -> unit
1251
1252 val invalid_arraykey_write : Pos.t -> Pos.t * string -> Pos.t * string -> unit
1253
1254 val invalid_arraykey_constraint : Pos.t -> string -> unit
1255
1256 val invalid_argument_type_for_condition_in_rx :
1257   is_receiver:bool -> Pos.t -> Pos.t -> Pos.t -> string -> string -> unit
1258
1259 val callsite_reactivity_mismatch :
1260   Pos.t -> Pos.t -> string -> Pos.t option -> string -> unit
1261
1262 val rx_parameter_condition_mismatch :
1263   string -> Pos.t -> Pos.t -> typing_error_callback -> unit
1264
1265 val maybe_mutable_attribute_on_function : Pos.t -> unit
1266
1267 val conflicting_mutable_and_maybe_mutable_attributes : Pos.t -> unit
1268
1269 val maybe_mutable_methods_must_be_reactive : Pos.t -> string -> unit
1270
1271 val entrypoint_arguments : Pos.t -> unit
1272
1273 val variadic_memoize : Pos.t -> unit
1274
1275 val abstract_method_memoize : Pos.t -> unit
1276
1277 val reassign_maybe_mutable_var : in_collection:bool -> Pos.t -> unit
1278
1279 val immutable_argument_mismatch : Pos.t -> Pos.t -> unit
1280
1281 val maybe_mutable_argument_mismatch : Pos.t -> Pos.t -> unit
1282
1283 val immutable_call_on_mutable : Pos.t -> Pos.t -> unit
1284
1285 val invalid_call_on_maybe_mutable :
1286   fun_is_mutable:bool -> Pos.t -> Pos.t -> unit
1287
1288 val mutability_mismatch :
1289   is_receiver:bool ->
1290   Pos.t ->
1291   string ->
1292   Pos.t ->
1293   string ->
1294   typing_error_callback ->
1295   unit
1296
1297 val invalid_traversable_in_rx : Pos.t -> unit
1298
1299 val reassign_mutable_this :
1300   in_collection:bool -> is_maybe_mutable:bool -> Pos.t -> unit
1301
1302 val mutable_expression_as_multiple_mutable_arguments :
1303   Pos.t -> string -> Pos.t -> string -> unit
1304
1305 val invalid_unset_target_rx : Pos.t -> unit
1306
1307 val lateinit_with_default : Pos.t -> unit
1308
1309 val bad_lateinit_override :
1310   bool -> Pos.t -> Pos.t -> typing_error_callback -> unit
1311
1312 val bad_xhp_attr_required_override :
1313   string -> string -> Pos.t -> Pos.t -> typing_error_callback -> unit
1314
1315 val interface_use_trait : Pos.t -> unit
1316
1317 val nonstatic_method_in_abstract_final_class : Pos.t -> unit
1318
1319 val escaping_mutable_object : Pos.t -> unit
1320
1321 val multiple_concrete_defs :
1322   Pos.t ->
1323   Pos.t ->
1324   string ->
1325   string ->
1326   string ->
1327   string ->
1328   typing_error_callback ->
1329   unit
1330
1331 val move_in_nonreactive_context : Pos.t -> unit
1332
1333 val invalid_move_target : Pos.t -> Pos.t -> string -> unit
1334
1335 val invalid_move_use : Pos.t -> unit
1336
1337 val require_args_reify : Pos.t -> Pos.t -> unit
1338
1339 val require_generic_explicit : Pos.t * string -> Pos.t -> unit
1340
1341 val invalid_reified_argument :
1342   Pos.t * string -> Pos.t -> (Pos.t * string) list -> unit
1343
1344 val invalid_reified_argument_reifiable :
1345   Pos.t * string -> Pos.t -> Pos.t -> string -> unit
1346
1347 val new_static_class_reified : Pos.t -> unit
1348
1349 val class_get_reified : Pos.t -> unit
1350
1351 val consistent_construct_reified : Pos.t -> unit
1352
1353 val reified_generics_not_allowed : Pos.t -> unit
1354
1355 val bad_function_pointer_construction : Pos.t -> unit
1356
1357 val new_without_newable : Pos.t -> string -> unit
1358
1359 val mutably_owned_argument_mismatch :
1360   arg_is_owned_local:bool -> Pos.t -> Pos.t -> unit
1361
1362 val rx_move_invalid_location : Pos.t -> unit
1363
1364 val inconsistent_mutability : Pos.t -> string -> (Pos.t * string) option -> unit
1365
1366 val invalid_mutability_flavor : Pos.t -> string -> string -> unit
1367
1368 val inconsistent_mutability_for_conditional : Pos.t -> Pos.t -> unit
1369
1370 val redundant_rx_condition : Pos.t -> unit
1371
1372 val misplaced_mutability_hint : Pos.t -> unit
1373
1374 val mutability_hint_in_non_rx_function : Pos.t -> unit
1375
1376 val invalid_mutability_in_return_type_hint : Pos.t -> unit
1377
1378 val typechecker_timeout : Pos.t * string -> int -> unit
1379
1380 val switch_multiple_default : Pos.t -> unit
1381
1382 val switch_non_terminal_default : Pos.t -> unit
1383
1384 val unsupported_trait_use_as : Pos.t -> unit
1385
1386 val mk_unsupported_trait_use_as : Pos.t -> error
1387
1388 val unsupported_instead_of : Pos.t -> unit
1389
1390 val mk_unsupported_instead_of : Pos.t -> error
1391
1392 val invalid_trait_use_as_visibility : Pos.t -> unit
1393
1394 val mk_invalid_trait_use_as_visibility : Pos.t -> error
1395
1396 val unresolved_type_variable : Pos.t -> unit
1397
1398 val invalid_sub_string : Pos.t -> string -> unit
1399
1400 val php_lambda_disallowed : Pos.t -> unit
1401
1402 val static_meth_with_class_reified_generic : Pos.t -> Pos.t -> unit
1403
1404 val exception_occurred : Pos.t -> Exception.t -> unit
1405
1406 val redundant_covariant : Pos.t -> string -> string -> unit
1407
1408 val meth_caller_trait : Pos.t -> string -> unit
1409
1410 val unsupported_hk_feature :
1411   because_nested:bool -> Pos.t -> string -> string -> unit
1412
1413 val tparam_non_shadowing_reuse : Pos.t -> string -> unit
1414
1415 val illegal_information_flow :
1416   Pos.t -> Pos.t list -> Pos.t list * string -> Pos.t list * string -> unit
1417
1418 val context_implicit_policy_leakage :
1419   Pos.t -> Pos.t list -> Pos.t list * string -> Pos.t list * string -> unit
1420
1421 val reified_function_reference : Pos.t -> unit
1422
1423 val class_meth_abstract_call : string -> string -> Pos.t -> Pos.t -> unit
1424
1425 val higher_kinded_partial_application : Pos.t -> int -> unit
1426
1427 val wildcard_for_higher_kinded_type : Pos.t -> unit
1428
1429 val implicit_type_argument_for_higher_kinded_type :
1430   use_pos:Pos.t -> def_pos:Pos.t -> string -> unit
1431
1432 val kind_mismatch :
1433   use_pos:Pos.t ->
1434   def_pos:Pos.t ->
1435   tparam_name:string ->
1436   expected_kind_repr:string ->
1437   actual_kind_repr:string ->
1438   unit