Bug #71428 [Ver]: Validation type inheritance with = NULL

Edit report at https://bugs.php.net/bug.php?id=71428&edit=1 ID: 71428 Updated by: bwoebi@php.net Reported by: dpa-bugs at aegee dot org Summary: Validation type inheritance with = NULL Status: Verified Type: Bug Package: Class/Object related PHP Version: 7.0.2 Block user comment: N Private report: N New Comment: It's technically a BC break, but at the same time a big LSP violation bug. If you relied on that, your code is technically anyway broken. (as passing null to a typehint of superclass should break,) Previous Comments: ------------------------------------------------------------------------ [2016-03-28 10:14:01] inefedor at gmail dot com I wonder if we should go through RFC stage for that supposedly BC-breaking fix? ------------------------------------------------------------------------ [2016-03-28 07:14:28] krakjoe@php.net There are bugs in * zend_do_perform_type_hint_check (never verifies compatibility of zend_arg_info.allow_null) * zend_get_function_declaration The bugs in zend_get_function_declaration are because we make this assumption: if (i >= required && !arg_info->is_variadic) So do not generate the correct error message when you fix the type hint check. It's 8am on Monday morning ... someone else should have a go ... ------------------------------------------------------------------------ [2016-03-23 21:20:22] dpa-bugs at aegee dot org In all examples, you cannot pass NULL as first parameter to the derived m(), but you can bass NULL as first parameter to parent::m(). So the method signature changes, in terms of possible values that can be supplied. ------------------------------------------------------------------------ [2016-03-23 17:05:18] danielgarthsims at gmail dot com Is this a bug? I don't see why it's a problem. Looking at the nikic's example, the method signature doesn't change, just the default value for the method. In the original example, you're still requiring two variables, but the second one can no longer be null. I'm not sure what the expected behavior should be. ------------------------------------------------------------------------ [2016-01-21 22:10:10] dpa-bugs at aegee dot org By the way, I do not write = NULL, because I want the argument to be optional. I write it, in order to be able to pass NULL as parameter. ------------------------------------------------------------------------ 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=71428 -- Edit this bug report at https://bugs.php.net/bug.php?id=71428&edit=1