| commit | 57aac6d33f10d89ec9d9a513a063976459bb3e93 | |
| author | Mistral Orhan Jean-Pierre Contrastin <mojpc2@fb.com> | |
| Mon, 18 Jul 2022 20:01:16 +0000 (18 13:01 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Mon, 18 Jul 2022 20:01:16 +0000 (18 13:01 -0700) | ||
| tree | da91baa666ac9392da109fe87670d63a2dabcf72 | treesnapshot (tar.gz zip) |
| parent | 6e01286166f7eb66e10ca495bf6dbd280cda5e12 | commitdiff |
Basic handling of callable returns
Summary:
This diff adds support for
1. inferring shape types at return type hints,
2. handling returns with no expressions,
3. and emitting codemoding directives for returns.
We generate subset constraints from the return expression entities into the unique return entity stored in the environment.
The treatment is incomplete in case of multiple returns that will come in a different diff. See T125884349.
Differential Revision: D37787587
fbshipit-source-id: e90fdf784418ec6eb1a81670f506d8241a780748
Summary:
This diff adds support for
1. inferring shape types at return type hints,
2. handling returns with no expressions,
3. and emitting codemoding directives for returns.
We generate subset constraints from the return expression entities into the unique return entity stored in the environment.
The treatment is incomplete in case of multiple returns that will come in a different diff. See T125884349.
Differential Revision: D37787587
fbshipit-source-id: e90fdf784418ec6eb1a81670f506d8241a780748
18 files changed: