Template: (foreach Collection<UserModel> as $user) being typed as T instead of UserModel

[gabrieltosetti]

Phan 5.2.0
php-ast version 1.0.14
PHP version used to run Phan: 7.2.34

Hello!
I'm using Lumen and the last few days I've been documenting the return type of base model and collection for better analysis but I can't get this Template to work.

The goal is the teach phan what a Collection has inside of it. In resume, here is the example i wrote:

<?php

class UserModel {
    public $id;
    public function __construct(int $id)
    {
        $this->id = $id;
    }
}

/**
 * @template T
 */
class Collection implements \IteratorAggregate {
    /**
     * @var T[]
     */
    public $modelArray;
    
    /**
     * @param T[] $modelArray
     */
    public function __construct($modelArray = [])
    {
        $this->modelArray = $modelArray;
    }

    /**
     * @return \Iterator<int, T>
     */
    function getIterator()
    {
        return new \ArrayIterator($this->modelArray);
    }
}

class UserRepository {
    /**
     * @return Collection<UserModel>
     */
    public static function findByString(string $value): Collection
    {
        return new Collection([0 => new UserModel(0), 1 => new UserModel(1)]);
    }
}


$users = UserRepository::findByString('something');

'@phan-debug-var $users';
foreach ($users as $key => $user) {
    '@phan-debug-var $key, $user';
    echo $user->id . "\n";
}

Link to Phan Demo

The analisis output:

input:48: PhanDebugAnnotation @phan-debug-var requested for variable $users - it has union type \Collection<\UserModel>(real=\Collection)

input:51: PhanDebugAnnotation @phan-debug-var requested for variable $key - it has union type int(real=int)

input:51: PhanDebugAnnotation @phan-debug-var requested for variable $user - it has union type T(real=T)

Why $user is beeing typed as T?