Test both ServerInferType visitors.
commit7fcd844abadd8d1b8be6e55eefb8b57122ff1333
authorWill Pitts <wipi@fb.com>
Fri, 9 Feb 2018 00:40:56 +0000 (8 16:40 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 9 Feb 2018 00:51:20 +0000 (8 16:51 -0800)
tree5d6ae203c187cd169c4e7013090dac1e39ec926d
parent82add8e671b0526e48e24267b5aa04c9b5cb3ef4
Test both ServerInferType visitors.

Summary: Right now we only have direct automated testing for `ServerInferType.function_following_visitor` (`ServerInferType.base_visitor` is indirectly tested in `Test_server_hover`).  This change adds direct tests for `ServerInferType.base_visitor`.

Differential Revision: D6918103

fbshipit-source-id: d39da2ca97f017cbc0e3bdabbfbd83d379e4832e
hphp/hack/test/integration_ml/test_infer_type.ml
hphp/hack/test/integration_ml/test_server_hover.ml