Add a flag to disallow discarded nullable awaitables
commit88704b2ab578570c16cba8bc59696e12b3ec904f
authorMillie Chen <milliechen@fb.com>
Sat, 23 Nov 2019 03:57:17 +0000 (22 19:57 -0800)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Sat, 23 Nov 2019 05:23:06 +0000 (22 21:23 -0800)
tree7e1ac02c9f2b973dd6679ff3911d354f7ff7dcec
parentc84955882bc91de132e4b8064ab985fee621ceee
Add a flag to disallow discarded nullable awaitables

Summary: This adds a flag to error on uses of discarded nullable awaitables except in cases with ===/!== against null, and is null/nonnull

Reviewed By: Matt-Schellhas

Differential Revision: D18578972

fbshipit-source-id: b436d51223271266f5bae592adb80d253b453858
hphp/hack/src/hh_parse.ml
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/options/typecheckerOptions.ml
hphp/hack/src/oxidized/gen/global_options.rs
hphp/hack/src/oxidized/manual/global_options_impl.rs
hphp/hack/src/server/serverConfig.ml