| commit | 9e990043f6be649c40683a81889ef8634ccffbf9 | |
| author | Fred Emmott <fe@fb.com> | |
| Tue, 17 Jul 2018 23:26:22 +0000 (17 16:26 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 17 Jul 2018 23:43:54 +0000 (17 16:43 -0700) | ||
| tree | 064bb58e6aec0520532d43ab92707ca20f078e78 | treesnapshot (tar.gz zip) |
| parent | 0bcc1e94ef44967a88aa1c4e31a56a64e5635d63 | commitdiff |
Implementations of abstract methods can have supertype parameter types
Summary:
Currently the case if `force_hh` is on. Make it true for any subclasses in Hack, rather than PHP.
Going to put up a separate diff RE this only applying to abstract functions.
refs facebook/hhvm#8256
Reviewed By: swtaarrs
Differential Revision: D8868379
fbshipit-source-id: 83f749139c610e6b0546695b6090f0970bf302b5
Summary:
Currently the case if `force_hh` is on. Make it true for any subclasses in Hack, rather than PHP.
Going to put up a separate diff RE this only applying to abstract functions.
refs facebook/hhvm#8256
Reviewed By: swtaarrs
Differential Revision: D8868379
fbshipit-source-id: 83f749139c610e6b0546695b6090f0970bf302b5
| hphp/runtime/vm/type-constraint.cpp | diffblobblamehistory | |
| hphp/test/slow/class_method/abstract_variance.php | [new file with mode: 0644] | blob |
| hphp/test/slow/class_method/abstract_variance.php.expect | [new file with mode: 0644] | blob |