Elaborate contexts on a method just like fun/lambda
commit66559eb716e62d76b3a9ade781172299ca3bba6e
authorLeo Osvald <leoo@fb.com>
Sat, 12 Dec 2020 22:53:48 +0000 (12 14:53 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Sat, 12 Dec 2020 22:55:41 +0000 (12 14:55 -0800)
treea8fb9ad5fd5a8367992521afae2fb2b451a4f64a
parent8fe20120127c6d56996985ff61cb46fb036c76da
Elaborate contexts on a method just like fun/lambda

Summary:
Factor out common logic for resolving contexts in namespaces
`HH\Contexts` and `HH\Contexts\Unsafe` and reuse it in `on_method_`.

Add a regression test, which failed previously.

Reviewed By: DavidSnider

Differential Revision: D25487414

fbshipit-source-id: 0cce48429db1462ba8bf95f4be57c9eb9cee9953
hphp/hack/src/naming/naming_elaborate_namespaces_endo.ml
hphp/hack/test/typecheck/coeffects/syntax_elaboration.php [new file with mode: 0644]
hphp/hack/test/typecheck/coeffects/syntax_elaboration.php.exp [new file with mode: 0644]