Implement CippGlobal attribute
commit78a8706e8ccb431591ba7262c8ad545afa393d6c
authorJames Wu <jjwu@fb.com>
Tue, 15 Sep 2020 19:24:45 +0000 (15 12:24 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 15 Sep 2020 23:46:11 +0000 (15 16:46 -0700)
tree7ebf5c8da7d51012b07d6076c9d73002f69c515b
parentf597ae66490c8c08316ef90f61eadbd998a152dc
Implement CippGlobal attribute

Summary:
This diff makes the CippGlobal attribute, which can be called from any context
and can call any context. CippGlobal is meant to indicate that some code only
reads and will not write any sensitive data.

Reviewed By: DavidSnider

Differential Revision: D23689379

fbshipit-source-id: c698b14bcc64c9775d52b1be4ed84a9e9b0a08b7
33 files changed:
hphp/hack/src/decl/decl_fun_utils.ml
hphp/hack/src/decl/direct_decl_smart_constructors.rs
hphp/hack/src/naming/naming_special_names.ml
hphp/hack/src/naming/naming_special_names.rs
hphp/hack/src/oxidized_by_ref/gen/typing_defs_core.rs
hphp/hack/src/parser/syntax_error.rs
hphp/hack/src/typing/nast_check_env.ml
hphp/hack/src/typing/pp_type.ml
hphp/hack/src/typing/tast_check/basic_reactivity_check.ml
hphp/hack/src/typing/typing_defs.ml
hphp/hack/src/typing/typing_defs_core.ml
hphp/hack/src/typing/typing_defs_core.mli
hphp/hack/src/typing/typing_log.ml
hphp/hack/src/typing/typing_subtype.ml
hphp/hack/src/typing/typing_utils.ml
hphp/hack/test/full_fidelity/cases/purity-v1/parse_multiple_rx+pure.php.errors.exp
hphp/hack/test/typecheck/reactive/parse_multiple1.php.exp
hphp/hack/test/typecheck/reactive/parse_multiple2.php.exp
hphp/hack/test/typecheck/reactive/parse_multiple3.php.exp
hphp/hack/test/typecheck/reactive/parse_multiple4.php.exp
hphp/hack/test/typecheck/reactive/parse_multiple5.php.exp
hphp/hack/test/typecheck/reactive/parse_multiple6.php.exp
hphp/hack/test/typecheck/reactive/parse_multiple7.php.exp
hphp/hack/test/typecheck/reactive/parse_multiple8.php.exp
hphp/hack/test/typecheck/reactive/rx_if_implements11.php.exp
hphp/test/slow/rx/multiple_reactivity1.php.expectf
hphp/test/slow/rx/multiple_reactivity2.php.expectf
hphp/test/slow/rx/multiple_reactivity3.php.expectf
hphp/test/slow/rx/multiple_reactivity4.php.expectf
hphp/test/slow/rx/multiple_reactivity5.php.expectf
hphp/test/slow/rx/multiple_reactivity6.php.expectf
hphp/test/slow/rx/multiple_reactivity7.php.expectf
hphp/test/slow/rx/multiple_reactivity8.php.expectf