Regression tests

Closes phpstan/phpstan#6175

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -1416,4 +1416,9 @@ public function testBug2508(): void
 		$this->analyse([__DIR__ . '/data/bug-2508.php'], []);
 	}
 
+	public function testBug6175(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-6175.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/bug-6175.php

@@ -0,0 +1,33 @@
+<?php
+
+namespace Bug6715Functions;
+
+trait T
+{
+	/** @return array<mixed> */
+	public function getCreateTableSQL(): array
+	{
+		$sqls = array_merge(
+			$this->a(),
+			parent::b() // @phpstan-ignore-line
+		);
+
+		return $sqls;
+	}
+}
+
+class A {
+	public function a(): mixed {
+		throw new \Exception();
+	}
+
+	/** @return null */
+	public function b() {
+		throw new \Exception();
+	}
+}
+
+class B extends A
+{
+	use T;
+}

tests/PHPStan/Rules/Methods/ReturnTypeRuleTest.php

@@ -944,4 +944,9 @@ public function testBug6856(): void
 		$this->analyse([__DIR__ . '/data/bug-6856.php'], []);
 	}
 
+	public function testBug6175(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-6175.php'], []);
+	}
+
 }

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

@@ -0,0 +1,36 @@
+<?php
+
+namespace Bug6175;
+
+class A {}
+class B extends A {}
+class C extends B {}
+
+trait RefsTrait
+{
+	/**
+	 * @return B|C
+	 */
+	public function foo()
+	{
+		return new A(); // @phpstan-ignore-line
+	}
+
+	public function dumpType(): void
+	{
+		\PHPStan\dumpType($this->foo());
+	}
+}
+
+class Model
+{
+	use RefsTrait;
+
+	/**
+	 * @return B|C
+	 */
+	public function foo2()
+	{
+		return new A(); // @phpstan-ignore-line
+	}
+}

tests/PHPStan/Rules/TooWideTypehints/TooWideMethodReturnTypehintRuleTest.php

@@ -97,4 +97,9 @@ public function testBug6158(): void
 		$this->analyse([__DIR__ . '/data/bug-6158.php'], []);
 	}
 
+	public function testBug6175(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-6175.php'], []);
+	}
+
 }

tests/PHPStan/Rules/TooWideTypehints/data/bug-6175.php

@@ -0,0 +1,20 @@
+<?php
+
+namespace Bug6175TooWide;
+
+trait SomeTrait {
+	private function sayHello(): ?string // @phpstan-ignore-line
+	{
+		return $this->value;
+	}
+}
+
+class HelloWorld2
+{
+	use SomeTrait;
+	private string $value = '';
+	public function sayIt(): void
+	{
+		echo $this->sayHello();
+	}
+}