Public Git Hosting - hiphop-php.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 8518a91) | patch

commit	2ab4f6d7cc5e349a26489a0b1382cad3f43e1892
author	Catherine Gasnier <catg@fb.com>
	Fri, 15 Nov 2019 14:58:18 +0000 (15 06:58 -0800)
committer	Facebook Github Bot <facebook-github-bot@users.noreply.github.com>
	Fri, 15 Nov 2019 15:00:26 +0000 (15 07:00 -0800)
tree	530a966c14fe2ba4bf6535998473fcec72e6df63	tree \| snapshot (tar.gz zip)
parent	8518a91f91466a565caa695287dc8ca07a3cb41f	commit \| diff

non_null does intersection with Tnonnull

Summary: Allows to clean up `push_option_out`.

Reviewed By: andrewjkennedy

Differential Revision: D17342028

fbshipit-source-id: e0d24e1fe7180eb7381470c435f5e01ede6cc2aa

14 files changed:

hphp/hack/src/typing/tast_utils.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/type_mapper.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_coercion.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_solver.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_solver.mli		diff \| blob \| blame \| history
hphp/hack/test/integration_ml/test_infer_type.ml		diff \| blob \| blame \| history
hphp/hack/test/tast/array_filter.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/array_filter.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/array_filter.php.like_types.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/hh_fixme_disjunction.php		diff \| blob \| blame \| history
hphp/hack/test/typecheck/hh_fixme_disjunction.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/new_inference/lambda_as_param.php	[new file with mode: 0644]	blob
hphp/hack/test/typecheck/new_inference/lambda_as_param.php.exp	[new file with mode: 0644]	blob