1--TEST-- 2Test unresolvable inheritance check due to unavailable parameter type when the parent has a tentative return type. 3--FILE-- 4<?php 5 6class Test extends DateTime { 7 public static function createFromFormat($format, $datetime, Wrong $timezone = null): DateTime|false {} 8} 9 10?> 11--EXPECTF-- 12Fatal error: Could not check compatibility between Test::createFromFormat($format, $datetime, ?Wrong $timezone = null): DateTime|false and DateTime::createFromFormat(string $format, string $datetime, ?DateTimeZone $timezone = null): DateTime|false, because class Wrong is not available in %s on line %d 13