Contravariant Argument Types
<?php
class 🐖pig {}
class 🐗boar extends 🐖pig {}
class Asterix
{
public function hunt(🐗boar $animal) {}
}
class Gauls extends Asterix
{
public function hunt(🐖pig $animal) {}
}
?>
Arguments types are *contra-variant*:
~they can accept a wider type~