Public Git Hosting - hiphop-php.git/commit

commit	7d75f0c35e5c05da108e21c96fb70cefad60541a
author	Selina Kim <selinakim@fb.com>
	Mon, 11 Jul 2022 20:02:33 +0000 (11 13:02 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Mon, 11 Jul 2022 20:02:33 +0000 (11 13:02 -0700)
tree	d47f12985b488d86d03e43e9a58bf219a4b2d91c	tree \| snapshot (tar.gz zip)
parent	195bcddf653fd4772dfecc904b5a5b2bad05c3b2	commit \| diff

Add constraints for simple Upcasts in walker

Summary: Walker now generates constraints for `h<> upcast dynamic`. This code is based on the shape_analysis module.

Differential Revision: D37625423

fbshipit-source-id: fa82bb6cfba9d36cea464240ccc4c770ccee19d4

hphp/hack/src/server/refactor_sd/refactor_sd_env.ml		diff \| blob \| blame \| history
hphp/hack/src/server/refactor_sd/refactor_sd_env.mli		diff \| blob \| blame \| history
hphp/hack/src/server/refactor_sd/refactor_sd_walker.ml		diff \| blob \| blame \| history
hphp/hack/test/refactor_sd/dump_constraints/simple_upcast.php	[new file with mode: 0644]	blob
hphp/hack/test/refactor_sd/dump_constraints/simple_upcast.php.exp	[new file with mode: 0644]	blob

RSS Atom