Fix a bug with dynamic_meth_caller coeffect propagation
commit3664226376173df47a3ac706227d2b602abe0e44
authorOguz Ulgen <oulgen@fb.com>
Fri, 20 Aug 2021 21:05:00 +0000 (20 14:05 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 20 Aug 2021 21:06:38 +0000 (20 14:06 -0700)
tree317a90924bf577e3617b4553dc439c56a77b7423
parent2e0b34fd76f50f7a41ac247f40f9ba41d7d3c9ac
Fix a bug with dynamic_meth_caller coeffect propagation

Summary: `dynamic_meth_caller`'s coeffects were set to be pure which is not correct. It needs to inherit from the parent.

Reviewed By: rodmk

Differential Revision: D30434772

fbshipit-source-id: 10ccd2a6aef86d051144951f5c2b36170c493549
hphp/hack/src/hhbc/hhbc_by_ref/closure_convert.rs
hphp/hack/src/hhbc/hhbc_by_ref/hhas_coeffects.rs
hphp/test/slow/coeffects/dynamic-meth-caller.php [new file with mode: 0644]
hphp/test/slow/coeffects/dynamic-meth-caller.php.expect [new file with mode: 0644]
hphp/test/slow/coeffects/dynamic-meth-caller.php.opts [new file with mode: 0644]