Add coercion to method parameter types
commit38c4aa2180f9475770d04f41fac04baefab2ec80
authorVassil Mladenov <vmladenov@fb.com>
Wed, 12 Jun 2019 22:49:41 +0000 (12 15:49 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 12 Jun 2019 22:53:48 +0000 (12 15:53 -0700)
tree9145a53ea595c67c93388f853612c2b56772016e
parentaf892b9c79e4fce6e56c39451cdddfaac56dc43e
Add coercion to method parameter types

Summary: With the decl type from `obj_get` present in the continuation, we can extract a `fun_type` for the `call` function, thereby enabling coercion to the arguments of a method.

Reviewed By: kmeht

Differential Revision: D15740400

fbshipit-source-id: 3f1c378f041dca1e56a7a1688aefa59e29bf77df
hphp/hack/src/typing/typing.ml
hphp/hack/test/typecheck/like_types/dynamic_coercion/method.php.exp
hphp/hack/test/typecheck/like_types/dynamic_coercion/method_union.php [new file with mode: 0644]
hphp/hack/test/typecheck/like_types/dynamic_coercion/method_union.php.exp [new file with mode: 0644]