<?php

​

class Foo

{

    /** @var non-empty-list<int> */

    public const BAZ = [1];

​

    /** @return value-of<static::BAZ> */

    public static function foobar(int $int): int

    {

        return static::BAZ[0];

    }

}