1--TEST--
2#[\Override]: Valid native interface.
3--FILE--
4<?php
5
6class Foo implements IteratorAggregate
7{
8    #[\Override]
9    public function getIterator(): Traversable
10    {
11        yield from [];
12    }
13}
14
15echo "Done";
16
17?>
18--EXPECT--
19Done
20