1--TEST--
2Staticness enforcement on abstract trait methods
3--FILE--
4<?php
5
6trait T {
7    abstract static public function method(int $a, string $b);
8}
9
10class C {
11    use T;
12
13    public function method(int $a, string $b) {}
14}
15
16?>
17--EXPECTF--
18Fatal error: Cannot make static method T::method() non static in class C in %s on line %d
19