Doc #78677 [Com]: Parameter Type Widening not properly documented

Edit report at https://bugs.php.net/bug.php?id=78677&edit=1 ID: 78677 Comment by: tiffany@php.net Reported by: pavel at bunaev dot ru Summary: Parameter Type Widening not properly documented Status: Verified Type: Documentation Problem Package: Class/Object related Operating System: 18.04.1-Ubuntu PHP Version: 7.2.23 Assigned To: tiffany Block user comment: N Private report: N New Comment: This bug is fixed with the recent revision: http://svn.php.net/viewvc?view=revision&revision=349390 Previous Comments: ------------------------------------------------------------------------ [2019-10-17 14:20:22] sjon@php.net reopening as a documentation bug ------------------------------------------------------------------------ [2019-10-17 10:53:51] pavel at bunaev dot ru Indeed, this is not a bug. Somehow I missed this point in the documentation :( I apologize for wasting your time in vain Thanks for the clarification. ------------------------------------------------------------------------ [2019-10-17 09:12:32] cmb@php.net Well, there is a note in the Interfaces section[1], but this is only correct for PHP 7.2 and up (and even too general for 7.2), and it doesn't cater to inheritance in general. It seems to me that this should be documented in the Inheritance section[2]; we could link to that section from other parts of the manual where appropriate. [1] <https://www.php.net/manual/en/language.oop5.interfaces.php> [2] <https://www.php.net/manual/en/language.oop5.inheritance.php> ------------------------------------------------------------------------ [2019-10-17 08:05:43] sjon@php.net @cmb shouldn't this functionality also be documented on https://www.php.net/manual/en/functions.arguments.php#functions.arguments.type-declaration ? ------------------------------------------------------------------------ [2019-10-17 08:04:01] sjon@php.net While this might be documented better, this is definitely not a bug, see https://wiki.php.net/rfc/parameter-no-type-variance ------------------------------------------------------------------------ The remainder of the comments for this report are too long. To view the rest of the comments, please view the bug report online at https://bugs.php.net/bug.php?id=78677 -- Edit this bug report at https://bugs.php.net/bug.php?id=78677&edit=1