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