<?hh
declare(strict_types=1);
class A {}
class B extends A {}
class C extends B {}
class D {}
interface InterfaceTest { public function foo(): B; }
abstract class AbstractTest {
public abstract function foo(): B;
}
class TestAbstractContravariance extends AbstractTest {
public function foo(): D {}
}
class TestAbstractCovariance extends AbstractTest {
public function foo(): D {}
}
class TestInterfaceContravariance implements InterfaceTest
{
public function foo(): D {}
}
class TestInterfaceCovariance implements InterfaceTest {
public function foo(): D {}
}
<?hh
declare(strict_types=1);
class A {}
class B extends A {}
class C extends B {}
class D {}
interface InterfaceTest { public function foo(): B; }
abstract class AbstractTest {
public abstract function foo(): B;
}
class TestAbstractContravariance extends AbstractTest {
public function foo(): D {}
}
class TestAbstractCovariance extends AbstractTest {
public function foo(): D {}
}
class TestInterfaceContravariance implements InterfaceTest
{
public function foo(): D {}
}
class TestInterfaceCovariance implements InterfaceTest {
public function foo(): D {}
}
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
<?hh
declare(strict_types=1);
class A {}
class B extends A {}
class C extends B {}
class D {}
interface InterfaceTest { public function foo(): B; }
abstract class AbstractTest {
public abstract function foo(): B;
}
class TestAbstractContravariance extends AbstractTest {
public function foo(): D {}
}
class TestAbstractCovariance extends AbstractTest {
public function foo(): D {}
}
class TestInterfaceContravariance implements InterfaceTest
{
public function foo(): D {}
}
class TestInterfaceCovariance implements InterfaceTest {
public function foo(): D {}
}
Output for 8.0.13
Parse error: syntax error, unexpected token "declare" in /in/6hsZ8 on line 3
Process exited with code 255.