Redo cipp coeffects hierarchy
commit73997c4b7ea6f06df7a297473d78cb4cc34fe0cb
authorDavid Snider <dizzy@fb.com>
Thu, 28 Jan 2021 07:01:26 +0000 (27 23:01 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 28 Jan 2021 07:03:53 +0000 (27 23:03 -0800)
treea4206c5f5f972b19664a6294caa57a489a4d36d5
parenta7d17aa3cf9625e279e8ac3ca9e81893f5df5fda
Redo cipp coeffects hierarchy

Summary: as requested

Reviewed By: KendallHopkins

Differential Revision: D26119251

fbshipit-source-id: dd2aec9949a0d2e5346eabaa56272dee4d3538f4
15 files changed:
hphp/hack/hhi/coeffect/capabilities.hhi
hphp/hack/hhi/coeffect/contexts.hhi
hphp/hack/hhi/coeffect/unsafe_contexts.hhi
hphp/hack/test/typecheck/coeffects/cipp.php
hphp/hack/test/typecheck/coeffects/cipp.php.exp
hphp/hack/test/typecheck/coeffects/cipp_ns.php
hphp/hack/test/typecheck/coeffects/cipp_ns.php.exp
hphp/hack/test/typecheck/coeffects/closures_explicit.php
hphp/hack/test/typecheck/coeffects/closures_explicit.php.exp
hphp/hack/test/typecheck/coeffects/closures_implicit.php
hphp/hack/test/typecheck/coeffects/closures_implicit.php.exp
hphp/hack/test/typecheck/coeffects/ctor.php
hphp/hack/test/typecheck/coeffects/ctor.php.exp
hphp/hack/test/typecheck/coeffects/ctx_with_missing_generics.php
hphp/hack/test/typecheck/coeffects/ctx_with_missing_generics.php.exp