Enforce Pos_or_decl.t in reasons for decl types
[hiphop-php.git] / hphp / hack / src / typing / 
treea60b73712bf328ce5e83e225c5a3177cbf696a6f
drwxr-xr-x   ..
drwxr-xr-x - cargo
-rw-r--r-- 6796 coverage_level.ml
-rw-r--r-- 849 coverage_level_defs.ml
-rw-r--r-- 1859 coverage_level_defs.mli
-rw-r--r-- 3750 deferred_decl.ml
-rw-r--r-- 2187 deferred_decl.mli
-rw-r--r-- 3399 delta.ml
-rw-r--r-- 5099 dune
-rw-r--r-- 937 ide_tast_cache.ml
-rw-r--r-- 340 ide_tast_cache.mli
-rw-r--r-- 1286 internal_type_set.ml
-rw-r--r-- 294 internal_type_set.rs
-rw-r--r-- 19802 nastInitCheck.ml
drwxr-xr-x - nast_check
-rw-r--r-- 1752 nast_check_env.ml
-rw-r--r-- 5093 nast_visitor.ml
drwxr-xr-x - service
-rw-r--r-- 6717 stateful_aast_visitor.ml
-rw-r--r-- 50 tanySentinel.ml
-rw-r--r-- 38 tanySentinel.mli
-rw-r--r-- 4431 tast.ml
-rw-r--r-- 2904 tast.rs
drwxr-xr-x - tast_check
-rw-r--r-- 8436 tast_env.ml
-rw-r--r-- 10506 tast_env.mli
-rw-r--r-- 4064 tast_expand.ml
-rw-r--r-- 399 tast_expand.mli
-rw-r--r-- 1616 tast_type_collector.ml
-rw-r--r-- 8678 tast_typecheck.ml
-rw-r--r-- 8624 tast_utils.ml
-rw-r--r-- 11630 tast_visitor.ml
-rw-r--r-- 1916 type_mapper.ml
-rw-r--r-- 2153 type_mapper_forget.ml
-rw-r--r-- 13424 type_mapper_generic.ml
-rw-r--r-- 7701 type_mapper_generic.mli
-rw-r--r-- 12709 type_parameter_env.ml
-rw-r--r-- 1983 type_parameter_env.mli
-rw-r--r-- 7530 type_parameter_env_ops.ml
-rw-r--r-- 839 type_parameter_env_ops.mli
-rw-r--r-- 5752 type_validator.ml
-rw-r--r-- 13164 type_visitor.ml
-rw-r--r-- 6159 type_visitor.mli
-rw-r--r-- 257395 typing.ml
-rw-r--r-- 1972 typing.mli
-rw-r--r-- 5346 typing_alias.ml
-rw-r--r-- 237 typing_alias.mli
-rw-r--r-- 16374 typing_arithmetic.ml
-rw-r--r-- 30496 typing_array_access.ml
-rw-r--r-- 917 typing_ast_print.ml
-rw-r--r-- 3637 typing_async.ml
-rw-r--r-- 724 typing_async.mli
-rw-r--r-- 3365 typing_attributes.ml
-rw-r--r-- 11730 typing_check_decls.ml
-rw-r--r-- 817 typing_check_decls.mli
-rw-r--r-- 42713 typing_check_service.ml
-rw-r--r-- 2036 typing_check_service.mli
-rw-r--r-- 1872 typing_check_utils.ml
-rw-r--r-- 19740 typing_classes_heap.ml
-rw-r--r-- 4727 typing_classes_heap.mli
-rw-r--r-- 1662 typing_coeffects.ml
-rw-r--r-- 585 typing_coeffects.mli
-rw-r--r-- 4863 typing_coercion.ml
-rw-r--r-- 466 typing_collections_rust.rs
-rw-r--r-- 772 typing_const_reifiable.ml
-rw-r--r-- 288 typing_const_reifiable.mli
-rw-r--r-- 532 typing_cont_key.ml
-rw-r--r-- 436 typing_continuations.ml
-rw-r--r-- 893 typing_debug.ml
-rw-r--r-- 5422 typing_deferred_members.ml
-rw-r--r-- 34639 typing_defs.ml
-rw-r--r-- 699 typing_defs.rs
-rw-r--r-- 36850 typing_defs_core.ml
-rw-r--r-- 20318 typing_defs_core.mli
-rw-r--r-- 567 typing_defs_core.rs
-rw-r--r-- 2972 typing_defs_flags.ml
-rw-r--r-- 436 typing_defs_rust.rs
-rw-r--r-- 5834 typing_dependent_type.ml
-rw-r--r-- 717 typing_dependent_type.mli
-rw-r--r-- 1691 typing_disposable.ml
-rw-r--r-- 6240 typing_enforceability.ml
-rw-r--r-- 849 typing_enforceability.mli
-rw-r--r-- 6906 typing_enforceable_hint.ml
-rw-r--r-- 394 typing_enforceable_hint.mli
-rw-r--r-- 5483 typing_enum.ml
-rw-r--r-- 440 typing_enum.mli
-rw-r--r-- 56765 typing_env.ml
-rw-r--r-- 13335 typing_env.mli
-rw-r--r-- 3081 typing_env_from_def.ml
-rw-r--r-- 1002 typing_env_from_def.mli
-rw-r--r-- 903 typing_env_return_info.ml
-rw-r--r-- 2604 typing_env_types.ml
-rw-r--r-- 2189 typing_env_types.mli
-rw-r--r-- 4900 typing_equality_check.ml
-rw-r--r-- 1173 typing_expand.ml
-rw-r--r-- 819 typing_expand.mli
-rw-r--r-- 35435 typing_extends.ml
-rw-r--r-- 800 typing_extends.mli
-rw-r--r-- 7421 typing_exts.ml
-rw-r--r-- 5309 typing_fake_members.ml
-rw-r--r-- 1616 typing_fake_members.mli
-rw-r--r-- 2316 typing_func_terminality.ml
-rw-r--r-- 2526 typing_generic_constraint.ml
-rw-r--r-- 4302 typing_generic_rules.ml
-rw-r--r-- 442 typing_generic_rules.mli
-rw-r--r-- 11405 typing_global_inference.ml
-rw-r--r-- 1705 typing_global_inference.mli
-rw-r--r-- 5737 typing_helpers.ml
-rw-r--r-- 48697 typing_inference_env.ml
-rw-r--r-- 7592 typing_inference_env.mli
-rw-r--r-- 6195 typing_inheritance.ml
-rw-r--r-- 1441 typing_instantiate.mli
-rw-r--r-- 14509 typing_intersection.ml
-rw-r--r-- 744 typing_intersection.mli
-rw-r--r-- 16812 typing_kinding.ml
-rw-r--r-- 966 typing_kinding.mli
-rw-r--r-- 4596 typing_kinding_defs.ml
-rw-r--r-- 3890 typing_kinding_defs.mli
-rw-r--r-- 5791 typing_lenv.ml
-rw-r--r-- 2213 typing_lenv.mli
-rw-r--r-- 7002 typing_local_ops.ml
-rw-r--r-- 1078 typing_local_types.ml
-rw-r--r-- 19469 typing_log.ml
-rw-r--r-- 2526 typing_log.mli
-rw-r--r-- 1578 typing_log_value.ml
-rw-r--r-- 3567 typing_logic.ml
-rw-r--r-- 1536 typing_logic.mli
-rw-r--r-- 2278 typing_logic.rs
-rw-r--r-- 1163 typing_logic_helpers.ml
-rw-r--r-- 5189 typing_make_type.ml
-rw-r--r-- 16180 typing_make_type.rs
-rw-r--r-- 4880 typing_memoize.ml
-rw-r--r-- 474 typing_memoize.mli
-rw-r--r-- 27288 typing_object_get.ml
-rw-r--r-- 1513 typing_object_get.mli
-rw-r--r-- 2356 typing_ops.ml
-rw-r--r-- 1203 typing_ops.mli
-rw-r--r-- 39466 typing_ordered_solver.ml
-rw-r--r-- 366 typing_ordered_solver.mli
-rw-r--r-- 2990 typing_per_cont_env.ml
-rw-r--r-- 2709 typing_per_cont_env.mli
-rw-r--r-- 4651 typing_per_cont_ops.ml
-rw-r--r-- 4608 typing_per_cont_ops.mli
-rw-r--r-- 38227 typing_phase.ml
-rw-r--r-- 3993 typing_phase.mli
-rw-r--r-- 63548 typing_print.ml
-rw-r--r-- 4251 typing_print.mli
-rw-r--r-- 798 typing_print_ffi.ml
-rw-r--r-- 30811 typing_reason.ml
-rw-r--r-- 7500 typing_reason.mli
-rw-r--r-- 227 typing_reason.rs
-rw-r--r-- 5231 typing_regex.ml
-rw-r--r-- 349 typing_regex.mli
-rw-r--r-- 2355 typing_reified_check.ml
-rw-r--r-- 1175 typing_requirements.ml
-rw-r--r-- 297 typing_requirements.mli
-rw-r--r-- 5037 typing_return.ml
-rw-r--r-- 1437 typing_return.mli
-rw-r--r-- 10523 typing_sequencing.ml
-rw-r--r-- 889 typing_set.ml
-rw-r--r-- 12542 typing_shapes.ml
-rw-r--r-- 29537 typing_solver.ml
-rw-r--r-- 1504 typing_solver.mli
-rw-r--r-- 6386 typing_solver_utils.ml
-rw-r--r-- 810 typing_solver_utils.mli
-rw-r--r-- 2703 typing_special_fun.ml
-rw-r--r-- 310 typing_special_fun.mli
-rw-r--r-- 5989 typing_structure.ml
-rw-r--r-- 1581 typing_substring.ml
-rw-r--r-- 121502 typing_subtype.ml
-rw-r--r-- 3641 typing_subtype.mli
-rw-r--r-- 6594 typing_subtype_method.ml
-rw-r--r-- 329 typing_subtype_method.mli
-rw-r--r-- 3275 typing_subtype_tconst.ml
-rw-r--r-- 654 typing_subtype_tconst.mli
-rw-r--r-- 17035 typing_taccess.ml
-rw-r--r-- 477 typing_taccess.mli
-rw-r--r-- 3062 typing_tdef.ml
-rw-r--r-- 480 typing_tdef.mli
-rw-r--r-- 63651 typing_toplevel.ml
-rw-r--r-- 1176 typing_toplevel.mli
-rw-r--r-- 1405 typing_try.ml
-rw-r--r-- 4911 typing_tyvar_occurrences.ml
-rw-r--r-- 924 typing_tyvar_occurrences.mli
-rw-r--r-- 982 typing_unify.ml
-rw-r--r-- 22930 typing_union.ml
-rw-r--r-- 1465 typing_union.mli
-rw-r--r-- 18410 typing_utils.ml
-rw-r--r-- 34757 typing_variance.ml
-rw-r--r-- 1033 typing_variance.mli
-rw-r--r-- 6854 typing_visibility.ml
-rw-r--r-- 809 typing_visibility.mli
-rw-r--r-- 5813 typing_xhp.ml
-rw-r--r-- 1445 typing_xhp.mli
drwxr-xr-x - write_symbol_info