1--TEST-- 2Trait delayed variance check fails 3--FILE-- 4<?php 5 6// Taken from bug #78989. 7 8class X { 9 function method($a): A {} 10} 11trait T { 12 function method($r): B {} 13} 14class U extends X { 15 use T; 16} 17 18?> 19--EXPECTF-- 20Fatal error: Could not check compatibility between T::method($r): B and X::method($a): A, because class B is not available in %s on line %d 21