<?php
class A {}
class B extends A {}
class Foo {
public function test(B $a) {
var_dump(get_class($a));
}
}
class Bar extends Foo {
public function test(A $a) {
parent::test($a);
}
}
(new Foo)->test(new A);
(new Foo)->test(new B);
(new Bar)->test(new A);
(new Bar)->test(new B);
Fatal error: Uncaught TypeError: Foo::test(): Argument #1 ($a) must be of type B, A given, called in /in/dHDQt on line 16 and defined in /in/dHDQt:6
Stack trace:
#0 /in/dHDQt(16): Foo->test(Object(A))
#1 {main}
thrown in /in/dHDQt on line 6
Process exited with code 255.
Output for 8.3.5
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
Fatal error: Uncaught TypeError: Foo::test(): Argument #1 ($a) must be of type B, A given, called in /in/dHDQt on line 16 and defined in /in/dHDQt:6
Stack trace:
#0 /in/dHDQt(16): Foo->test(Object(A))
#1 {main}
thrown in /in/dHDQt on line 6
Process exited with code 255.
Output for 7.4.0 - 7.4.33
Fatal error: Uncaught TypeError: Argument 1 passed to Foo::test() must be an instance of B, instance of A given, called in /in/dHDQt on line 16 and defined in /in/dHDQt:6
Stack trace:
#0 /in/dHDQt(16): Foo->test(Object(A))
#1 {main}
thrown in /in/dHDQt on line 6
Process exited with code 255.
Warning: Declaration of Bar::test(A $a) should be compatible with Foo::test(B $a) in /in/dHDQt on line 14
Fatal error: Uncaught TypeError: Argument 1 passed to Foo::test() must be an instance of B, instance of A given, called in /in/dHDQt on line 16 and defined in /in/dHDQt:6
Stack trace:
#0 /in/dHDQt(16): Foo->test(Object(A))
#1 {main}
thrown in /in/dHDQt on line 6
Process exited with code 255.
Output for 5.6.0 - 5.6.40
Strict Standards: Declaration of Bar::test() should be compatible with Foo::test(B $a) in /in/dHDQt on line 14
Catchable fatal error: Argument 1 passed to Foo::test() must be an instance of B, instance of A given, called in /in/dHDQt on line 16 and defined in /in/dHDQt on line 6
Process exited with code 255.