<?php

trait T {
    #[\Override]
    public function t(): void {}
}

echo "Done";

?>