<?php
class 🍞bread {}
class 🥖baguette extends 🍞bread {}

class Bakery
{
    public function gimme(): 🍞bread {}
}

class Patisserie extends Bakery
{
    public function gimme(): 🥖baguette {}
}
?>
Output


Return types are co-variant: