solved some TODOs about Tgeneric type arguments (2)
[hiphop-php.git] / hphp / hack / src / typing / 
tree74a2889c8b3cd32e086ca80b63d56e15c085af54
drwxr-xr-x   ..
drwxr-xr-x - cargo
-rw-r--r-- 6801 coverage_level.ml
-rw-r--r-- 849 coverage_level_defs.ml
-rw-r--r-- 1859 coverage_level_defs.mli
-rw-r--r-- 1350 deferred_decl.ml
-rw-r--r-- 3399 delta.ml
-rw-r--r-- 4994 dune
-rw-r--r-- 937 ide_tast_cache.ml
-rw-r--r-- 340 ide_tast_cache.mli
-rw-r--r-- 1307 internal_type_set.ml
-rw-r--r-- 294 internal_type_set.rs
-rw-r--r-- 18651 nastInitCheck.ml
drwxr-xr-x - nast_check
-rw-r--r-- 2483 nast_check_env.ml
-rw-r--r-- 5690 nast_visitor.ml
-rw-r--r-- 33263 pp_type.ml
drwxr-xr-x - service
-rw-r--r-- 8071 stateful_aast_visitor.ml
-rw-r--r-- 50 tanySentinel.ml
-rw-r--r-- 38 tanySentinel.mli
-rw-r--r-- 5397 tast.ml
-rw-r--r-- 3254 tast.rs
drwxr-xr-x - tast_check
-rw-r--r-- 8063 tast_env.ml
-rw-r--r-- 10732 tast_env.mli
-rw-r--r-- 3802 tast_expand.ml
-rw-r--r-- 1616 tast_type_collector.ml
-rw-r--r-- 8776 tast_typecheck.ml
-rw-r--r-- 8546 tast_utils.ml
-rw-r--r-- 12870 tast_visitor.ml
-rw-r--r-- 1916 type_mapper.ml
-rw-r--r-- 2166 type_mapper_forget.ml
-rw-r--r-- 13266 type_mapper_generic.ml
-rw-r--r-- 9920 type_parameter_env.ml
-rw-r--r-- 1778 type_parameter_env.mli
-rw-r--r-- 7254 type_parameter_env_ops.ml
-rw-r--r-- 839 type_parameter_env_ops.mli
-rw-r--r-- 6471 type_validator.ml
-rw-r--r-- 12815 type_visitor.ml
-rw-r--r-- 245188 typing.ml
-rw-r--r-- 1552 typing.mli
-rw-r--r-- 5334 typing_alias.ml
-rw-r--r-- 237 typing_alias.mli
-rw-r--r-- 15761 typing_arithmetic.ml
-rw-r--r-- 29601 typing_array_access.ml
-rw-r--r-- 1113 typing_ast_print.ml
-rw-r--r-- 3449 typing_async.ml
-rw-r--r-- 3400 typing_attributes.ml
-rw-r--r-- 10651 typing_check_decls.ml
-rw-r--r-- 32403 typing_check_service.ml
-rw-r--r-- 1872 typing_check_utils.ml
-rw-r--r-- 18169 typing_classes_heap.ml
-rw-r--r-- 4258 typing_classes_heap.mli
-rw-r--r-- 2904 typing_coercion.ml
-rw-r--r-- 466 typing_collections_rust.rs
-rw-r--r-- 577 typing_cont_key.ml
-rw-r--r-- 436 typing_continuations.ml
-rw-r--r-- 894 typing_debug.ml
-rw-r--r-- 5423 typing_deferred_members.ml
-rw-r--r-- 32163 typing_defs.ml
-rw-r--r-- 699 typing_defs.rs
-rw-r--r-- 16430 typing_defs_core.ml
-rw-r--r-- 16043 typing_defs_core.mli
-rw-r--r-- 575 typing_defs_core.rs
-rw-r--r-- 2589 typing_defs_flags.ml
-rw-r--r-- 436 typing_defs_rust.rs
-rw-r--r-- 5126 typing_dependent_type.ml
-rw-r--r-- 2152 typing_disposable.ml
-rw-r--r-- 5933 typing_enforceability.ml
-rw-r--r-- 5626 typing_enum.ml
-rw-r--r-- 54236 typing_env.ml
-rw-r--r-- 12231 typing_env.mli
-rw-r--r-- 3250 typing_env_from_def.ml
-rw-r--r-- 1012 typing_env_return_info.ml
-rw-r--r-- 2762 typing_env_types.ml
-rw-r--r-- 2061 typing_env_types.mli
-rw-r--r-- 4828 typing_equality_check.ml
-rw-r--r-- 1173 typing_expand.ml
-rw-r--r-- 819 typing_expand.mli
-rw-r--r-- 33169 typing_extends.ml
-rw-r--r-- 817 typing_extends.mli
-rw-r--r-- 7479 typing_exts.ml
-rw-r--r-- 5300 typing_fake_members.ml
-rw-r--r-- 1616 typing_fake_members.mli
-rw-r--r-- 2481 typing_func_terminality.ml
-rw-r--r-- 1770 typing_generic.ml
-rw-r--r-- 2401 typing_generic_constraint.ml
-rw-r--r-- 4399 typing_generic_rules.ml
-rw-r--r-- 11252 typing_global_inference.ml
-rw-r--r-- 1705 typing_global_inference.mli
-rw-r--r-- 528 typing_heap.ml
-rw-r--r-- 770 typing_heap.mli
-rw-r--r-- 5849 typing_helpers.ml
-rw-r--r-- 50089 typing_inference_env.ml
-rw-r--r-- 7818 typing_inference_env.mli
-rw-r--r-- 5664 typing_inheritance.ml
-rw-r--r-- 1441 typing_instantiate.mli
-rw-r--r-- 13451 typing_intersection.ml
-rw-r--r-- 744 typing_intersection.mli
-rw-r--r-- 2408 typing_lazy_heap.ml
-rw-r--r-- 6456 typing_lenv.ml
-rw-r--r-- 2213 typing_lenv.mli
-rw-r--r-- 1078 typing_local_types.ml
-rw-r--r-- 19026 typing_log.ml
-rw-r--r-- 2262 typing_log.mli
-rw-r--r-- 1578 typing_log_value.ml
-rw-r--r-- 3739 typing_logic.ml
-rw-r--r-- 2278 typing_logic.rs
-rw-r--r-- 1163 typing_logic_helpers.ml
-rw-r--r-- 4052 typing_make_type.ml
-rw-r--r-- 15576 typing_make_type.rs
-rw-r--r-- 4449 typing_memoize.ml
-rw-r--r-- 474 typing_memoize.mli
-rw-r--r-- 9417 typing_mutability.ml
-rw-r--r-- 1034 typing_mutability.mli
-rw-r--r-- 2386 typing_mutability_env.ml
-rw-r--r-- 1532 typing_mutability_env.mli
-rw-r--r-- 23906 typing_object_get.ml
-rw-r--r-- 1295 typing_object_get.mli
-rw-r--r-- 2383 typing_ops.ml
-rw-r--r-- 39464 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-- 28664 typing_phase.ml
-rw-r--r-- 3463 typing_phase.mli
-rw-r--r-- 4875 typing_pocket_universes.ml
-rw-r--r-- 188 typing_pocket_universes.mli
-rw-r--r-- 59175 typing_print.ml
-rw-r--r-- 4197 typing_print.mli
-rw-r--r-- 798 typing_print_ffi.ml
-rw-r--r-- 17666 typing_reactivity.ml
-rw-r--r-- 24029 typing_reason.ml
-rw-r--r-- 227 typing_reason.rs
-rw-r--r-- 5239 typing_regex.ml
-rw-r--r-- 349 typing_regex.mli
-rw-r--r-- 1175 typing_requirements.ml
-rw-r--r-- 297 typing_requirements.mli
-rw-r--r-- 5801 typing_return.ml
-rw-r--r-- 1528 typing_return.mli
-rw-r--r-- 10520 typing_sequencing.ml
-rw-r--r-- 881 typing_set.ml
-rw-r--r-- 12117 typing_shapes.ml
-rw-r--r-- 29077 typing_solver.ml
-rw-r--r-- 1396 typing_solver.mli
-rw-r--r-- 6386 typing_solver_utils.ml
-rw-r--r-- 810 typing_solver_utils.mli
-rw-r--r-- 5275 typing_special_fun.ml
-rw-r--r-- 310 typing_special_fun.mli
-rw-r--r-- 5981 typing_structure.ml
-rw-r--r-- 1589 typing_substring.ml
-rw-r--r-- 125607 typing_subtype.ml
-rw-r--r-- 3355 typing_subtype.mli
-rw-r--r-- 6756 typing_subtype_method.ml
-rw-r--r-- 382 typing_subtype_method.mli
-rw-r--r-- 3887 typing_subtype_pocket_universes.ml
-rw-r--r-- 293 typing_subtype_pocket_universes.mli
-rw-r--r-- 3270 typing_subtype_tconst.ml
-rw-r--r-- 603 typing_subtype_tconst.mli
-rw-r--r-- 15852 typing_taccess.ml
-rw-r--r-- 513 typing_taccess.mli
-rw-r--r-- 3188 typing_tdef.ml
-rw-r--r-- 60598 typing_toplevel.ml
-rw-r--r-- 1176 typing_toplevel.mli
-rw-r--r-- 1445 typing_try.ml
-rw-r--r-- 4898 typing_tyvar_occurrences.ml
-rw-r--r-- 924 typing_tyvar_occurrences.mli
-rw-r--r-- 982 typing_unify.ml
-rw-r--r-- 24962 typing_union.ml
-rw-r--r-- 1465 typing_union.mli
-rw-r--r-- 23596 typing_utils.ml
-rw-r--r-- 33489 typing_variance.ml
-rw-r--r-- 6838 typing_visibility.ml
-rw-r--r-- 763 typing_visibility.mli
-rw-r--r-- 4910 typing_xhp.ml
-rw-r--r-- 780 typing_xhp.mli
drwxr-xr-x - write_symbol_info