1--TEST--
2Abstract method in trait using "self" (invalid)
3--FILE--
4<?php
5
6trait T {
7    abstract private function method(self $x): self;
8}
9
10class C {
11    use T;
12
13    private function method(int $x): int { }
14}
15
16?>
17===DONE===
18--EXPECTF--
19Fatal error: Declaration of C::method(int $x): int must be compatible with T::method(C $x): C in %s on line %d
20