Bug #76011 [NEW]: Sub class should be allowed to change the specificity of return type
| From: | ramouixn at pokemail dot net | Date: | Mon, 26 Feb 2018 11:48:41 +0000 |
| Subject: | Bug #76011 [NEW]: Sub class should be allowed to change the specificity of return type | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-214109@lists.php.net to get a copy of this message | ||
From: ramouixn at pokemail dot net
Operating system:
PHP version: 7.2.2
Package: Scripting Engine problem
Bug Type: Bug
Bug description:Sub class should be allowed to change the specificity of return type
Description:
------------
Greetings,
I believe the following should be allowed.
class Animal {}
class Cat extends Animal {}
class My1 {
public function getAnimal () : Animal {}
}
class My2 extends My1 {
public function getAnimal () : Cat {}
}
Because Cat is a Animal and thus compatible with the inherited
signature.
Thanks in advance.
Expected result:
----------------
No errors
Actual result:
--------------
Compile error
--
Edit bug report at https://bugs.php.net/bug.php?id=76011&edit=1
--
Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=76011&r=trysnapshot54
Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=76011&r=trysnapshot55
Try a snapshot (trunk): https://bugs.php.net/fix.php?id=76011&r=trysnapshottrunk
Fixed in SVN: https://bugs.php.net/fix.php?id=76011&r=fixed
Fixed in release: https://bugs.php.net/fix.php?id=76011&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=76011&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=76011&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=76011&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=76011&r=support
Expected behavior: https://bugs.php.net/fix.php?id=76011&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=76011&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=76011&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=76011&r=globals
PHP 4 support discontinued: https://bugs.php.net/fix.php?id=76011&r=php4
Daylight Savings: https://bugs.php.net/fix.php?id=76011&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=76011&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=76011&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=76011&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=76011&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=76011&r=mysqlcfg