<?php
class 🐖pig {}
class 
🐗boar extends 🐖pig {}

class 
Asterix
{
    public function 
hunt(🐗boar $animal) {}
}

class 
Gauls extends Asterix
{
    public function 
hunt(🐖pig $animal) {}
}
?>
Output


Arguments types are contra-variant: