xref: /PHP-7.3/Zend/tests/bug73987.phpt (revision 46de3344) 
1--TEST--
2Bug #73987 (Method compatibility check looks to original definition and not parent - nullability interface)
3--FILE--
4<?php
5
6interface I {
7  public function example($a, $b, $c);
8}
9class A implements I {
10  public function example($a, $b = null, $c = null) { } // compatible with I::example
11}
12class B extends A {
13  public function example($a, $b, $c = null) { } // compatible with I::example
14}
15
16?>
17--EXPECTF--
18Fatal error: Declaration of B::example($a, $b, $c = NULL) must be compatible with A::example($a, $b = NULL, $c = NULL) in %s
19