<?php
class Dog {}
interface DogFeeder
{
function feed(Dog $dog);
}
function feedChihuahua(DogFeeder $feeder)
{
$feeder->feed(new Chihuahua()); // this code is OK
}
class BulldogFeeder implements DogFeeder
{
function feed(Bulldog $dog) { }
}
feedChihuahua(new BulldogFeeder()); //
Fatal error: Could not check compatibility between BulldogFeeder::feed(Bulldog $dog) and DogFeeder::feed(Dog $dog), because class Bulldog is not available in /in/WjOFg on line 14
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: Could not check compatibility between BulldogFeeder::feed(Bulldog $dog) and DogFeeder::feed(Dog $dog), because class Bulldog is not available in /in/WjOFg on line 14
Process exited with code 255.
Fatal error: Declaration of BulldogFeeder::feed(Bulldog $dog) must be compatible with DogFeeder::feed(Dog $dog) in /in/WjOFg on line 12
Process exited with code 255.