Disallow pipe from being used as an inout argument
commit5d2833a0c3cd3dca93c6f5af69f4ff2dc2de705e
authorOguz Ulgen <oulgen@fb.com>
Wed, 16 Sep 2020 20:22:59 +0000 (16 13:22 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 16 Sep 2020 20:35:54 +0000 (16 13:35 -0700)
tree51eae70403535879e0177f96e5e5c790ae88a761
parentd16a90713499fce0cdd5504574268810b06b241a
Disallow pipe from being used as an inout argument

Summary: Cannot read the value of $$ back, so lets disallow

Reviewed By: jano

Differential Revision: D23714164

fbshipit-source-id: 355232ba1f6c6bf90c43744e6b980c49321386a8
hphp/hack/src/parser/rust_parser_errors.rs
hphp/hack/test/typecheck/inout/bad_inout_use_pipe_var.php [deleted file]
hphp/hack/test/typecheck/inout/bad_inout_use_pipe_var.php.exp [deleted file]
hphp/test/slow/inout/bad-arg-pipe.php [new file with mode: 0644]
hphp/test/slow/inout/bad-arg-pipe.php.expectf [new file with mode: 0644]