1--TEST--
2Abstract method from trait enforced in class
3--FILE--
4<?php
5
6trait T {
7    abstract public function neededByTheTrait(int $a, string $b);
8}
9
10class C {
11    use T;
12
13    public function neededByTheTrait(array $a, object $b) {}
14}
15
16?>
17--EXPECTF--
18Fatal error: Declaration of C::neededByTheTrait(array $a, object $b) must be compatible with T::neededByTheTrait(int $a, string $b) in %s on line %d
19