| commit | c2c955527104abf8f4e69908e7106e4bd27f303e | |
| author | Thomas Jiang <thomasjiang@fb.com> | |
| Thu, 30 Jul 2020 05:06:34 +0000 (29 22:06 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 30 Jul 2020 05:33:13 +0000 (29 22:33 -0700) | ||
| tree | 6b7175162f1dbe03824afa755e504290282a717a | treesnapshot (tar.gz zip) |
| parent | 2393d25e1b2163e5fe0b10a84c72e9595e77261e | commitdiff |
Typecheck reified function pointers
Summary:
We want to ensure that when a function pointer is created to a function with reified generics, that we correctly capture those types when passing around the function pointer.
`reified_check` is modified. Normally it expects that any call of a function with reified generics has the generics bound at the call site. Since function pointers break this assumption, we want to ensure that we check the reified generics for function pointers but do not need to check them when calling it. So added a bit in the flag map to mark function pointers.
Reviewed By: Wilfred
Differential Revision: D22080890
fbshipit-source-id: 14ede11594f6b23afee93cb30a76bb137c1ae234
Summary:
We want to ensure that when a function pointer is created to a function with reified generics, that we correctly capture those types when passing around the function pointer.
`reified_check` is modified. Normally it expects that any call of a function with reified generics has the generics bound at the call site. Since function pointers break this assumption, we want to ensure that we check the reified generics for function pointers but do not need to check them when calling it. So added a bit in the flag map to mark function pointers.
Reviewed By: Wilfred
Differential Revision: D22080890
fbshipit-source-id: 14ede11594f6b23afee93cb30a76bb137c1ae234
48 files changed: