MismatchingDocblockReturnType array template string about psalm HOT 1 OPEN

<?php

/**
 * @template Values of non-empty-array<lowercase-string, string>
 * @template DefaultKey of key-of<Values>
 */
final class SortableListType
{
	/**
	 * @param Values $values
	 * @param DefaultKey $defaultKey
	 */
	public function __construct(
		private readonly array $values,
		private readonly string $defaultKey
	) {
	}

	/** @return DefaultKey */
	public function getDefaultKey(): string
	{
		return $this->defaultKey;
	}

	/** @return Values[DefaultKey] */
	public function getDefaultValue(): string
	{
		return $this->values[$this->defaultKey];
	}
}

//type tests
$a = new SortableListType(["a"=> "1", "b" => "2"], "not-exist-key");
$b = new SortableListType(["a"=> "1", "b" => "2"], "a");
$c = new SortableListType(["a"=> "1", "b" => "2"], "b");

//return type tests
$bKey = $b->getDefaultKey();
$bValue = $b->getDefaultValue();

$cKey = $c->getDefaultKey();
$cValue = $c->getDefaultValue();