1--TEST--
2Returns are covariant, but we don't allow the code due to class ordering
3--FILE--
4<?php
5
6class A {
7    public function method() : B {}
8}
9class B extends A {
10    public function method() : C {}
11}
12class C extends B {
13}
14
15new C;
16
17?>
18--EXPECTF--
19Fatal error: Could not check compatibility between B::method(): C and A::method(): B, because class C is not available in %s on line %d
20