Check mutability in constructor calls
commit303f007b67747050929e1debdc00eafbe44496f8
authorVladimir Matveev <vladima@fb.com>
Fri, 7 Sep 2018 21:48:21 +0000 (7 14:48 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 7 Sep 2018 21:57:47 +0000 (7 14:57 -0700)
treeb710334647cbdbf427c9478e07e19adf6f45cc91
parent1e53732895b5da67a8dcbf78bffc796544b748cc
Check mutability in constructor calls

Summary: As in title - use existing logic for function calls to ensure mutability correctness when calling constructors

Reviewed By: DavidSnider

Differential Revision: D9724441

fbshipit-source-id: 2426533f7b45c01aa343452da7ce0c8e0e353872
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_mutability.ml
hphp/hack/src/typing/typing_mutability.mli
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor1.php [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor1.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor2.php [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor2.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor3.php [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor3.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor4.php [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor4.php.exp [new file with mode: 0644]