1--TEST--
2Test unresolvable inheritance check due to unavailable return 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, $timezone = null): Wrong { }
8}
9
10?>
11--EXPECTF--
12Fatal error: Could not check compatibility between Test::createFromFormat($format, $datetime, $timezone = null): Wrong and DateTime::createFromFormat(string $format, string $datetime, ?DateTimeZone $timezone = null): DateTime|false, because class Wrong is not available in %s on line %d
13