Failure to detect fatal error using array_map with subtype

[muglug]

Found in PHPStan's code e.g. https://github.com/phpstan/phpstan-src/blob/35047b54c1d2435fe2e16488bf5a5164f313e123/src/Type/CallableType.php#L134-L138 (not saying that's a bug, but it's a place that Psalm flagged as being potentially dangerous).

<?php

class A {}
class AChild extends A {}

array_map(
	function (AChild $c) : AChild {
		return $c;
	},
	[new A(), new A()]
);

https://phpstan.org/r/14c0aa8d-ade1-4fbb-ba0a-40bdc917682f

[ondrejmirtes]

This is the same as #1954.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.