src/DateInterval.php
public static function cast($interval)
    {
        if ($interval instanceof self) {
            return $interval;
        } else {
            $myDateInterval = new DateInterval(
                    $interval->format('P%yY%mM%dDT%hH%iM%sS')
            );
            $myDateInterval->invert = $interval->invert;
            return $myDateInterval;
        }
    }
public static function cast($interval)
    {
        if ($interval instanceof self) {
            return $interval;
        } else {
            $myDateInterval = new DateInterval(
                    $interval->format('P%yY%mM%dDT%hH%iM%sS')
            );
            $myDateInterval->invert = $interval->invert;
            return $myDateInterval;
        }
    }
Faz o "cast" de \DateTime para p13\util\datetime\DateTime
@param \DateInterval $interval
@return DateInterval