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

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

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