Revert "Fix bad merge into master"

This reverts commit 2c8e4ba8f1.
This commit is contained in:
Dmitry Stogov 2016-04-29 11:15:26 +03:00
parent 2f17ef1d25
commit 19c0335609
5 changed files with 9 additions and 3 deletions

View file

@ -319,10 +319,13 @@ static zend_bool zend_do_perform_implementation_check(const zend_function *fe, c
return 0;
}
#if 0
// This introduces BC break described at https://bugs.php.net/bug.php?id=72119
if (proto_arg_info->type_hint && proto_arg_info->allow_null && !fe_arg_info->allow_null) {
/* incompatible nullability */
return 0;
}
#endif
/* by-ref constraints on arguments are invariant */
if (fe_arg_info->pass_by_reference != proto_arg_info->pass_by_reference) {