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

drwxr-xr-x		..
-rw-r--r--	26	HH_FLAGS	blob \| blame \| history \| raw
-rw-r--r--	202	as_int_arraykey.php	blob \| blame \| history \| raw
-rw-r--r--	10	as_int_arraykey.php.exp	blob \| blame \| history \| raw
-rw-r--r--	703	bad_contra_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	610	bad_contra_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1292	bad_contra_constraint_2.php	blob \| blame \| history \| raw
-rw-r--r--	478	bad_contra_constraint_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	131	class_method.php	blob \| blame \| history \| raw
-rw-r--r--	385	class_method.php.exp	blob \| blame \| history \| raw
-rw-r--r--	140	class_method_tparam.php	blob \| blame \| history \| raw
-rw-r--r--	401	class_method_tparam.php.exp	blob \| blame \| history \| raw
-rw-r--r--	133	class_static_variable.php	blob \| blame \| history \| raw
-rw-r--r--	404	class_static_variable.php.exp	blob \| blame \| history \| raw
-rw-r--r--	282	class_tparam_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	10	class_tparam_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	123	class_type_constant1.php	blob \| blame \| history \| raw
-rw-r--r--	400	class_type_constant1.php.exp	blob \| blame \| history \| raw
-rw-r--r--	143	class_type_constant2.php	blob \| blame \| history \| raw
-rw-r--r--	400	class_type_constant2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	266	class_type_constant3.php	blob \| blame \| history \| raw
-rw-r--r--	10	class_type_constant3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	164	class_type_parameter.php	blob \| blame \| history \| raw
-rw-r--r--	417	class_type_parameter.php.exp	blob \| blame \| history \| raw
-rw-r--r--	133	class_variable.php	blob \| blame \| history \| raw
-rw-r--r--	376	class_variable.php.exp	blob \| blame \| history \| raw
-rw-r--r--	367	classmeth_constraints.php	blob \| blame \| history \| raw
-rw-r--r--	10	classmeth_constraints.php.exp	blob \| blame \| history \| raw
-rw-r--r--	255	classmeth_constraints_bad.php	blob \| blame \| history \| raw
-rw-r--r--	422	classmeth_constraints_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	163	constraint_lower_newtype.php	blob \| blame \| history \| raw
-rw-r--r--	10	constraint_lower_newtype.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	constraint_lower_newtype.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	442	constraint_override_bad.php	blob \| blame \| history \| raw
-rw-r--r--	776	constraint_override_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	637	constraint_override_bad2.php	blob \| blame \| history \| raw
-rw-r--r--	785	constraint_override_bad2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	685	constraint_override_bad3.php	blob \| blame \| history \| raw
-rw-r--r--	827	constraint_override_bad3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	constraint_override_bad3.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	494	constraint_override_good.php	blob \| blame \| history \| raw
-rw-r--r--	10	constraint_override_good.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	constraint_override_good.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	489	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--	0	constraint_override_super_dependent.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	573	constraints_transitive.php	blob \| blame \| history \| raw
-rw-r--r--	10	constraints_transitive.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	constraints_transitive.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	763	contravariance_constraint_bad.php	blob \| blame \| history \| raw
-rw-r--r--	465	contravariance_constraint_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1057	contravariance_constraint_bad_2.php	blob \| blame \| history \| raw
-rw-r--r--	564	contravariance_constraint_bad_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	contravariance_constraint_bad_2.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	10	elastic.php.exp	blob \| blame \| history \| raw
-rw-r--r--	440	eq_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	10	eq_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	94	function.php	blob \| blame \| history \| raw
-rw-r--r--	359	function.php.exp	blob \| blame \| history \| raw
-rw-r--r--	103	function_tparam.php	blob \| blame \| history \| raw
-rw-r--r--	385	function_tparam.php.exp	blob \| blame \| history \| raw
-rw-r--r--	191	generalized_where.php	blob \| blame \| history \| raw
-rw-r--r--	10	generalized_where.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	generalized_where.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	509	generic_method_constraint_bad.php	blob \| blame \| history \| raw
-rw-r--r--	1898	generic_method_constraint_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	generic_method_constraint_bad.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	545	generic_self_type_access_failure.php	blob \| blame \| history \| raw
-rw-r--r--	1308	generic_self_type_access_failure.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	generic_self_type_access_failure.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	1370	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.no_format	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--	276	instanceof_constraint_1.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_1.php.exp	blob \| blame \| history \| raw
-rw-r--r--	285	instanceof_constraint_2.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	312	instanceof_constraint_3.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	359	instanceof_constraint_4.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_4.php.exp	blob \| blame \| history \| raw
-rw-r--r--	242	instanceof_constraint_5.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_constraint_5.php.exp	blob \| blame \| history \| raw
-rw-r--r--	336	instanceof_invariant.php	blob \| blame \| history \| raw
-rw-r--r--	10	instanceof_invariant.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	multi_arrayget_bad.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	313	multi_as_arrayget.php	blob \| blame \| history \| raw
-rw-r--r--	10	multi_as_arrayget.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	multi_as_arrayget.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	1140	multi_as_invoke.php	blob \| blame \| history \| raw
-rw-r--r--	10	multi_as_invoke.php.exp	blob \| blame \| history \| raw
-rw-r--r--	727	multi_as_invoke_ambiguous.php	blob \| blame \| history \| raw
-rw-r--r--	276	multi_as_invoke_ambiguous.php.exp	blob \| blame \| history \| raw
-rw-r--r--	568	multi_as_invoke_bad.php	blob \| blame \| history \| raw
-rw-r--r--	251	multi_as_invoke_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	197	nullary_constructor_constraint.php	blob \| blame \| history \| raw
-rw-r--r--	454	nullary_constructor_constraint.php.exp	blob \| blame \| history \| raw
-rw-r--r--	611	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--	277	preserve_null.php	blob \| blame \| history \| raw
-rw-r--r--	10	preserve_null.php.exp	blob \| blame \| history \| raw
-rw-r--r--	96	recursive_constraint_bad.php	blob \| blame \| history \| raw
-rw-r--r--	10	recursive_constraint_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	106	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--	172	recursive_constraint_bad_4.php	blob \| blame \| history \| raw
-rw-r--r--	627	recursive_constraint_bad_4.php.exp	blob \| blame \| history \| raw
-rw-r--r--	159	recursive_constraint_bad_5.php	blob \| blame \| history \| raw
-rw-r--r--	627	recursive_constraint_bad_5.php.exp	blob \| blame \| history \| raw
-rw-r--r--	153	recursive_constraint_bad_7.php	blob \| blame \| history \| raw
-rw-r--r--	264	recursive_constraint_bad_7.php.exp	blob \| blame \| history \| raw
-rw-r--r--	1957	recursive_constraint_good.php	blob \| blame \| history \| raw
-rw-r--r--	10	recursive_constraint_good.php.exp	blob \| blame \| history \| raw
-rw-r--r--	231	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--	209	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--	499	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--	190	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--	172	refl_subtype.php	blob \| blame \| history \| raw
-rw-r--r--	10	refl_subtype.php.exp	blob \| blame \| history \| raw
-rw-r--r--	436	super_as_covariant.php	blob \| blame \| history \| raw
-rw-r--r--	10	super_as_covariant.php.exp	blob \| blame \| history \| raw
-rw-r--r--	999	superas.php	blob \| blame \| history \| raw
-rw-r--r--	10	superas.php.exp	blob \| blame \| history \| raw
-rw-r--r--	272	tapply_is_newtype.php	blob \| blame \| history \| raw
-rw-r--r--	529	tapply_is_newtype.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	tapply_is_newtype.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	208	tapply_is_typedef.php	blob \| blame \| history \| raw
-rw-r--r--	474	tapply_is_typedef.php.exp	blob \| blame \| history \| raw
-rw-r--r--	212	type_constant_nast.php	blob \| blame \| history \| raw
-rw-r--r--	914	type_constant_nast.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	type_constant_nast.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	290	typedef.php	blob \| blame \| history \| raw
-rw-r--r--	10	typedef.php.exp	blob \| blame \| history \| raw
-rw-r--r--	93	typedef2.php	blob \| blame \| history \| raw
-rw-r--r--	357	typedef2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	103	typedef3.php	blob \| blame \| history \| raw
-rw-r--r--	357	typedef3.php.exp	blob \| blame \| history \| raw
-rw-r--r--	330	where_bad.php	blob \| blame \| history \| raw
-rw-r--r--	434	where_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	where_bad.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	627	where_clause.php	blob \| blame \| history \| raw
-rw-r--r--	10	where_clause.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	where_clause.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	235	where_fail_1.php	blob \| blame \| history \| raw
-rw-r--r--	408	where_fail_1.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	where_fail_1.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	453	where_fail_2.php	blob \| blame \| history \| raw
-rw-r--r--	10	where_fail_2.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	where_fail_2.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	172	where_on_function.php	blob \| blame \| history \| raw
-rw-r--r--	10	where_on_function.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	where_on_function.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	156	where_on_function_callsite.php	blob \| blame \| history \| raw
-rw-r--r--	427	where_on_function_callsite.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	where_on_function_callsite.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	910	where_override.php	blob \| blame \| history \| raw
-rw-r--r--	10	where_override.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	where_override.php.no_format	blob \| blame \| history \| raw
-rw-r--r--	657	where_override_bad.php	blob \| blame \| history \| raw
-rw-r--r--	792	where_override_bad.php.exp	blob \| blame \| history \| raw
-rw-r--r--	0	where_override_bad.php.no_format	blob \| blame \| history \| raw