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