Remember fresh type variables for unions and await statement
[hiphop-php.git] / hphp / hack / test / typecheck / new_inference / 
tree794db5c49fa4f3e2941af6e88828cd84ba4ea3a3
drwxr-xr-x   ..
-rw-r--r-- 29 HH_FLAGS
-rw-r--r-- 221 array_filter_then_invoke.php
-rw-r--r-- 10 array_filter_then_invoke.php.exp
-rw-r--r-- 216 array_map_then_invoke.php
-rw-r--r-- 10 array_map_then_invoke.php.exp
-rw-r--r-- 259 await_then_invoke.php
-rw-r--r-- 10 await_then_invoke.php.exp
-rw-r--r-- 297 class_method_then_invoke.php
-rw-r--r-- 10 class_method_then_invoke.php.exp
-rw-r--r-- 192 construct_dict.php
-rw-r--r-- 10 construct_dict.php.exp
-rw-r--r-- 254 construct_dict_union.php
-rw-r--r-- 10 construct_dict_union.php.exp
-rw-r--r-- 182 construct_vec.php
-rw-r--r-- 10 construct_vec.php.exp
-rw-r--r-- 187 construct_vector.php
-rw-r--r-- 260 construct_vector.php.exp
-rw-r--r-- 513 fst_then_invoke.php
-rw-r--r-- 10 fst_then_invoke.php.exp
-rw-r--r-- 507 fst_then_invoke_bad.php
-rw-r--r-- 315 fst_then_invoke_bad.php.exp
-rw-r--r-- 633 fst_then_invoke_bad2.php
-rw-r--r-- 292 fst_then_invoke_bad2.php.exp
-rw-r--r-- 547 identity_then_invoke.php
-rw-r--r-- 10 identity_then_invoke.php.exp
-rw-r--r-- 426 identity_then_invoke_class.php
-rw-r--r-- 10 identity_then_invoke_class.php.exp
-rw-r--r-- 241 instance_method_then_invoke.php
-rw-r--r-- 374 instance_method_then_invoke.php.exp
-rw-r--r-- 510 make_inv_then_invoke.php
-rw-r--r-- 442 make_inv_then_invoke.php.exp
-rw-r--r-- 310 new_covariant.php
-rw-r--r-- 10 new_covariant.php.exp
-rw-r--r-- 309 new_invariant.php
-rw-r--r-- 334 new_invariant.php.exp
-rw-r--r-- 420 redundant.php
-rw-r--r-- 10 redundant.php.exp
-rw-r--r-- 161 shape_idx_then_invoke.php
-rw-r--r-- 10 shape_idx_then_invoke.php.exp
-rw-r--r-- 158 solve_tyvars_fun_def.php
-rw-r--r-- 10 solve_tyvars_fun_def.php.exp
-rw-r--r-- 185 solve_tyvars_method_def.php
-rw-r--r-- 10 solve_tyvars_method_def.php.exp
-rw-r--r-- 260 tparam_constraints.php
-rw-r--r-- 266 tparam_constraints.php.exp
-rw-r--r-- 339 tparam_constraints2.php
-rw-r--r-- 10 tparam_constraints2.php.exp
-rw-r--r-- 185 tparam_where_constraint.php
-rw-r--r-- 296 tparam_where_constraint.php.exp
-rw-r--r-- 535 transitive_error.php
-rw-r--r-- 280 transitive_error.php.exp
-rw-r--r-- 667 transitive_error2.php
-rw-r--r-- 283 transitive_error2.php.exp
-rw-r--r-- 636 transitive_simplify.php
-rw-r--r-- 10 transitive_simplify.php.exp
-rw-r--r-- 147 union_subtype.php
-rw-r--r-- 10 union_subtype.php.exp
-rw-r--r-- 142 union_subtype_bad.php
-rw-r--r-- 296 union_subtype_bad.php.exp
-rw-r--r-- 318 vec_for_each.php
-rw-r--r-- 10 vec_for_each.php.exp
-rw-r--r-- 163 vector.php
-rw-r--r-- 10 vector.php.exp
-rw-r--r-- 177 yield_from_generic.php
-rw-r--r-- 260 yield_from_generic.php.exp
-rw-r--r-- 593 yield_wait_forvr.php
-rw-r--r-- 10 yield_wait_forvr.php.exp