| commit | 154747937cec54d2c41a4828354540b2ecaeaef2 | |
| author | Vincent Siles <vsiles@fb.com> | |
| Thu, 23 Jul 2020 10:48:11 +0000 (23 03:48 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 23 Jul 2020 10:53:46 +0000 (23 03:53 -0700) | ||
| tree | b67a2782dd57744b6030b43e3a94ee2eb6fe38f6 | treesnapshot (tar.gz zip) |
| parent | f9cc41330549072e552ed5979c5fa8c00f5286e5 | commitdiff |
Adding support for __Pu in the type checker
Summary:
To help compilation which doesn't have enough local information when
traits are involved, we require for now a user annotation to compile
correctly. These annotations are checked by the type checker, which
also provide them if they are missing or invalid.
Reviewed By: madgen
Differential Revision: D22356844
fbshipit-source-id: c57f597b90c9e3d9d50d44a439102f8fd7564d6a
Summary:
To help compilation which doesn't have enough local information when
traits are involved, we require for now a user annotation to compile
correctly. These annotations are checked by the type checker, which
also provide them if they are missing or invalid.
Reviewed By: madgen
Differential Revision: D22356844
fbshipit-source-id: c57f597b90c9e3d9d50d44a439102f8fd7564d6a
22 files changed: