| commit | b66b2e56797989d73f1e8c0346ae28b37f20dcdf | |
| author | Catherine Gasnier <catg@fb.com> | |
| Fri, 22 Mar 2019 12:15:59 +0000 (22 05:15 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Fri, 22 Mar 2019 12:19:11 +0000 (22 05:19 -0700) | ||
| tree | 56fdec5fc3050144c88525aa1e69f1c5a70e849e | treesnapshot (tar.gz zip) |
| parent | 79a8cfbdf56dc4e8362f629dbc0f3db1822520fe | commitdiff |
remove unneeded todo in typing_generic
Summary:
Removing TODO added by D13084464.
All usages of this function are on things that cannot be type variables (global functions, class members, types from type hints).
Reviewed By: andrewjkennedy
Differential Revision: D14540825
fbshipit-source-id: 919a12d88e6d1ce4b1c681d2f3f5736dddecf9b3
Summary:
Removing TODO added by D13084464.
All usages of this function are on things that cannot be type variables (global functions, class members, types from type hints).
Reviewed By: andrewjkennedy
Differential Revision: D14540825
fbshipit-source-id: 919a12d88e6d1ce4b1c681d2f3f5736dddecf9b3
| hphp/hack/src/typing/tast_check/reified_check.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_generic.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_variance.ml | diffblobblamehistory |