Public Git Hosting - hiphop-php.git/tree - hphp/hack/test/typecheck/constraints/

drwxr-xr-x		..
-rw-r--r--	76	HH_FLAGS	blob \| blame \| history \| raw
-rw-r--r--	192	as_int_arraykey.php	blob \| blame \| history \| raw
-rw-r--r--	10	as_int_arraykey.php.exp	blob \| blame \| history \| raw
-rw-r--r--	690	bad_contra_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	780	bad_contra_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	720	bad_contra_constraint.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	1300	bad_contra_constraint_2.php	blob \| blame \| history \| raw
-rw-r--r--	440	bad_contra_constraint_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	270	bad_contra_constraint_2.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	263	bad_contra_constraint_2.php.imp_pess_full_exp	blob \| blame \| history \| raw
-rw-r--r--	731	class_meth_generics_bad.php	blob \| blame \| history \| raw
-rw-r--r--	1888	class_meth_generics_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	121	class_method.php	blob \| blame \| history \| raw
-rw-r--r--	934	class_method.php.exp	blob \| blame \| history \| raw
-rw-r--r--	874	class_method.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	130	class_method_tparam.php	blob \| blame \| history \| raw
-rw-r--r--	474	class_method_tparam.php.exp	blob \| blame \| history \| raw
-rw-r--r--	123	class_static_variable.php	blob \| blame \| history \| raw
-rw-r--r--	485	class_static_variable.php.exp	blob \| blame \| history \| raw
-rw-r--r--	272	class_tparam_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	10	class_tparam_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	114	class_type_constant1.php	blob \| blame \| history \| raw
-rw-r--r--	480	class_type_constant1.php.exp	blob \| blame \| history \| raw
-rw-r--r--	133	class_type_constant2.php	blob \| blame \| history \| raw
-rw-r--r--	480	class_type_constant2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	256	class_type_constant3.php	blob \| blame \| history \| raw
-rw-r--r--	10	class_type_constant3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	154	class_type_parameter.php	blob \| blame \| history \| raw
-rw-r--r--	1014	class_type_parameter.php.exp	blob \| blame \| history \| raw
-rw-r--r--	954	class_type_parameter.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	123	class_variable.php	blob \| blame \| history \| raw
-rw-r--r--	450	class_variable.php.exp	blob \| blame \| history \| raw
-rw-r--r--	337	classmeth_constraints.php	blob \| blame \| history \| raw
-rw-r--r--	10	classmeth_constraints.php.exp	blob \| blame \| history \| raw
-rw-r--r--	226	classmeth_constraints_bad.php	blob \| blame \| history \| raw
-rw-r--r--	472	classmeth_constraints_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	249	constraint_bad_usepos.php	blob \| blame \| history \| raw
-rw-r--r--	1025	constraint_bad_usepos.php.exp	blob \| blame \| history \| raw
-rw-r--r--	964	constraint_bad_usepos.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	349	constraint_hhfixme_bug.php	blob \| blame \| history \| raw
-rw-r--r--	10	constraint_hhfixme_bug.php.exp	blob \| blame \| history \| raw
-rw-r--r--	143	constraint_lower_newtype.php	blob \| blame \| history \| raw
-rw-r--r--	10	constraint_lower_newtype.php.exp	blob \| blame \| history \| raw
-rw-r--r--	440	constraint_override_bad.php	blob \| blame \| history \| raw
-rw-r--r--	908	constraint_override_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	948	constraint_override_bad.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	635	constraint_override_bad2.php	blob \| blame \| history \| raw
-rw-r--r--	1087	constraint_override_bad2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1127	constraint_override_bad2.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	675	constraint_override_bad3.php	blob \| blame \| history \| raw
-rw-r--r--	899	constraint_override_bad3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	939	constraint_override_bad3.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	484	constraint_override_good.php	blob \| blame \| history \| raw
-rw-r--r--	10	constraint_override_good.php.exp	blob \| blame \| history \| raw
-rw-r--r--	479	constraint_override_super_dependent.php	blob \| blame \| history \| raw
-rw-r--r--	10	constraint_override_super_dependent.php.exp	blob \| blame \| history \| raw
-rw-r--r--	380	constraints_stack_overflow.php	blob \| blame \| history \| raw
-rw-r--r--	10	constraints_stack_overflow.php.exp	blob \| blame \| history \| raw
-rw-r--r--	563	constraints_transitive.php	blob \| blame \| history \| raw
-rw-r--r--	10	constraints_transitive.php.exp	blob \| blame \| history \| raw
-rw-r--r--	760	contravariance_constraint_bad.php	blob \| blame \| history \| raw
-rw-r--r--	663	contravariance_constraint_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1047	contravariance_constraint_bad_2.php	blob \| blame \| history \| raw
-rw-r--r--	956	contravariance_constraint_bad_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	225	contravariant_override_good2.php	blob \| blame \| history \| raw
-rw-r--r--	10	contravariant_override_good2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	342	dependent_as_nullable.php	blob \| blame \| history \| raw
-rw-r--r--	10	dependent_as_nullable.php.exp	blob \| blame \| history \| raw
-rw-r--r--	430	eq_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	10	eq_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	299	extend_generic2.php	blob \| blame \| history \| raw
-rw-r--r--	907	extend_generic2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	84	function.php	blob \| blame \| history \| raw
-rw-r--r--	418	function.php.exp	blob \| blame \| history \| raw
-rw-r--r--	93	function_tparam.php	blob \| blame \| history \| raw
-rw-r--r--	454	function_tparam.php.exp	blob \| blame \| history \| raw
-rw-r--r--	355	gen5.php	blob \| blame \| history \| raw
-rw-r--r--	396	gen5.php.exp	blob \| blame \| history \| raw
-rw-r--r--	369	gen7.php	blob \| blame \| history \| raw
-rw-r--r--	578	gen7.php.exp	blob \| blame \| history \| raw
-rw-r--r--	182	generalized_where.php	blob \| blame \| history \| raw
-rw-r--r--	10	generalized_where.php.exp	blob \| blame \| history \| raw
-rw-r--r--	491	generic_access_bug.php	blob \| blame \| history \| raw
-rw-r--r--	246	generic_access_bug.php.exp	blob \| blame \| history \| raw
-rw-r--r--	200	generic_function_constraint_lambda.php	blob \| blame \| history \| raw
-rw-r--r--	10	generic_function_constraint_lambda.php.exp	blob \| blame \| history \| raw
-rw-r--r--	499	generic_method_constraint_bad.php	blob \| blame \| history \| raw
-rw-r--r--	1823	generic_method_constraint_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	535	generic_self_type_access_failure.php	blob \| blame \| history \| raw
-rw-r--r--	3982	generic_self_type_access_failure.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1376	generic_where_flatten.php	blob \| blame \| history \| raw
-rw-r--r--	10	generic_where_flatten.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	generic_where_flatten.php.imp_pess_disabled	blob \| blame \| history \| raw
-rw-r--r--	0	generic_where_flatten.php.tgt_pess_disabled	blob \| blame \| history \| raw
-rw-r--r--	360	good_contra_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	10	good_contra_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	261	instanceof_constraint_1.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_1.php.exp	blob \| blame \| history \| raw
-rw-r--r--	270	instanceof_constraint_2.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	297	instanceof_constraint_3.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	344	instanceof_constraint_4.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_4.php.exp	blob \| blame \| history \| raw
-rw-r--r--	224	instanceof_constraint_5.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_5.php.exp	blob \| blame \| history \| raw
-rw-r--r--	321	instanceof_invariant.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_invariant.php.exp	blob \| blame \| history \| raw
-rw-r--r--	172	intersection_and_nullable.php	blob \| blame \| history \| raw
-rw-r--r--	10	intersection_and_nullable.php.exp	blob \| blame \| history \| raw
-rw-r--r--	205	monomorphic_overrides_where.php	blob \| blame \| history \| raw
-rw-r--r--	254	monomorphic_overrides_where.php.exp	blob \| blame \| history \| raw
-rw-r--r--	315	multi_as_arrayget.php	blob \| blame \| history \| raw
-rw-r--r--	10	multi_as_arrayget.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1130	multi_as_invoke.php	blob \| blame \| history \| raw
-rw-r--r--	10	multi_as_invoke.php.exp	blob \| blame \| history \| raw
-rw-r--r--	717	multi_as_invoke_ambiguous.php	blob \| blame \| history \| raw
-rw-r--r--	10	multi_as_invoke_ambiguous.php.exp	blob \| blame \| history \| raw
-rw-r--r--	318	multi_as_invoke_ambiguous_2.php	blob \| blame \| history \| raw
-rw-r--r--	10	multi_as_invoke_ambiguous_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	343	multi_as_invoke_ambiguous_3.php	blob \| blame \| history \| raw
-rw-r--r--	10	multi_as_invoke_ambiguous_3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	558	multi_as_invoke_bad.php	blob \| blame \| history \| raw
-rw-r--r--	802	multi_as_invoke_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	283	multiple_nullable_constraints.php	blob \| blame \| history \| raw
-rw-r--r--	10	multiple_nullable_constraints.php.exp	blob \| blame \| history \| raw
-rw-r--r--	300	nonnull_and_nullable.php	blob \| blame \| history \| raw
-rw-r--r--	10	nonnull_and_nullable.php.exp	blob \| blame \| history \| raw
-rw-r--r--	657	notbenull.php	blob \| blame \| history \| raw
-rw-r--r--	10	notbenull.php.exp	blob \| blame \| history \| raw
-rw-r--r--	187	nullary_constructor_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	498	nullary_constructor_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	339	override_generic_parameter_bad.php	blob \| blame \| history \| raw
-rw-r--r--	754	override_generic_parameter_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	772	override_generic_parameter_bad.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	417	override_with_generic_3.php	blob \| blame \| history \| raw
-rw-r--r--	806	override_with_generic_3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	override_with_generic_3.php.imp_pess_disabled	blob \| blame \| history \| raw
-rw-r--r--	343	override_with_generic_4.php	blob \| blame \| history \| raw
-rw-r--r--	10	override_with_generic_4.php.exp	blob \| blame \| history \| raw
-rw-r--r--	615	override_with_super_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	10	override_with_super_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	267	preserve_null.php	blob \| blame \| history \| raw
-rw-r--r--	10	preserve_null.php.exp	blob \| blame \| history \| raw
-rw-r--r--	86	recursive_constraint_bad.php	blob \| blame \| history \| raw
-rw-r--r--	10	recursive_constraint_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	96	recursive_constraint_bad_2.php	blob \| blame \| history \| raw
-rw-r--r--	10	recursive_constraint_bad_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	162	recursive_constraint_bad_4.php	blob \| blame \| history \| raw
-rw-r--r--	834	recursive_constraint_bad_4.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1386	recursive_constraint_bad_4.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	149	recursive_constraint_bad_5.php	blob \| blame \| history \| raw
-rw-r--r--	834	recursive_constraint_bad_5.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1386	recursive_constraint_bad_5.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	143	recursive_constraint_bad_7.php	blob \| blame \| history \| raw
-rw-r--r--	256	recursive_constraint_bad_7.php.exp	blob \| blame \| history \| raw
-rw-r--r--	288	recursive_constraint_bad_7.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	1860	recursive_constraint_good.php	blob \| blame \| history \| raw
-rw-r--r--	10	recursive_constraint_good.php.exp	blob \| blame \| history \| raw
-rw-r--r--	221	recursive_constraint_good_4.php	blob \| blame \| history \| raw
-rw-r--r--	10	recursive_constraint_good_4.php.exp	blob \| blame \| history \| raw
-rw-r--r--	199	recursive_constraint_good_5.php	blob \| blame \| history \| raw
-rw-r--r--	10	recursive_constraint_good_5.php.exp	blob \| blame \| history \| raw
-rw-r--r--	489	recursive_constraint_good_6.php	blob \| blame \| history \| raw
-rw-r--r--	10	recursive_constraint_good_6.php.exp	blob \| blame \| history \| raw
-rw-r--r--	180	recursive_constraint_good_7.php	blob \| blame \| history \| raw
-rw-r--r--	10	recursive_constraint_good_7.php.exp	blob \| blame \| history \| raw
-rw-r--r--	162	refl_subtype.php	blob \| blame \| history \| raw
-rw-r--r--	10	refl_subtype.php.exp	blob \| blame \| history \| raw
-rw-r--r--	355	staticgeneric_bad.php	blob \| blame \| history \| raw
-rw-r--r--	690	staticgeneric_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1129	staticgeneric_bad.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	351	staticgeneric_good.php	blob \| blame \| history \| raw
-rw-r--r--	10	staticgeneric_good.php.exp	blob \| blame \| history \| raw
-rw-r--r--	454	super_as_covariant.php	blob \| blame \| history \| raw
-rw-r--r--	10	super_as_covariant.php.exp	blob \| blame \| history \| raw
-rw-r--r--	991	superas.php	blob \| blame \| history \| raw
-rw-r--r--	10	superas.php.exp	blob \| blame \| history \| raw
-rw-r--r--	259	tapply_is_newtype.php	blob \| blame \| history \| raw
-rw-r--r--	519	tapply_is_newtype.php.exp	blob \| blame \| history \| raw
-rw-r--r--	198	tapply_is_typedef.php	blob \| blame \| history \| raw
-rw-r--r--	547	tapply_is_typedef.php.exp	blob \| blame \| history \| raw
-rw-r--r--	464	tapply_is_typedef.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	457	tapply_is_typedef.php.imp_pess_full_exp	blob \| blame \| history \| raw
-rw-r--r--	77	tparam_class_const_bad.php	blob \| blame \| history \| raw
-rw-r--r--	267	tparam_class_const_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	102	tparam_class_const_good.php	blob \| blame \| history \| raw
-rw-r--r--	10	tparam_class_const_good.php.exp	blob \| blame \| history \| raw
-rw-r--r--	258	tparam_class_method_ambiguous.php	blob \| blame \| history \| raw
-rw-r--r--	10	tparam_class_method_ambiguous.php.exp	blob \| blame \| history \| raw
-rw-r--r--	72	tparam_class_method_bad.php	blob \| blame \| history \| raw
-rw-r--r--	264	tparam_class_method_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	119	tparam_class_method_good.php	blob \| blame \| history \| raw
-rw-r--r--	10	tparam_class_method_good.php.exp	blob \| blame \| history \| raw
-rw-r--r--	76	tparam_class_variable_bad.php	blob \| blame \| history \| raw
-rw-r--r--	272	tparam_class_variable_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	112	tparam_class_variable_good.php	blob \| blame \| history \| raw
-rw-r--r--	10	tparam_class_variable_good.php.exp	blob \| blame \| history \| raw
-rw-r--r--	89	tparam_constrained_class_method_bad.php	blob \| blame \| history \| raw
-rw-r--r--	237	tparam_constrained_class_method_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	202	type_constant_nast.php	blob \| blame \| history \| raw
-rw-r--r--	582	type_constant_nast.php.exp	blob \| blame \| history \| raw
-rw-r--r--	287	typedef.php	blob \| blame \| history \| raw
-rw-r--r--	10	typedef.php.exp	blob \| blame \| history \| raw
-rw-r--r--	83	typedef2.php	blob \| blame \| history \| raw
-rw-r--r--	419	typedef2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	93	typedef3.php	blob \| blame \| history \| raw
-rw-r--r--	419	typedef3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	208	union_lower.php	blob \| blame \| history \| raw
-rw-r--r--	10	union_lower.php.exp	blob \| blame \| history \| raw
-rw-r--r--	164	unsatisfiable_where_constraint1.php	blob \| blame \| history \| raw
-rw-r--r--	10	unsatisfiable_where_constraint1.php.exp	blob \| blame \| history \| raw
-rw-r--r--	378	unsatisfiable_where_constraint2.php	blob \| blame \| history \| raw
-rw-r--r--	10	unsatisfiable_where_constraint2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	306	use_trait_bad_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	2253	use_trait_bad_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	2193	use_trait_bad_constraint.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	345	use_trait_bad_constraint_2.php	blob \| blame \| history \| raw
-rw-r--r--	1077	use_trait_bad_constraint_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1016	use_trait_bad_constraint_2.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	320	use_trait_good_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	10	use_trait_good_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	320	where_bad.php	blob \| blame \| history \| raw
-rw-r--r--	854	where_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	617	where_clause.php	blob \| blame \| history \| raw
-rw-r--r--	10	where_clause.php.exp	blob \| blame \| history \| raw
-rw-r--r--	225	where_fail_1.php	blob \| blame \| history \| raw
-rw-r--r--	237	where_fail_1.php.exp	blob \| blame \| history \| raw
-rw-r--r--	724	where_fail_2.php	blob \| blame \| history \| raw
-rw-r--r--	1782	where_fail_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	2654	where_fail_2.php.imp_pess_exp	blob \| blame \| history \| raw
-rw-r--r--	162	where_on_function.php	blob \| blame \| history \| raw
-rw-r--r--	10	where_on_function.php.exp	blob \| blame \| history \| raw
-rw-r--r--	146	where_on_function_callsite.php	blob \| blame \| history \| raw
-rw-r--r--	275	where_on_function_callsite.php.exp	blob \| blame \| history \| raw
-rw-r--r--	900	where_override.php	blob \| blame \| history \| raw
-rw-r--r--	10	where_override.php.exp	blob \| blame \| history \| raw
-rw-r--r--	654	where_override_bad.php	blob \| blame \| history \| raw
-rw-r--r--	757	where_override_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	309	where_overrides_monomorphic.php	blob \| blame \| history \| raw
-rw-r--r--	255	where_overrides_monomorphic.php.exp	blob \| blame \| history \| raw
-rw-r--r--	213	where_trans.php	blob \| blame \| history \| raw
-rw-r--r--	10	where_trans.php.exp	blob \| blame \| history \| raw