Add regression tests

Author: VincentLanglet

src/Reflection/ParametersAcceptorSelector.php

@@ -519,8 +519,9 @@ public static function selectFromArgs(
 				$constantArrays = $type->getConstantArrays();
 				if (count($constantArrays) > 0) {
 					foreach ($constantArrays as $constantArray) {
+						$values = $constantArray->getValueTypes();
 						foreach ($constantArray->getKeyTypes() as $j => $keyType) {
-							$valueType = $constantArray->getValueTypes()[$j];
+							$valueType = $values[$j];
 							$valueIndex = $keyType->getValue();
 							if (is_string($valueIndex)) {
 								$hasName = true;

tests/PHPStan/Analyser/nsrt/bug-8257.php

@@ -0,0 +1,28 @@
+<?php declare(strict_types = 1);
+
+namespace Bug8257;
+
+use function PHPStan\Testing\assertType;
+
+interface TreeMapper
+{
+	/**
+	 * @template T of object
+	 *
+	 * @param string|class-string<T> $signature
+	 * @param mixed $source
+	 * @return (
+	 *     $signature is class-string<T>
+	 *         ? T
+	 *         : mixed
+	 * )
+	 */
+	public function map(string $signature, $source);
+}
+
+/** @var TreeMapper $tm */
+$tm;
+
+class A {}
+
+assertType('Bug8257\A', $tm->map(...[A::class, []]));

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -3908,6 +3908,19 @@ public function testBug1501(): void
 		$this->analyse([__DIR__ . '/data/bug-1501.php'], []);
 	}
 
+	public function testBug7369(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/data/bug-7369.php'], [
+			[
+				'Cannot call method isAllowed() on bool.',
+				40,
+			],
+		]);
+	}
+
 	public function testBug11463(): void
 	{
 		$this->checkThisOnly = false;

tests/PHPStan/Rules/Methods/data/bug-7369.php

@@ -0,0 +1,43 @@
+<?php declare(strict_types=1);
+
+namespace Bug7369;
+
+interface AccountInterface {}
+
+interface AccessResultInterface {
+	public function isAllowed(): bool;
+}
+
+interface AccessibleInterface {
+
+	/**
+	 * @return ($return_as_object is true ? AccessResultInterface : bool)
+	 */
+	public function access(string $operation, AccountInterface $account = NULL, bool $return_as_object = FALSE);
+}
+
+$class = new class() implements AccessibleInterface {
+	/**
+	 * {@inheritDoc}
+	 */
+	public function access(
+		string $operation,
+		AccountInterface $account = null,
+		bool $return_as_object = false
+	) {
+		if ($return_as_object) {
+			return new class () implements AccessResultInterface {
+				public function isAllowed(): bool {
+					return true;
+				}
+			};
+		}
+		return false;
+	}
+};
+
+$class->access('view', null, true)->isAllowed();
+$class->access('view', null, false)->isAllowed();
+
+$params = ['view', null, true];
+$class->access(...$params)->isAllowed();