type-hint and PHP

interface-query-carbon.php

<?php

function getReport(CarbonInterface $start, CarbonInterface $end): Report
{
	return Report::query()
		->whereDate('status_date', '>=', $start)
		->whereDate('status_date', '<', $end)
}

interface-query-date.php

<?php

function getReport(DateTimeInterface $start, DateTimeInterface $end): Report
{
	return Report::query()
		->whereDate('status_date', '>=', $start)
		->whereDate('status_date', '<', $end)
}

mutable-function-carbon.php

<?php

function changeDate(Carbon $date): Carbon
{
    return $date->addDays(3);
}

mutable-function-carbonimmutable.php

<?php

function changeDate(CarbonImmutable $date): CarbonImmutable
{
	return $date->addDays(3);
}

mutable-interface-datetimeimmutable.php

<?php

interface DateChanger
{
    public function changeDate(DateTimeImmutable $date): DateTimeImmutable;
}

final class CarbonChanger implements DateChanger
{
	public function changeDate(DateTimeImmutable $date): DateTimeImmutable
	{
		 return CarbonImmutable::fromInterface($date)->addDays(3);
	}
}

mutable-query-carbon.php

<?php

function getReport(Carbon $start, Carbon $end): Report
{
	return Report::query()
		->whereDate('status_date', '>=', $start)
		->whereDate('status_date', '<', $end)
}