Bug #77566 [NEW]: void type is not covariant to mixed

From: Wes dot nospam at example dot org Operating system: Irrelevant PHP version: Irrelevant Package: *General Issues Bug Type: Bug Bug description:void type is not covariant to mixed Description: ------------ Going from "has a return value" to "no return value" is certainly not a valid covariant substitution (at least in theory, in practice void is null). The void RFC doesn't cover the case at all. https://wiki.php.net/rfc/void_return_type It is not unlikely that this is currently allowed by accident. Thank you. Test script: --------------- <?php class Foo { public function aaa(){} } class Bar extends Foo { public function aaa(): void{} } Expected result: ---------------- Error Actual result: -------------- No error -- Edit bug report at https://bugs.php.net/bug.php?id=77566&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=77566&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=77566&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=77566&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=77566&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=77566&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=77566&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=77566&r=needscript Try newer version: https://bugs.php.net/fix.php?id=77566&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=77566&r=support Expected behavior: https://bugs.php.net/fix.php?id=77566&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=77566&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=77566&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=77566&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=77566&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=77566&r=dst IIS Stability: https://bugs.php.net/fix.php?id=77566&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=77566&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=77566&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=77566&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=77566&r=mysqlcfg