Public Git Hosting - hiphop-php.git/commit

commit	7ba53b21c17b53f5d8eed464d8354ba302adb1aa
author	Vassil Mladenov <vmladenov@fb.com>
	Wed, 24 Jul 2019 23:51:06 +0000 (24 16:51 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Wed, 24 Jul 2019 23:54:46 +0000 (24 16:54 -0700)
tree	c7b15f8ef3c4fdb05c369005cee59c21b4a35742	tree \| snapshot (tar.gz zip)
parent	6b612eaae5296e7d4bd075957a318deefb361217	commit \| diff

Add dune typecheck_like_types test

Reviewed By: andrewjkennedy

Differential Revision: D16468100

fbshipit-source-id: e479f422a9c692b53dcc5b6e521d93a627acdc22