| commit | d97eb44e4805e9f3c88566a91ff1a25c914bf596 | |
| author | Catherine Gasnier <catg@fb.com> | |
| Wed, 26 Feb 2020 19:16:04 +0000 (26 11:16 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 26 Feb 2020 19:37:03 +0000 (26 11:37 -0800) | ||
| tree | 98d4c098af3c109bca7104c1bcfb4909729012cd | treesnapshot (tar.gz zip) |
| parent | beb7b2d478c5153f484fcc797015bb454cfe41dc | commitdiff |
allow to infer partially annotated classes
Summary:
We can't easily create type vars for partially annotated types in the decl phase, because this would require fetching the decl for the class to check its type parameters.
Instead, we create the global type variables in Typing, with its ID being a hash of the position of the partial annotation.
We also fix the setting of the variances.
Differential Revision: D20036858
fbshipit-source-id: b49bdfb427e91b9df2ab3c29f6cbf7b2d0896aa2
Summary:
We can't easily create type vars for partially annotated types in the decl phase, because this would require fetching the decl for the class to check its type parameters.
Instead, we create the global type variables in Typing, with its ID being a hash of the position of the partial annotation.
We also fix the setting of the variances.
Differential Revision: D20036858
fbshipit-source-id: b49bdfb427e91b9df2ab3c29f6cbf7b2d0896aa2
16 files changed: