| commit | 159c8e21c420bba08302752c0aa60b6435fbe641 | |
| author | Thomas Jiang <thomasjiang@fb.com> | |
| Mon, 21 Dec 2020 22:42:02 +0000 (21 14:42 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Mon, 21 Dec 2020 22:46:08 +0000 (21 14:46 -0800) | ||
| tree | 94c06c62b3c83e70582182113048dbc7c5510e94 | treesnapshot (tar.gz zip) |
| parent | 30e428abd0e32fb566027c86e8eb5390ba1d9ad2 | commitdiff |
Make ExprTree's TInfer type param covariant
Summary:
ExprTree can be covariant in the third type parameter
That way we can say that
`ExprTree<_, _, Subclass>` is a subtype of `ExprTree<_, _, Superclass>`. Which I believe is correct.
Reviewed By: Wilfred
Differential Revision: D25406677
fbshipit-source-id: f33ad3249281149be22f3046550e2a25122f44b7
Summary:
ExprTree can be covariant in the third type parameter
That way we can say that
`ExprTree<_, _, Subclass>` is a subtype of `ExprTree<_, _, Superclass>`. Which I believe is correct.
Reviewed By: Wilfred
Differential Revision: D25406677
fbshipit-source-id: f33ad3249281149be22f3046550e2a25122f44b7
64 files changed: