3v4l.org

run code in 300+ PHP versions simultaneously
<?php class Base {} class Sub extends Base{} class NoRelation {} abstract class I { public function foo(Sub $x) {} } class CorrectImplementor extends I { public function foo(Base $x) {} // Should be ok } class IncorrectImplementor extends I { public function foo(NoRelation $x) {} // Should be disallowed }
Output for 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.6
Fatal error: Declaration of IncorrectImplementor::foo(NoRelation $x) must be compatible with I::foo(Sub $x) in /in/YVHRF on line 16
Process exited with code 255.
Output for 7.4.0 - 7.4.33
Warning: Declaration of IncorrectImplementor::foo(NoRelation $x) should be compatible with I::foo(Sub $x) in /in/YVHRF on line 16
Output for 7.0.0 - 7.0.20, 7.1.0 - 7.1.25, 7.2.0 - 7.2.33, 7.3.0 - 7.3.33
Warning: Declaration of CorrectImplementor::foo(Base $x) should be compatible with I::foo(Sub $x) in /in/YVHRF on line 13 Warning: Declaration of IncorrectImplementor::foo(NoRelation $x) should be compatible with I::foo(Sub $x) in /in/YVHRF on line 17
Output for 5.5.0 - 5.5.38, 5.6.0 - 5.6.28
Strict Standards: Declaration of CorrectImplementor::foo() should be compatible with I::foo(Sub $x) in /in/YVHRF on line 13 Strict Standards: Declaration of IncorrectImplementor::foo() should be compatible with I::foo(Sub $x) in /in/YVHRF on line 17
preferences:
194.92 ms | 402 KiB | 240 Q