<?php
class NullPointer {
    /**
     * @var DateTime|null
     */
    protected ?DateTime $date = null;

    public function getDateFormat(?DateTime $input): string
    {
        // This is inspected properly
        $input->format('');

        // This is completely ignored
        return $this->date->format('');
    }
}