<?php declare(strict_types = 1);

interface A extends Countable
{
}

/**
 * @template T of A
 */
class B
{
	/**
	 * @phpstan-var T
	 */
	public $a;
	
	public function getCount(): int
	{
		return count($this->a);
	}
}