Public Git Hosting - hiphop-php.git/commit

commit	189531763e87cce01af914c528d4f5867ad4a538
author	Catherine Gasnier <catg@fb.com>
	Fri, 7 Dec 2018 19:45:01 +0000 (7 11:45 -0800)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Fri, 7 Dec 2018 20:15:45 +0000 (7 12:15 -0800)
tree	e0ae28de8a79ac1ea612572c19e0aec45b4da583	tree \| snapshot (tar.gz zip)
parent	c5824633fde2652f2146dba564d40b643ecefddc	commit \| diff

Tany as subtype is valid

Summary: Extended testing shows we can do this safely.

Reviewed By: andrewjkennedy

Differential Revision: D13343361

fbshipit-source-id: d8a059fdc02be7be405b38d876e6d65071677e04

RSS Atom

hphp/hack/src/typing/typing_subtype.ml		diff \| blob \| blame \| history
hphp/hack/test/typecheck/new_inference/concat_test.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/new_inference/hhvm_lambda3.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/new_inference/hhvm_lambda6.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/new_inference/lambda08.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/new_inference/lambda13.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/new_inference/nullsafe-bug.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/new_inference/strict_call_tany3.php.exp		diff \| blob \| blame \| history