<?php

-/** @var DateTime $dateTime */
+assert($dateTime instanceof DateTime);
 $dateTime = ...;

-/** @var int $vacationDays */
+assert(is_int($vacationDays));
 $vacationDays = ...;