MethodSignatureMismatch suggests docblock-like type instead of native type hint type

[kkmuffme]

https://psalm.dev/r/36d9734244

Got

Argument 1 of Y::run has wrong type 'array<array-key, mixed>', expecting 'array<array-key, mixed>|string' as defined by X::run

Expected

Argument 1 of Y::run has wrong type 'array', expecting 'array|string' as defined by X::run

Also the error message is a bit too restrictive - since it expects that type or a covariant/contravariant type of it

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/36d9734244

<?php

abstract class X {
	/**
     * @psalm-pure
	 * @param array $arg
	 * @return array
	 */
	abstract public function run( array|string $arg );
}

final class Y extends X {
	/**
     * @psalm-pure
	 * @param array $arg
	 * @return array
	 */
    #[Override]
	public function run( array $arg ) {
		return $arg;
	}
}

Psalm output (using commit 491dd74):

ERROR: MethodSignatureMismatch - 19:29 - Argument 1 of Y::run has wrong type 'array<array-key, mixed>', expecting 'array<array-key, mixed>|string' as defined by X::run