Поддержка контроль типа для интерфейса iteratorAggregate/Iterator
Контроль типа для Iterator и IteratorAggregate (и их интерфейсов) сейчас поддерживается в PhpStorm. Также поддержка включает случаи, когда интерфейс IteratorAggregate возвращает массив и возможность перебора \Traversable class