Add non-regression tests for phpstan/phpstan#5298 and phpstan/phpstan#3028

Ensure ObjectType::equals() change doesn't regress generic type invariance
checks for template type assignments and return types.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

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

@@ -0,0 +1,51 @@
+<?php
+
+declare(strict_types = 1);
+
+namespace Bug3028;
+
+use function PHPStan\Testing\assertType;
+
+interface Output { }
+final class OutputImpl1 implements Output { }
+final class OutputImpl2 implements Output { }
+
+/** @template O of Output */
+interface Format
+{
+	/** @return O */
+	public function output() : Output;
+
+	/** @param O $o */
+	public function replace(Output $o) : void;
+}
+
+/** @implements Format<OutputImpl1> */
+final class FormatImpl1 implements Format
+{
+	public OutputImpl1 $o;
+
+	public function __construct() { $this->o = new OutputImpl1; }
+
+	public function output() : Output { return new OutputImpl1(); }
+
+	/** @param OutputImpl1 $o */
+	public function replace(Output $o) : void { $this->o = $o; }
+}
+
+/**
+ * @template O of Output
+ * @param Format<O> $outputFormat
+ * @return Format<Output>
+ */
+function run(Format $outputFormat) : Format {
+	return $outputFormat;
+}
+
+function test(): void
+{
+	$a = new FormatImpl1;
+	assertType('Bug3028\FormatImpl1', $a);
+	assertType('Bug3028\Format<Bug3028\Output>', run($a));
+	assertType('Bug3028\Output', run($a)->output());
+}

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

@@ -0,0 +1,42 @@
+<?php
+
+declare(strict_types = 1);
+
+namespace Bug5298;
+
+use function PHPStan\Testing\assertType;
+
+interface WorldProvider{}
+interface WritableWorldProvider extends WorldProvider{}
+
+/**
+ * @phpstan-template TWorldProvider of WorldProvider
+ */
+class WorldProviderManagerEntry{
+	/** @phpstan-param TWorldProvider $provider */
+	public function acceptsTWorldProvider(WorldProvider $provider) : void{}
+}
+
+final class WorldProviderManager{
+	/** @phpstan-var array<string, WorldProviderManagerEntry<WorldProvider>> */
+	protected $providers = [];
+
+	/**
+	 * @phpstan-template T of WorldProvider
+	 * @phpstan-param WorldProviderManagerEntry<T> $providerEntry
+	 */
+	public function addProvider(WorldProviderManagerEntry $providerEntry, string $name, bool $overwrite = false) : void{
+		$name = strtolower($name);
+		if(!$overwrite and isset($this->providers[$name])){
+			throw new \InvalidArgumentException("Alias \"$name\" is already assigned");
+		}
+		assertType('array<string, Bug5298\WorldProviderManagerEntry<Bug5298\WorldProvider>>', $this->providers);
+		assertType('Bug5298\WorldProviderManagerEntry<T of Bug5298\WorldProvider (method Bug5298\WorldProviderManager::addProvider(), argument)>', $providerEntry);
+		$this->providers[$name] = $providerEntry;
+	}
+
+	public function doSomething(string $name, WorldProvider $provider) : void{
+		assertType('Bug5298\WorldProviderManagerEntry<Bug5298\WorldProvider>', $this->providers[$name]);
+		$this->providers[$name]->acceptsTWorldProvider($provider);
+	}
+}