Fix phpstan/phpstan#11430: Two unbounded generics in conditional return assumed same

- Don't subtract TemplateType from another TemplateType's bound in tryRemove
- This prevented `T of mixed~S` from being created, which couldn't match
  the plain `T` in invariant generic argument checks
- New regression test in tests/PHPStan/Rules/TooWideTypehints/data/bug-11430.php

Author: github-actions[bot]

src/Type/Generic/TemplateTypeTrait.php

@@ -368,6 +368,10 @@ public function traverseSimultaneously(Type $right, callable $cb): Type
 
 	public function tryRemove(Type $typeToRemove): ?Type
 	{
+		if ($typeToRemove instanceof TemplateType) {
+			return null;
+		}
+
 		$bound = TypeCombinator::remove($this->getBound(), $typeToRemove);
 		if ($this->getBound() === $bound) {
 			return null;

tests/PHPStan/Rules/TooWideTypehints/TooWideMethodReturnTypehintRuleTest.php

@@ -309,4 +309,10 @@ public function testBug13676(): void
 		$this->analyse([__DIR__ . '/data/bug-13676.php'], []);
 	}
 
+	#[RequiresPhp('>= 8.2')]
+	public function testBug11430(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11430.php'], []);
+	}
+
 }

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

@@ -0,0 +1,51 @@
+<?php // lint >= 8.2
+
+declare(strict_types = 1);
+
+namespace Bug11430;
+
+/**
+ * @template T
+ */
+interface Option {}
+
+/**
+ * @template T
+ * @implements Option<T>
+ */
+class Some implements Option
+{
+	/**
+	 * @param T $value
+	 */
+	public function __construct(public mixed $value) {}
+}
+
+/**
+ * @implements Option<never>
+ */
+class None implements Option {}
+
+/**
+ * @internal
+ */
+final class Choice
+{
+	/**
+	 * @template T
+	 * @template S
+	 *
+	 * @param T $value
+	 * @param S $none
+	 *
+	 * @return (T is S ? None : Some<T>)
+	 */
+	public static function from(mixed $value, mixed $none = null): Option
+	{
+		if ($value === $none) {
+			return new None();
+		}
+
+		return new Some($value);
+	}
+}