str_replace on array search & replace loses non-empty-string type of subject #13043

<?php declare(strict_types = 1);

class HelloWorld
{
	private string $prefix = '';

	/** @var non-empty-string $name */
	private string $name = 'identifier';

	/** @return non-empty-string */
	public function getPrefixedName(): string
	{
		$name = $this->prefix;

		$search = str_split('()<>@');
		$replace = array_map(rawurlencode(...), $search);
		
		$name .= str_replace($search, $replace, $this->name);

		return $name;
	}
}