--TEST--
Abstract method from trait enforced in class
--FILE--
<?php

trait T {
    abstract public function neededByTheTrait(int $a, string $b);
}

class C {
    use T;

    public function neededByTheTrait(array $a, object $b) {}
}

?>
--EXPECTF--
Fatal error: Declaration of C::neededByTheTrait(array $a, object $b) must be compatible with T::neededByTheTrait(int $a, string $b) in %s on line %d
