1--TEST--
2#[\Override]: Redeclared trait method.
3--FILE--
4<?php
5
6trait T {
7    public function t(): void {}
8}
9
10class C {
11    use T;
12
13    #[\Override]
14    public function t(): void {}
15}
16
17echo "Done";
18
19?>
20--EXPECTF--
21Fatal error: C::t() has #[\Override] attribute, but no matching parent method exists in %s on line %d
22