| commit | 2068730908f4b28cd9898c74f2c80368a5b074d3 | |
| author | Vassil Mladenov <vmladenov@fb.com> | |
| Thu, 28 Feb 2019 18:58:21 +0000 (28 10:58 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Thu, 28 Feb 2019 19:02:58 +0000 (28 11:02 -0800) | ||
| tree | 8494e5a324f0268c963ca6dc76797ab06cdb0524 | treesnapshot (tar.gz zip) |
| parent | d95b926572de0ab10833768af6770db1e6e66fb1 | commitdiff |
Require type parameters in new T() to be <<__Newable>>
Summary: Similar to `<<__Enforceable>>` in D14163043, we have `<<__Newable>>` as a gate to reified type arguments. Then, only newable type parameters can be used in `new`. This forces only compatible type arguments (i.e. not abstract) to be given to places that will use `new`.
Reviewed By: oulgen
Differential Revision: D13932875
fbshipit-source-id: 301c6bb0394eef3b106bac4dcde13d880d2e9eb9
Summary: Similar to `<<__Enforceable>>` in D14163043, we have `<<__Newable>>` as a gate to reified type arguments. Then, only newable type parameters can be used in `new`. This forces only compatible type arguments (i.e. not abstract) to be given to places that will use `new`.
Reviewed By: oulgen
Differential Revision: D13932875
fbshipit-source-id: 301c6bb0394eef3b106bac4dcde13d880d2e9eb9
16 files changed: