Generic notation in PHPDoc vs. plain array notation

gistfile1.php

<?php
/**
 * @template <T> The type of the individual elements
 */
class ArrayCollection implements IteratorAggregate
{
    private $elements;

    /**
     * @param array<T> $elements
     */
    public function __construct(array $elements)
    {
        $this->elements = $elements;
    }
 
    /**
     * @return Iterator<T>
     */
    public function getIterator()
    {
         return new ArrayIterator($this->elements);
    }
}

// usage
/** @type ArrayCollection<Foo> $col */
$col = new ArrayCollection();

foreach ($col as $elem) { 
    // $elem is instance of Foo here
}
?>

<?php
class ArrayCollection implements IteratorAggregate
{
    private $elements;

    /**
     * @param mixed[] $elements
     */
    public function __construct(array $elements)
    {
        $this->elements = $elements;
    }
 
    /**
     * @return ArrayIterator
     */
    public function getIterator()
    {
         return new ArrayIterator($this->elements);
    }
}

// usage
/** @type ArrayCollection|Foo[] $col */
$col = new ArrayCollection();

foreach ($col as $elem) { 
    // $elem is instance of Foo here
}
?>

Coming from a Java perspective, I would love some kind of Generics support in PHP and/or PHPDOC. 👍